Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ricardo Rocha 0001, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa |
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Thom W. Frühwirth |
Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Henning Christiansen 0001, Verónica Dahl |
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Corin, Ari Saptawijaya, Sandro Etalle |
PS-LTL for Constraint-Based Security Protocol Analysis. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Herbert Wiklicky |
A Distributed and Probabilistic Concurrent Constraint Programming Language. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jon Sneyers |
Analysis and Optimization of CHR Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Roman Schindlauer |
Nonmonotonic Logic Programs for the Semantic Web. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hans Tompits, Stefan Woltran |
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | András György Békés |
Optimizing Queries for Heterogeneous Information Sources. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Langevine |
Gentra4cp: A Generic Trace Format for Constraint Programming. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Ray |
The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Guard and Continuation Optimization for Occurrence Representations of CHR. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu |
Coordination of Many Agents. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jan Wielemaker |
An Optimised Semantic Web Query Language Implementation in Prolog. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre S. Saidi |
Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Emad Saad, Enrico Pontelli |
Hybrid Probabilistic Logic Programs with Non-monotonic Negation. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi |
Concurrent Methodologies for Global Optimization. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ajay Mallya |
Deductive Multi-valued Model Checking. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sabrina Baselice, Piero A. Bonatti, Michael Gelfond |
Towards an Integration of Answer Set and Constraint Solving. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Rossi 0001 |
Preference Reasoning. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli |
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Haemmerlé |
SiLCC Is Linear Concurrent Constraint Programming. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny |
Semantics of Framed Temporal Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
Temporal logic programming, semantics, framing, monotonicity, minimal model |
1 | Manh Thang Nguyen, Danny De Schreye |
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
polynomial interpretations, acceptability, Termination analysis |
1 | Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace 0001, Toby Walsh |
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | José F. Morales 0001, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo |
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gergely Lukácsy, Zsolt Nagy |
Open World Reasoning in Datalog. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ian Horrocks 0001 |
OWL: A Description Logic Based Ontology Language. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa |
Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
A Generic Framework for the Analysis and Specialization of Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christos Nomikos, Panos Rondogiannis, William W. Wadge |
A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers |
Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Walter G. Wilson |
Use of Logic Programming for Complex Business Rules. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gopalan Nadathur, Natalie Linnell |
Practical Higher-Order Pattern Unification with On-the-Fly Raising. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Federico Chesani |
Formalization and Verification of Interaction Protocols. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
Testing for Termination with Monotonicity Constraints. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michel Ferreira |
The MYDDAS Project: Using a Deductive Database for Traffic Characterization. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira |
A Well-Founded Semantics with Disjunction. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Braßel, Michael Hanus |
Nondeterminism Analysis of Functional Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | John P. Gallagher, Kim S. Henriksen, Gourinath Banda |
Techniques for Scaling Up Analyses Based on Pre-interpretations. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Kleemann, Alex Sinner |
Decision Support for Personalization on Mobile Devices. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Maher |
Abduction of Linear Arithmetic Constraints. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Coquery, François Fages |
A Type System for CHR. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay Pelov, Eugenia Ternovska |
Reducing Inductive Definitions to Propositional Satisfiability. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Diptikalyan Saha, C. R. Ramakrishnan 0001 |
Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
On Programs with Linearly Ordered Multiple Preferences. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bart Demoen, Vladimir Lifschitz (eds.) |
Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Joost Vennekens, David Gilis, Marc Denecker |
Splitting an Operator. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Steve Barker |
Labeled Logic Programs. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alex Dekhtyar, Michael I. Dekhtyar |
Possible Worlds Semantics for Probabilistic Logic Programs. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur |
The Refined Operational Semantics of Constraint Handling Rules. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Caldon, Eric Martin 0002 |
Limiting Resolution: From Foundations to Implementation. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Deransart |
Main Results of the OADymPPaC Project. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | François Bry, Paula-Lavinia Patranjan, Sebastian Schaffert |
Xcerpt and XChange - Logic Programming Languages for Querying and Evolution on the Web. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Cumbo, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone |
Enhancing the Magic-Set Method for Disjunctive Datalog Programs. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Esra Erdem 0001, Martin D. F. Wong |
Rectilinear Steiner Tree Construction Using Answer Set Programming. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Camilo Rueda, Frank D. Valencia |
Non-viability Deductions in Arc-Consistency Computation. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Beldiceanu, Emmanuel Poder |
The period Constraint. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Ramírez 0001, Juanjo Martinez |
Constraint-Based Synchronization and Verification of Distributed Java Programs. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michael Gelfond |
Answer Set Programming and the Design of Deliberative Agents. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Toshiko Wakaki, Katsumi Inoue |
Compiling Prioritized Circumscription into Answer Set Programming. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Neugebauer |
Concurrent Constraint Programming and Tree-Based Acoustic Modelling. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari |
Protein Folding Simulation in CCP. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa |
Speculative Computations in Or-Parallel Tabled Logic Programs. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | David Robertson 0001 |
Multi-agent Coordination as Distributed Logic Programming. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Petit, Arnaud Gotlieb |
Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey |
Compiling Ask Constraints. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Langevine, Mireille Ducassé |
A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz |
Termination by Abstraction. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe |
Logic Programs with Annotated Disjunctions. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau |
Applying CLP to Predict Extra-Functional Properties of Component-Based Models. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Remko Tronçon, Gerda Janssens, Henk Vandecasteele |
Fast Query Evaluation with (Lazy) Control Flow Compilation. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Linke, Hans Tompits, Stefan Woltran |
On Acyclic and Head-Cycle Free Nested Logic Programs. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Marchi, Alessandra Mileo, Alessandro Provetti |
Grid Service Selection with PPDL. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | James Cheney, Christian Urban |
alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | John P. Gallagher, Kim S. Henriksen |
Abstract Domains Based on Regular Types. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jia-Huai You, Guiwen Hou |
Arc-Consistency + Unit Propagation = Lookahead. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rohit N. Kundaji, R. K. Shyamasundar |
Development of Semantic Debuggers Based on Refinement Calculus. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers, David Scott Warren |
Constraint Handling Rules and Tabled Execution. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dávid Hanák, Tamás Szeredi, Péter Szeredi |
FDBG, the CLPFD Debugger Library of SICStus Prolog. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Islam Elkabani, Enrico Pontelli, Tran Cao Son |
Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstract Interpretation-Based Mobile Code Certification. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Xiumei Jia, Jia-Huai You, Li-Yan Yuan |
Adding Domain Dependent Knowledge into Answer Set Programs for Planning. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jan-Georg Smaus |
Termination of Logic Programs Using Various Dynamic Selection Rules. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
Agent Oriented Logic Programming Constructs in Jinni 2004. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers, Alexander Serebrenik |
Improving Prolog Programs: Refactoring for Prolog. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Linh Anh Nguyen |
MProlog: An Extension of Prolog for Modal Logic Programming. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers |
JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Ray, Krysia Broda, Alessandra Russo |
Generalised Kernel Sets for Inverse Entailment. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Susana Muñoz-Hernández, Juan José Moreno-Navarro |
Implementation Results in Classical Constructive Negation. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
Implementations of Logic Programming, Optimization, Constraint Logic Programming, Constructive Negation, Negation in Logic Programming |
1 | Éric Monfroy, Frédéric Saubion, Tony Lambert |
On Hybridization of Local Search and Constraint Propagation. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | David Pearce 0001 |
Simplifying Logic Programs Under Answer Set Semantics. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Zbigniew Lonc, Miroslaw Truszczynski |
Computing Minimal Models, Stable Models, and Answer Sets. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Selim T. Erdogan, Vladimir Lifschitz |
Definitions in Answer Set Programming: (Extended Abstract). |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | François Fages |
Symbolic Model-Checking for Biochemical Systems. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Tran Cao Son, Enrico Pontelli |
Adding Preferences to Answer Set Planning. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Serebrenik |
Termination Analysis of Logic Programs: Extended Abstract. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hai-Feng Guo, Gopal Gupta 0001 |
A New Mode Declaration for Tabled Predicates. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yoo-Jin Moon, Kyongho Min, Youngho Hwang, Pankoo Kim |
Integration of Semantic Networks for Corpus-Based Word Sense Disambiguation. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Pientka |
Higher-Order Substitution Tree Indexing. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|