Search results for "ICLP"

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

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