Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheory and Practice of Logic Programming (TPLP), Volume 5
Volume 5, Number 1-2, January/March 2005
- Roberto Bagnara, Enea Zaffanella
, Patricia M. Hill:
Enhanced sharing analysis techniques: a comprehensive evaluation. 1-43 - Paolo Ferraris, Vladimir Lifschitz:
Weight constraints as nested expressions. 45-74 - Samir Genaim, Michael Codish:
Inferring Termination Conditions for Logic Programs using Backwards Analysis. 75-91 - Pascal Hitzler, Matthias Wendt:
A uniform approach to logic programming semantics. 93-121 - Simona Perri, Francesco Scarcello, Nicola Leone:
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. 123-159 - Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
On Applying Or-Parallelism and Tabling to Logic Programs. 161-205 - Ralf Schweimeier, Michael Schroeder:
A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics. 207-242
- Frédéric Mesnard, Roberto Bagnara:
cTI: A constraint-based termination inference tool for ISO-Prolog. 243-257
- Florence Benoy, Andy King, Frédéric Mesnard:
Computing convex hulls with a linear solver. 259-271
Volume 5, Number 3, May 2005
- María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal:
Specialization of functional logic programs based on needed narrowing. 273-303 - Gopalan Nadathur:
A treatment of higher-order features in logic programming. 305-354 - Alexander Serebrenik, Danny De Schreye:
On termination of meta-programs. 355-390
- Bart Demoen:
Book review: Programming in Prolog. Using the ISO Standard by William F. Clocksin , Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8. 391-395 - Nachum Dershowitz:
Book review: Term Rewriting Systems by "Terese" (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.), Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6. 395-399
Volume 5, Number 4-5, July 2005
- Slim Abdennadher, Thom W. Frühwirth, Christian Holzbaur:
Introduction to the Special Issue on Constraint Handling Rules. 401-402 - Slim Abdennadher, Christophe Rigotti:
Automatic generation of CHR constraint solvers. 403-418 - Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
A CHR-based implementation of known arc-consistency. 419-440 - Sebastian Brand, Krzysztof R. Apt:
Schedulers and redundancy for a class of constraint propagation rules. 441-465 - Henning Christiansen:
CHR grammars. 467-501 - Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck:
Optimizing compilation of constraint handling rules in HAL. 503-531 - Michael Thielscher:
FLUX: A logic programming method for reasoning agents. 533-565 - Armin Wolf:
Intelligent search strategies based on adaptive Constraint Handling Rules. 567-594
- Yves Deville:
Book review: Concepts, Techniques, and Models of Computer Programming by Peter Van Roy, Seif Haridi, MIT Press, 2004, ISBN 0-262-22069-5. 595-600
Volume 5, Number 6, November 2005
- Omid Banyasad, Philip T. Cox:
Integrating design synthesis and assembly of structured objects in a visual design language. 601-622 - Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen:
Checking modes of HAL programs. 623-668 - Wlodzimierz Drabent, Miroslawa Milkowska:
Proving correctness and completeness of normal programs - a declarative approach. 669-711 - Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano:
Optimization of bound disjunctive queries with constraints. 713-745
- Stefania Costantini, Alessandro Provetti:
Normal forms for answer sets programming. 747-760
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-17 20:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
