Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jan-Georg Smaus |
Is There an Optimal Generic Semantics for First-Order Equations?. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Paola Bruscoli, Alessio Guglielmi |
A Tutorial on Proof Theoretic Foundations of Logic Programming. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | William H. Winsborough |
A Logic Programming View of Authorization in Distributed Systems. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Gianluigi Greco, Domenico Lembo |
Efficient Evaluation of Logic Programs for Querying Data Integration Systems. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001 |
Uniform Equivalence of Logic Programs under the Stable Model Semantics. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
uniform equivalence, strong equivalence, computational complexity, program optimization, stable models, answer set semantics |
1 | Yann Loyer, Umberto Straccia |
Default Knowledge in Logic Programs with Uncertainty. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Serebrenik, Bart Demoen |
Refactoring Logic Programs: Extended Abstract. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Ramírez 0001 |
Inducing Musical Rules with ILP. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Frej Drejhammar, Christian Schulte 0001, Per Brand, Seif Haridi |
Flow Java: Declarative Concurrency for Java. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Intensional Sets in CLP. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
Aggregates, Constraint Logic Programming, Sets |
1 | Alexei A. Morozov |
Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kazunori Ueda, Norio Kato |
The Language Model LMNtal. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Backofen, Sebastian Will |
A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing Methods. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Joohyung Lee 0002, Vladimir Lifschitz |
Loop Formulas for Disjunctive Logic Programs. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Diptikalyan Saha, C. R. Ramakrishnan 0001 |
Incremental Evaluation of Tabled Logic Programs. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kung-Kiu Lau |
Component-Based Software Development and Logic Programming. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Michael Thielscher |
Controlling Semi-automatic Systems with FLUX. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kaninda Musumbu |
Simulating Security Systems Based on Logigrams. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Andy King, Lunjin Lu |
Forward versus Backward Verification of Logic Programs. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey |
Termination Analysis with Types Is More Accurate. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Catuscia Palamidessi (eds.) |
Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | J. Gregory Morrisett |
Achieving Type Safety for Low-Level Code. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yao Wu, Enrico Pontelli, Desh Ranjan |
On the Complexity of Dependent And-Parallelism in Logic Programming. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Abreu, Daniel Diaz 0001 |
Objective: In Minimum Context. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jan Wielemaker |
Native Preemptive Threads in SWI-Prolog. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Shekhar Pradhan |
Argumentation Databases. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva |
On Deterministic Computations in the Extended Andorra Model. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
Extended Andorra Model, Logic Programming, Language Implementation |
1 | Davy Van Nieuwenborgh, Dirk Vermeir |
Order and Negation as Failure. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo |
A Generic Persistence Model for (C)LP Systems. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | M. R. K. Krishna Rao |
Polynomial-Time Learnability from Entailment. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Langevine, Mireille Ducassé, Pierre Deransart |
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yuting Zhao, Fangzhen Lin |
Answer Set Programming Phase Transition: A Study on Randomly Generated Programs. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Granvilliers, Éric Monfroy |
Implementing Constraint Propagation by Composition of Reductions. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
chaotic iteration, dynamic strategy, software architecture, design pattern, composition, Constraint propagation |
1 | Frank D. Valencia |
Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Carles Farré, Ernest Teniente, Toni Urpí |
Handling Existential Derived Predicates in View Updating. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Susana Muñoz-Hernández, Juan José Moreno-Navarro |
A Real Implementation for Constructive Negation. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
Implementations of Logic Programming, Constraint Logic Programming, Constructive Negation, Negation in Logic Programming |
1 | Frank D. Valencia |
Concurrency, Time, and Constraints. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jan-Georg Smaus |
Termination of Logic Programs for Various Dynamic Selection Rules. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kwanho Jung, Hyunjang Kong, Junho Choi, Yoo-Jin Moon, Pankoo Kim |
Adding the Temporal Relations in Semantic Web Ontologies. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
Online Justification for Tabled Logic Programs. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | David A. Rosenblueth |
A Distinct-Head Folding Rule. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Ridoux |
Logic Information Systems for Logic Programmers. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
Compositional Verification of Infinite State Systems. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Giridhar Pemmasani, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Paola Bruscoli |
A Purely Logical Account of Sequentiality in Proof Search. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Prahladavaradan Sampath |
Modelling Multi-agent Reactive Systems. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Russo, Rob Miller 0002, Bashar Nuseibeh, Jeff Kramer |
An Abductive Approach for Analysing Event-Based Requirements Specifications. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Decker |
Logic Databases on the Semantic Web: Challenges and Opportunities. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Katsumi Inoue, Chiaki Sakama |
Disjunctive Explanations. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Piero A. Bonatti |
Reasoning with Infinite Stable Models II: Disjunctive Programs. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mireille Ducassé, Ludovic Langevine |
Automated Analysis of CLP(FD) Program Execution Traces. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Bart Demoen |
A Different Look at Garbage Collection for the WAM. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Harald Ganzinger, David A. McAllester |
Logical Algorithms. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hasan M. Jamil, Gillian Dobbie |
A Model Theoretic Semantics for Multi-level Secure Deductive Databases. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
MLS databases, belief assertion, security, reasoning, deductive databases, soundness and completeness |
1 | Grigoris Antoniou, Michael J. Maher |
Embedding Defeasible Logic into Logic Programs. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Maher |
Propagation Completeness of Reactive Constraints. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Medina 0001, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego |
Multi-adjoint Logic Programming: A Neural Net Approach. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Shilong Ma, Yuefei Sui, Ke Xu 0001 |
The Limits of Horn Logic Programs. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tamás Benkö, Péter Krauth, Péter Szeredi |
A Logic-Based System for Application Integration. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | François Bry, Sebastian Schaffert |
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | David Pearce 0001, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran |
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Petr Olmer, Petr Stepánek |
Schema-Based Transformations of Logic Programs in lambda-Prolog. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Pientka |
A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste |
Copying Garbage Collection for the WAM: To Mark or Not to Mark? |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Steve Barker |
Access Control for Deductive Databases by Logic Programming. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers, Maria J. García de la Banda, Bart Demoen |
Trailing Analysis for HAL. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Bærbak Christensen |
Using Logic Programming to Detect Activities in Pervasive Healthcare. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Schimpf |
Logical Loops. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Henning Christiansen 0001 |
Logical Grammars Based on Constraint Handling Rules. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Bockmayr, Arnaud Courtois |
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Henning Makholm, Konstantinos Sagonas |
On Enabling the WAM with Region Support. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yann Loyer, Umberto Straccia |
Non-uniform Hypothesis in Deductive Databases with Uncertainty. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Vaucheret, Sergio Guadarrama, Susana Muñoz-Hernández |
Fuzzy Prolog: A Simple General Implementation Using CLP(R). |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Cabalar |
A Rewriting Method for Well-Founded Semantics with Explicit Negation. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kung-Kiu Lau, Michel Vanden Bossche |
Logic Programming for Software Engineering: A Second Chance. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski |
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yannis Dimopoulos, Andreas Sideris |
Towards Local Search for Answer Sets. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hisashi Hayashi, Kenta Cho 0001, Akihiko Ohsuga |
Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Eric Martin 0002, Phuong Minh Nguyen, Arun Sharma 0001, Frank Stephan 0001 |
Learning in Logic with RichProlog. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Osorio 0001, Juan Antonio Navarro Pérez, José Arrazola |
Debugging in A-Prolog: A Logical Approach. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Stuckey (eds.) |
Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Boigelot, Pierre Wolper |
Representing Arithmetic Constraints with Finite Automata: An Overview. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Ferrand, Arnaud Lallouet |
A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Coquery, François Fages |
TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sorin Craciunescu |
Proving the Equivalence of CLP Programs. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
CLP(forall), logic programming, constraint, induction, proof system, reactive program, coinduction, CLP, Program equivalence |
1 | Zbigniew Lonc, Miroslaw Truszczynski |
Computing Stable Models: Worst-Case Performance Estimates. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Nicos Angelopoulos |
Probabilistic Finite Domains: A Brief Overview. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael Thielscher |
Reasoning about Actions with CHRs and Finite Domain Constraints. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Éric Villemonte de la Clergerie |
Natural Language Tabular Parsing. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Kazunori Ueda |
A Close Look at Constraint-Based Concurrency. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Gupta 0001 |
X-tegration - Some Cross-Enterprise Thoughts. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ken Kaneiwa, Satoshi Tojo |
An Order-Sorted Resolution with Implicitly Negative Sorts. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe |
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Wlodzimierz Drabent, Miroslawa Milkowska |
Proving Correctness and Completeness of Normal Programs - A Declarative Approach. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Beldiceanu, Mats Carlsson |
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Orejas, Edelmira Pasarella, Elvira Pino |
Semantics of Normal Logic Programs with Embedded Implications. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marc Denecker, Nikolay Pelov, Maurice Bruynooghe |
Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | K. Narayan Kumar, C. R. Ramakrishnan 0001, Scott A. Smolka |
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Codognet (eds.) |
Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gianluigi Greco, Sergio Greco, Ester Zumpano |
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|