default search action
21st ICLP 2005: Sitges, Spain
- Maurizio Gabbrielli, Gopal Gupta:
Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings. Lecture Notes in Computer Science 3668, Springer 2005, ISBN 3-540-29208-X - Ian Horrocks:
OWL: A Description Logic Based Ontology Language. 1-4 - Francesca Rossi:
Preference Reasoning. 5-8 - Peter J. Stuckey
, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh:
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. 9-13 - Walter G. Wilson:
Use of Logic Programming for Complex Business Rules. 14-20 - José F. Morales
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. 21-36 - Enrico Giunchiglia
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). 37-51 - Sabrina Baselice, Piero A. Bonatti, Michael Gelfond:
Towards an Integration of Answer Set and Constraint Solving. 52-66 - Agostino Dovier, Andrea Formisano, Enrico Pontelli:
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. 67-82 - Jon Sneyers, Tom Schrijvers
Guard and Continuation Optimization for Occurrence Representations of CHR. 83-97 - Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu:
Coordination of Many Agents. 98-112 - Thom W. Frühwirth:
Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis. 113-127 - Jan Wielemaker
An Optimised Semantic Web Query Language Implementation in Prolog. 128-142 - Luca Bortolussi
A Distributed and Probabilistic Concurrent Constraint Programming Language. 143-158 - Henning Christiansen
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. 159-173 - Michael J. Maher:
Abduction of Linear Arithmetic Constraints. 174-188 - Hans Tompits, Stefan Woltran:
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming. 189-203 - Emad Saad, Enrico Pontelli:
Hybrid Probabilistic Logic Programs with Non-monotonic Negation. 204-220 - Nikolay Pelov, Eugenia Ternovska:
Reducing Inductive Definitions to Propositional Satisfiability. 221-234 - Diptikalyan Saha, C. R. Ramakrishnan:
Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation. 235-249 - Ricardo Rocha
Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. 250-264 - Bernd Braßel, Michael Hanus
Nondeterminism Analysis of Functional Logic Programs. 265-279 - John P. Gallagher, Kim S. Henriksen, Gourinath Banda:
Techniques for Scaling Up Analyses Based on Pre-interpretations. 280-296 - Ajay Mallya:
Deductive Multi-valued Model Checking. 297-310 - Manh Thang Nguyen, Danny De Schreye
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs. 311-325 - Michael Codish
Testing for Termination with Monotonicity Constraints. 326-340 - João F. L. Alcântara, Carlos Viegas Damásio
A Well-Founded Semantics with Disjunction. 341-355 - Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny:
Semantics of Framed Temporal Logic Programs. 356-370 - Gopalan Nadathur, Natalie Linnell:
Practical Higher-Order Pattern Unification with On-the-Fly Raising. 371-386 - Susmit Sarkar
Small Proof Witnesses for LF. 387-401 - Emmanuel Coquery, François Fages:
A Type System for CHR. 402-403 - Thomas Kleemann, Alex Sinner:
Decision Support for Personalization on Mobile Devices. 404-406 - Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
A Generic Framework for the Analysis and Specialization of Logic Programs. 407-409 - Oliver Ray:
The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic. 410-411 - Joxan Jaffar, Andrew E. Santosa, Razvan Voicu:
Modeling Systems in CLP. 412-413 - Christos Nomikos, Panos Rondogiannis, William W. Wadge:
A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. 414-415 - Ricardo Rocha
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. 416-417 - Alexandre S. Saidi:
Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process. 418-420 - Tony Lambert, Carlos Castro, Éric Monfroy, María Cristina Riff, Frédéric Saubion:
Hybridization of Genetic Algorithms and Constraint Propagation for the BACP. 421-423 - Michel Ferreira:
The MYDDAS Project: Using a Deductive Database for Traffic Characterization. 424-426 - Gergely Lukácsy, Zsolt Nagy:
Open World Reasoning in Datalog. 427-428 - András György Békés:
Optimizing Queries for Heterogeneous Information Sources. 429-430 - Marcus Vinicius Santos:
Denotational Semantics Using Horn Concurrent Transaction Logic. 431-432 - Ludovic Langevine:
Gentra4cp: A Generic Trace Format for Constraint Programming. 433-434 - Tom Schrijvers
Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary. 435-436 - Federico Chesani:
Formalization and Verification of Interaction Protocols. 437-438 - Ricardo Corin, Ari Saptawijaya, Sandro Etalle:
PS-LTL for Constraint-Based Security Protocol Analysis. 439-440 - Luca Bortolussi
Concurrent Methodologies for Global Optimization. 441-443 - Vítor Nogueira:
A Temporal Programming Language for Heterogeneous Information Systems. 444-445 - Roman Schindlauer:
Nonmonotonic Logic Programs for the Semantic Web. 446-447 - Rémy Haemmerlé:
SiLCC Is Linear Concurrent Constraint Programming. 448-449 - Jon Sneyers:
Analysis and Optimization of CHR Programs. 450-451
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-12-29 01:14 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: