default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Logic Programming Paradigm, 1999
- Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David Scott Warren:
The Logic Programming Paradigm - A 25-Year Perspective. Artificial Intelligence, Springer 1999, ISBN 978-3-642-64249-4 - Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
:
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics. 5-32 - Paul Tarau:
Inference and Computation Mobility with Jinni. 33-52 - Kazunori Ueda:
Concurrent Logic/Constraint Programming: The Next 10 Years. 53-71 - Krzysztof R. Apt, Marc Bezem:
Formulas as Programs. 75-107 - Saumya Debray:
Link-time Optimization of Multi-Language Programs. 109-126 - Gopal Gupta:
Horn Logic Denotations and Their Applications. 127-159 - Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno:
Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. 161-192 - Danny De Schreye, Marc Denecker:
Assessment of Some Issues in CL-Theory and Program Development. 195-208 - Philip Wadler:
How Enterprises Use Functional Languages, and Why They Don't. 209-227 - Howard A. Blair, Fred Dushin, David W. Jakel, Angel J. Rivera, T. Metin Sezgin:
Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming's Algorithmic Foundations. 231-255 - Maarten H. van Emden:
The Logic Programming Paradigm in Numerical Computation. 257-276 - Jacques Cohen:
Computational Molecular Biology: A Promising Application Using LP and its Extensions. 281-311 - Michael J. Maher:
Adding Constraints to Logic-based Formalisms. 313-331 - Luc De Raedt:
A Perspective on Inductive Logic Programming. 335-346 - Koichi Furukawa:
From Deduction to Induction: Logical Perspective. 347-354 - Vladimir Lifschitz:
Action Languages, Answer Sets, and Planning. 357-373 - Victor W. Marek, Miroslaw Truszczynski:
Stable Models and an Alternative Logic Programming Paradigm. 375-398 - Carlo Zaniolo, Haixun Wang:
Logic-Based User-Defined Aggregates for the Next Generation of Database Systems. 401-426 - Verónica Dahl:
The Logic of Language. 429-456
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-09-19 23:34 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:
