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 4
Volume 4, Number 1-2, January/March 2004
- Andrew W. Appel
, Amy P. Felty:
Polymorphic Lemmas and Definitions in lambda-Prolog and Twelf. 1-39 - Francisco Javier López-Fraguas, Jaime Sánchez-Hernández:
A Proof Theoretic Approach to Failure in Functional Logic Programming. 41-74 - Filippo Furfaro, Gianluigi Greco, Sergio Greco:
Minimal founded semantics for disjunctive logic programs and deductive databases. 75-93 - Alejandro Javier García, Guillermo Ricardo Simari:
Defeasible Logic Programming: An Argumentative Approach. 95-138 - Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe:
Offline specialisation in Prolog using a hand-written compiler generator. 139-191 - Zbigniew Lonc, Miroslaw Truszczynski:
Computing stable models: worst-case performance estimates. 193-231
- François Laburthe:
Book review: Programming Constraint Services: High level Programming of Standard and New Constraint Services by Christian Schulte. Springer 2002, LNAI 2302, ISBN 3-540-43371-6. 233-235 - Miroslaw Truszczynski:
Book review: Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University press, 2003, ISBN 0-521-81802-8. 237-239
Volume 4, Number 3, May 2004
- Wolfgang May:
XPath-Logic and XPathLog: a logic-programming-style XML data manipulation language. 239-287 - Patricia M. Hill, Enea Zaffanella, Roberto Bagnara:
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. 289-323 - Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola:
Applications of Intuitionistic Logic in Answer Set Programming. 325-354
- Jan Hruza, Petr Stepánek:
Speedup of Logic Programs by Binarization and Partial Deduction. 355-380
- Maurice Bruynooghe:
Enhancing a search algorithm to perform intelligent backtracking. 371-380
- Éric Monfroy:
Book review: Essentials of Constraint Programming by Thom Frühwirth and Slim Abdennadher, Springer, 2003, hard cover: ISBN 3-540-67623-6, ix + 145 pages. 381-382
Volume 4, Number 4, July 2004
- José Júlio Alferes, Luís Moniz Pereira, Terrance Swift:
Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. 383-428 - Viviana Mascardi, Maurizio Martelli, Leon Sterling:
Logic-Based Specification Languages for Intelligent Software Agents. 429-494 - Alberto Pettorossi, Maurizio Proietti:
Transformations of logic programs with goals as arguments. 495-537
- Femke van Raamsdonk:
Book review: Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer-Verlag, 2002, hard cover: ISBN 0-387-95250-0. 539-541
Volume 4, Number 5-6, September-November 2004
- Michael Leuschel, Andreas Podelski, C. R. Ramakrishnan, Ulrich Ultes-Nitsche:
Introduction to the Special Issue on Verification and Computational Logic. 543-544 - Giampaolo Bella, Stefano Bistarelli:
Soft Constraint Programming to Analysing Security Protocols. 545-572 - Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
Model Checking Linear Logic Specifications. 573-619 - Massimo Franceschet, Angelo Montanari:
Temporalized logics and automata for time granularity. 621-658 - Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe:
On model checking data-independent systems with arrays without reset. 659-693 - Carla Piazza, Alberto Policriti:
Ackermann Encoding, Bisimulations, and OBDDs. 695-718 - Alexander Serebrenik, Danny De Schreye:
Inference of termination conditions for numerical loops in Prolog. 719-751
- Peter A. Flach:
Book review: Logic for Learning: Learning Comprehensible Theories from Structured Data by John W. Lloyd, Springer-Verlag, 2003, ISBN 3-540-42027-4. 753-755 - Roland H. C. Yap:
Book review: Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, ISBN 1-55860-890-7. 755-757 - Francesca Rossi:
Book review: Principles of Constraint Programming by Krzysztof R. Apt, Cambridge University Press, 2003, ISBN 0-521-82583-0. 758-762
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-19 19:20 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:
