Search results for "ICLP"

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

Publications at "ICLP"( http://dblp.L3S.de/Venues/ICLP )