default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheory and Practice of Logic Programming (TPLP), Volume 7
Volume 7, Number 1-2, January 2007
- Moreno Falaschi
, Michael J. Maher:
Introduction Special Issue on Multiparadigm Languages and Constraint Programming. 1-2 - María Alpuente, Santiago Escobar, Salvador Lucas:
Removing redundant arguments automatically. 3-35 - Marco Cadoli, Toni Mancini:
Combining relational algebra, SQL, constraint modelling, and local search. 37-65 - Giorgio Delzanno:
Constraint-based automatic verification of abstract models of multithreaded programs. 67-91 - Petra Hofstedt, Peter Pepper:
Integration of declarative and constraint programming. 93-121 - Ivan Lanese, Ugo Montanari:
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming. 123-151 - Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Demand analysis with partial predicates. 153-182 - Miguel Palomino:
A comparison between two logical formalisms for rewriting. 183-213 - Josep Silva, Germán Vidal:
Forward slicing of functional logic programs by partial evaluation. 215-247
Volume 7, Number 3, May 2007
- Thomas Eiter, Michael Fink, Hans Tompits:
A knowledge-based approach for selecting information sources. 249-300 - Nikolay Pelov, Marc Denecker, Maurice Bruynooghe:
Well-founded and stable semantics of logic programs with aggregates. 301-353 - Tran Cao Son, Enrico Pontelli:
A Constructive semantic characterization of aggregates in answer set programming. 355-375
Volume 7, Number 4, July 2007
- Phan Huy Tu, Tran Cao Son, Chitta Baral:
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. 377-450 - Mauricio Osorio, Víctor Cuevas:
Updates in answer set programming: An approach based on basic structural properties. 451-479 - Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele:
Fast Frequent Querying with Lazy Control Flow Compilation. 481-498 - Victor W. Marek:
Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific, Hardback: ISBN 981-256-101-3, xiv + 408 pages. 499-503
Volume 7, Number 5, September 2007
- Ruben Vandeginste, Bart Demoen:
Incremental copying garbage collection for WAM-based Prolog systems. 505-536 - Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda:
Constraint functional logic programming over finite domains. 537-582 - Khalil Djelloul:
Decomposable theories. 583-632
Volume 7, Number 6, November 2007
- Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta:
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters. 633-695 - Tomi Janhunen, Emilia Oikarinen:
Automated Verification of Weak Equivalence within the SMODELS System. 697-744 - Pedro Cabalar, Paolo Ferraris:
Propositional theories are strongly equivalent to logic programs. 745-759
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 2026-08-29 00:17 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
