default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th ICLP 2001: Paphos, Cyprus
- Philippe Codognet:
Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Lecture Notes in Computer Science 2237, Springer 2001, ISBN 3-540-42935-2
Invited Speakers
- Alain Colmerauer:
Solving the Multiplication Constraint in Several Approximation Spaces. 1 - Robert A. Kowalski:
Is Logic Really Dead or Only Just Sleeping? 2-3 - Patrick Cousot:
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. 4-5 - Ashish Gupta:
X-tegration - Some Cross-Enterprise Thoughts. 6
Tutorials
- Jan Wielemaker
:
Building Real-Life Applications with Prolog. 7 - Éric Villemonte de la Clergerie:
Natural Language Tabular Parsing. 8 - Kazunori Ueda:
A Close Look at Constraint-Based Concurrency. 9 - V. S. Subrahmanian:
Probabilistic Databases and Logic Programming. 10
Conference Papers
- Luís Fernando Castro, Vítor Santos Costa:
Understanding Memory Management in Prolog Systems. 11-26 - Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta:
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. 27-42 - Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
On a Tabling Engine That Can Exploit Or-Parallelism. 43-58 - Nicolas Beldiceanu, Mats Carlsson:
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. 59-73 - Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey:
Optimizing Compilation of Constraint Handling Rules. 74-89 - Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur:
Building Constraint Solvers with HAL. 90-104 - Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe:
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. 105-119 - Jacob M. Howe, Andy King:
Positive Boolean Functions as Multiheaded Clauses. 120-134 - Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey:
Higher-Precision Groundness Analysis. 135-149 - Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan:
Speculative Beats Conservative Justification. 150-165 - Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma:
Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. 166-180 - Hai-Feng Guo, Gopal Gupta:
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. 181-196 - Zbigniew Lonc, Miroslaw Truszczynski:
Fixed-Parameter Complexity of Semantics for Logic Programs. 197-211 - Marc Denecker, Nikolay Pelov, Maurice Bruynooghe:
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. 212-226 - K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka:
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. 227-241 - Esra Erdem, Vladimir Lifschitz:
Fages' Theorem for Programs with Nested Expressions. 242-254 - Fernando Orejas, Edelmira Pasarella, Elvira Pino:
Semantics of Normal Logic Programs with Embedded Implications. 255-268 - Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás:
A Multi-adjoint Logic Approach to Abductive Reasoning. 269-283 - Wlodzimierz Drabent, Miroslawa Milkowska:
Proving Correctness and Completeness of Normal Programs - A Declarative Approach. 284-299 - Ken Kaneiwa, Satoshi Tojo:
An Order-Sorted Resolution with Implicitly Negative Sorts. 300-314 - Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura:
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. 315-330 - Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Jaime Sánchez-Hernández:
A Computational Model for Functional Logic Deductive Databases. 331-347 - Gianluigi Greco, Sergio Greco, Ester Zumpano:
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases. 348-364
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-11-15 19:19 CET 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:
