default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd ICLP 2006: Seattle, WA, USA
- Sandro Etalle, Miroslaw Truszczynski:
Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science 4079, Springer 2006, ISBN 3-540-36635-0
Invited Talks
- Monica S. Lam:
Why Use Datalog to Analyze Programs? 1 - Christopher A. Welty:
Semantic Web: The Story of the RIFt so Far. 2
Invited Tutorial
- Brigitte Pientka:
Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks. 3-10
Theory
- Martin Gebser
, Torsten Schaub:
Tableau Calculi for Answer Set Programming. 11-25 - Luciano Caroprese, Sergio Greco, Cristina Sirangelo, Ester Zumpano:
Declarative Semantics of Production Rules for Integrity Maintenance. 26-40 - Rémy Haemmerlé, François Fages:
Modules for Prolog Revisited. 41-55 - Diptikalyan Saha, C. R. Ramakrishnan:
A Local Algorithm for Incremental Evaluation of Tabled Logic Programs. 56-71
Functional and Constraint Logic Programming
- Jon Sneyers, Tom Schrijvers, Bart Demoen:
Memory Reuse for CHR. 72-86 - Sergio Antoy, Michael Hanus:
Overlapping Rules and Logic Variables in Functional Logic Programs . 87-101 - Sebastian Brand, Roland H. C. Yap:
Towards "Propagation = Logic + Control". 102-116 - Gregory J. Duck, Peter J. Stuckey, Sebastian Brand:
ACD Term Rewriting. 117-131
Program Analysis
- Andy King, Lunjin Lu, Samir Genaim:
Detecting Determinacy in Prolog Programs. 132-147 - Xuan Li, Andy King, Lunjin Lu:
Collapsing Closures. 148-162 - Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo:
Reduced Certificates for Abstraction-Carrying Code. 163-178 - Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. 179-195
Answer-Set Programming
- Enrico Pontelli, Tran Cao Son:
Justifications for Logic Programs Under Answer Set Semantics. 196-210 - Katsumi Inoue, Chiaki Sakama:
Generality Relations in Answer Set Programming. 211-225 - Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
Cooperating Answer Set Programming. 226-241 - Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe:
Predicate Introduction Under Stable and Well-Founded Semantics. 242-256
Special Interest Paper
- Péter G. N. Szabó, Péter Szeredi:
Improving the ISO Prolog Standard by Analyzing Compliance Test Results. 257-269
Applications I
- Martin Brain, Tom Crick, Marina De Vos, John P. Fitch:
TOAST: Applying Answer Set Programming to Superoptimisation. 270-284 - Susanne Grell, Torsten Schaub, Joachim Selbig:
Modelling Biological Networks by Action Languages Via Answer Set Programming. 285-299 - Petra Schwaiger, Burkhard Freitag:
Using Answer Set Programming for the Automatic Compilation of Assessment Tests. 300-314
Semantics
- Maarten H. van Emden:
Compositional Semantics for the Procedural Interpretation of Logic. 315-329 - Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta:
Coinductive Logic Programming. 330-345 - Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde:
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. 346-360 - James Cheney:
The Semantics of Nominal Logic Programs. 361-375
Applications II
- Chitta Baral, Juraj Dzifcak, Hiro Takahashi:
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. 376-390 - C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren:
Deductive Spreadsheets Using Tabled Logic Programming. 391-405 - Luis Quintano, Irene Rodrigues:
Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language. 406-420
Poster Presentations
- Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda:
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. 421-422 - Thi-Bich-Hanh Dao, Khalil Djelloul:
Solving First-Order Constraints in the Theory of the Evaluated Trees. 423-424 - Hai-Feng Guo, Miao Liu, Bharat Jayaraman:
Relaxation on Optimization Predicates. 425-426 - Ricardo Rocha:
Handling Incomplete and Complete Tables in Tabled Logic Programs. 427-428 - Cláudio Silva, Ricardo Rocha, Ricardo Lopes:
An External Module for Implementing Linear Tabling in Prolog. 429-430 - Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo:
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. 431-432 - Quan Phan, Gerda Janssens:
Towards Region-Based Memory Management for Mercury Programs. 433-435 - Salvador Abreu, Vítor Nogueira:
Towards Structured Contexts and Modules. 436-438 - Vítor Nogueira, Salvador Abreu:
Towards Temporal Contextual Logic Programming. 439-441 - Verónica Dahl, Baohua Gu:
Semantic Property Grammars for Knowledge Extraction from Biomedical Text. 442-443 - Juan Fernández Ortiz, Jørgen Villadsen:
Natural Language Processing Using Lexical and Logical Combinators. 444-446 - Dulce Aguilar-Solis:
Learning Semantic Parsers: A Constraint Handling Rule Approach. 447-448 - Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia:
A Declarative Framework for Security: Secure Concurrent Constraint Programming. 449-450 - Andrei Mantsivoda, Vladimir Lipovchenko, Anton Malykh:
Logic Programming in Knowledge Domains. 451-452 - Paulo Moura, Vincent Marchetti:
Logtalk Processing of STEP Part 21 Files. 453-454 - Edna Ruckhaus, Vladimir Kolovski, Bijan Parsia, Bernardo Cuenca Grau:
Integrating Datalog with OWL: Exploring the AL-log Approach. 455-456 - Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno:
LMNtal as a Unifying Declarative Language: Live Demonstration. 457-458
Doctoral Consortium Presentations
- Martin Brain:
Declarative Problem Solving Using Answer Set Semantics. 459-460 - Anderson Faustino da Silva, Vítor Santos Costa:
The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. 461-462 - Gergely Lukácsy:
Description Logic Reasoning in Prolog. 463-464 - Quan Phan:
Static Memory Management for Logic Programming Languages. 465-466 - Tiago Soares:
Deductive Databases: Implementation, Parallelism and Applications. 467-468 - Phan Huy Tu:
Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning. 469-470 - Ka-Shu Wong:
Deducing Logic Programs. 471-472
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-04 22:41 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.
