Search results for "ICLP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Jaime Sánchez-Hernández	A Computational Model for Functional Logic Deductive Databases.	ICLP	2001	DBLP DOI BibTeX RDF
1	Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás	A Multi-adjoint Logic Approach to Abductive Reasoning.	ICLP	2001	DBLP DOI BibTeX RDF
1	Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura	Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.	ICLP	2001	DBLP DOI BibTeX RDF
1	Zbigniew Lonc, Miroslaw Truszczynski	Fixed-Parameter Complexity of Semantics for Logic Programs.	ICLP	2001	DBLP DOI BibTeX RDF
1	Hai-Feng Guo, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Speculative Beats Conservative Justification.	ICLP	2001	DBLP DOI BibTeX RDF
1	V. S. Subrahmanian	Probabilistic Databases and Logic Programming.	ICLP	2001	DBLP DOI BibTeX RDF
1	Luís Fernando Castro, Vítor Santos Costa	Understanding Memory Management in Prolog Systems.	ICLP	2001	DBLP DOI BibTeX RDF
1	Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa	On a Tabling Engine That Can Exploit Or-Parallelism.	ICLP	2001	DBLP DOI BibTeX RDF	Tabling, Or-Parallelism, Parallel Logic Programming
1	Patrick Cousot	Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.	ICLP	2001	DBLP DOI BibTeX RDF
1	Jacob M. Howe, Andy King	Positive Boolean Functions as Multiheaded Clauses.	ICLP	2001	DBLP DOI BibTeX RDF	Boolean functions, interpretation, groundness analysis, (constraint) logic programs
1	Samik Basu 0001, Madhavan Mukund, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Rakesh M. Verma	Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.	ICLP	2001	DBLP DOI BibTeX RDF
1	Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey	Higher-Precision Groundness Analysis.	ICLP	2001	DBLP DOI BibTeX RDF
1	Hai-Feng Guo, Gopal Gupta 0001	A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives.	ICLP	2001	DBLP DOI BibTeX RDF
1	Robert A. Kowalski	Is Logic Really Dead or Only Just Sleeping?	ICLP	2001	DBLP DOI BibTeX RDF
1	Alain Colmerauer	Solving the Multiplication Constraint in Several Approximation Spaces.	ICLP	2001	DBLP DOI BibTeX RDF
1	Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur	Building Constraint Solvers with HAL.	ICLP	2001	DBLP DOI BibTeX RDF
1	Esra Erdem 0001, Vladimir Lifschitz	Fages' Theorem for Programs with Nested Expressions.	ICLP	2001	DBLP DOI BibTeX RDF
1	Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta 0001	PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures.	ICLP	2001	DBLP DOI BibTeX RDF
1	Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey	Optimizing Compilation of Constraint Handling Rules.	ICLP	2001	DBLP DOI BibTeX RDF
1	Jan Wielemaker	Building Real-Life Applications with Prolog.	ICLP	2001	DBLP DOI BibTeX RDF
1	Vladimir Lifschitz	Answer Set Planning.	ICLP	1999	DBLP BibTeX RDF
1	Taisuke Sato, Satoshi Funada	Reactive Logic Programming by Reinforcement Learning.	ICLP	1999	DBLP BibTeX RDF
1	Filippo Focacci, Michela Milano, Andrea Lodi 0001	Soving TSP with Time Windows with Constraints.	ICLP	1999	DBLP BibTeX RDF
1	Sergio Greco	Optimization of Disjunctive Queries.	ICLP	1999	DBLP BibTeX RDF
1	Christian Schulte 0001	Comparing Trailing and Copying for Constraint Programming.	ICLP	1999	DBLP BibTeX RDF
1	Erwan Jahier, Mireille Ducassé	A Generic Approach to Monitor Program Executions.	ICLP	1999	DBLP BibTeX RDF
1	Fernando C. N. Pereira	Declarative Programming for a Messy World.	ICLP	1999	DBLP BibTeX RDF
1	Bernhard Thalheim	Logics and Database Modelling.	ICLP	1999	DBLP BibTeX RDF
1	José Júlio Alferes, Luís Moniz Pereira, Terrance Swift	Well-founded Abduction via Tabled Dual Programs.	ICLP	1999	DBLP BibTeX RDF
1	Gopal Gupta 0001, Enrico Pontelli	Stack-splitting: Or-/And-parallelism on Distributed Memory Machines.	ICLP	1999	DBLP BibTeX RDF
1	Francesco Buccafurri, Wolfgang Faber 0001, Nicola Leone	Disjunctive Logic Programs with Inheritance.	ICLP	1999	DBLP BibTeX RDF
1	Angelo E. M. Ciarlini, Thom W. Frühwirth	Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems.	ICLP	1999	DBLP BibTeX RDF
1	Marc Bezem	Extensionality of Simply Typed Logic Programs.	ICLP	1999	DBLP BibTeX RDF
1	Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan	Generalized Unfold/fold Transformation Systems for Normal Logic Programs.	ICLP	1999	DBLP BibTeX RDF
1	Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García 0001	Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor.	ICLP	1999	DBLP BibTeX RDF
1	Alberto Momigliano, Frank Pfenning	The Relative Complement Problem for Higher-Order Patterns.	ICLP	1999	DBLP BibTeX RDF
1	Tobias Müller	Practical Investigation of Constraints with Graph Views.	ICLP	1999	DBLP BibTeX RDF
1	Dino Pedreschi, Salvatore Ruggieri	Bounded Nondeterminism of Logic Programs.	ICLP	1999	DBLP BibTeX RDF
1	Silvija Seres, J. Michael Spivey, C. A. R. Hoare	Algebra of Logic Programming.	ICLP	1999	DBLP BibTeX RDF
1	Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano	Domains as First Class Objects in CLP(FD).	ICLP	1999	DBLP BibTeX RDF
1	Gerald Penn	An Optimized Prolog Encoding of Typed Feature Structures.	ICLP	1999	DBLP BibTeX RDF
1	Frédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, Jean-Francois Puget	Revising Hull and Box Consistency.	ICLP	1999	DBLP BibTeX RDF
1	Kenneth A. Bowen	Adventures in the Prolog Trade.	ICLP	1999	DBLP BibTeX RDF
1	Keiji Hirata 0001, Kenichi Yamazaki	Declarative Priority in a Concurrent Logic Language ON.	ICLP	1999	DBLP BibTeX RDF
1	Mauricio Osorio 0001, Bharat Jayaraman, Juan Carlos Nieves	Declarative Pruning in a Functional Query Language.	ICLP	1999	DBLP BibTeX RDF
1	Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You	A Linear Tabling Mechanism.	ICLP	1999	DBLP BibTeX RDF
1	Martin Henz	Constraint-based Round Robin Tournament Planning.	ICLP	1999	DBLP BibTeX RDF
1	Fernando Orejas, Elvira Pino	Semantic Definitions for Normal Open Programs.	ICLP	1999	DBLP BibTeX RDF
1	Wlodzimierz Drabent	It Is Declarative.	ICLP	1999	DBLP BibTeX RDF
1	Lunjin Lu, John G. Cleary	A Regular Type Analysis of Logic Programs.	ICLP	1999	DBLP BibTeX RDF
1	Ulrich Zukowski, Burkhard Freitag	Well-founded Semantics by Transformation: The Non-ground Case.	ICLP	1999	DBLP BibTeX RDF
1	Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi	ACI1 Constraints.	ICLP	1999	DBLP BibTeX RDF
1	Sofie Verbaeten	Termination Analysis for Abductive General Logic Programs.	ICLP	1999	DBLP BibTeX RDF
1	Yves Caseau, François-Xavier Josset, François Laburthe	CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms.	ICLP	1999	DBLP BibTeX RDF
1	Wim Vanhoof, Maurice Bruynooghe	Binding-time Analysis for Mercury.	ICLP	1999	DBLP BibTeX RDF
1	Xining Li	Implementing Prolog with Chronological Garbage Collection.	ICLP	1999	DBLP BibTeX RDF
1	Peter Van Roy	Logic Programming in Oz with Mozart.	ICLP	1999	DBLP BibTeX RDF
1	Ken Kaneiwa, Satoshi Tojo	Event, Property, and Hierarchy in Order-Sorted Logic.	ICLP	1999	DBLP BibTeX RDF
1	Evan Tick, Roland H. C. Yap, Michael J. Maher	Finding Fair Allocations for the Coalition Problem with Constraints.	ICLP	1999	DBLP BibTeX RDF
1	Kung-Kiu Lau, Mario Ornaghi	Isoinitial Models for Logic Programs: Some Preliminary Results.	ICLP	1999	DBLP BibTeX RDF
1	Jan-Georg Smaus	Proving Termination of Input-Consuming Logic Programs.	ICLP	1999	DBLP BibTeX RDF
1	Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey	Herbrand Constraint Solving in HAL.	ICLP	1999	DBLP BibTeX RDF
1	Kyoung-Sun Kang, Naoyuki Tamura	A Static Analysis for Classical Linear Logic Programming Language.	ICLP	1999	DBLP BibTeX RDF
1	Baoqiu Cui, David Scott Warren	Multiple Terms in a Tabled Logic Programming System.	ICLP	1999	DBLP BibTeX RDF
1	Julio Mariño, Juan José Moreno-Navarro	Using Static Analysis to Compile Non-sequential Functional Logic Programs.	ICLP	1999	DBLP BibTeX RDF
1	Yan Zhang 0003	Monotonicity in Rule Based Update.	ICLP	1999	DBLP BibTeX RDF
1	Miroslaw Truszczynski	Computing Large and Small Stable Models.	ICLP	1999	DBLP BibTeX RDF
1	Manuel Carro, Manuel V. Hermenegildo	Concurrency in Prolog Using Threads and a Shared Database.	ICLP	1999	DBLP BibTeX RDF
1	Pascal Hitzler, Anthony Karel Seda	A Characterization of Acceptability.	ICLP	1999	DBLP BibTeX RDF
1	Alex Dekhtyar, Michael I. Dekhtyar, V. S. Subrahmanian	Temporal Probabilistic Logic Programs.	ICLP	1999	DBLP BibTeX RDF
1	Tibor Ásványi	Adding Functions to SICStus Prolog.	ICLP	1999	DBLP BibTeX RDF
1	Danny De Schreye (eds.)	Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999	ICLP	1999	DBLP BibTeX RDF
1	Sarah Mallet, Mireille Ducassé	Generating Deductive Database Explanations.	ICLP	1999	DBLP BibTeX RDF
1	Kenneth M. Kahn	From Prolog and Zelta to ToonTalk.	ICLP	1999	DBLP BibTeX RDF
1	Maurizio Proietti, Alberto Pettorossi	Transforming Inductive Definitions.	ICLP	1999	DBLP BibTeX RDF
1	Andrew W. Appel, Amy P. Felty	Lightweight Lemmas in lambda-Prolog.	ICLP	1999	DBLP BibTeX RDF
1	Sandro Etalle, Femke van Raamsdonk	Logic Programming with Requests.	ICLP	1999	DBLP BibTeX RDF
1	Tobias Müller 0002, Jörg Würtz	Connecting Propagators with a Concurrent Constraint Language.	ICLP	1997	DBLP BibTeX RDF
1	Enrico Pontelli, Gopal Gupta 0001, Francesco Pulvirenti, Alfredo Ferro	Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism.	ICLP	1997	DBLP BibTeX RDF
1	Evelina Lamma, Michela Milano, Paola Mello	Reasoning on Constraints in Constraint Logic Programming.	ICLP	1997	DBLP BibTeX RDF
1	Verónica Dahl, Paul Tarau, Renwei Li	Assumption Grammars for Processing Natural Language.	ICLP	1997	DBLP BibTeX RDF
1	Stefaan Decorte, Danny De Schreye	Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs.	ICLP	1997	DBLP BibTeX RDF
1	Farid Ajili, Claude Kirchner	A Modular Framework for the Combination of Unification and Built-In Constraints.	ICLP	1997	DBLP BibTeX RDF
1	Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey	Optimization of Logic Programs with Dynamic Scheduling.	ICLP	1997	DBLP BibTeX RDF
1	Ulrich Zukowski, Burkhard Freitag, Stefan Brass	Differential Bottom-Up Computation of the Well-Founded Semantics.	ICLP	1997	DBLP BibTeX RDF
1	Francisco Bueno, Michael Codish, Vitaly Lagoon	Sharing Analysis Using Set Logic Programs.	ICLP	1997	DBLP BibTeX RDF
1	Naomi Lindenstrauss, Yehoshua Sagiv	Automatic Termination Analysis of Logic Programs.	ICLP	1997	DBLP BibTeX RDF
1	Rick Vaupel, Enrico Pontelli, Gopal Gupta 0001	Visualization of And/Or-Parallel Execution of Logic Programs.	ICLP	1997	DBLP BibTeX RDF
1	Mengchi Liu	Supporting Partial and Complete Sets and Tuples in Deductive Databases.	ICLP	1997	DBLP BibTeX RDF
1	Sergio Antoy, Rachid Echahed, Michael Hanus	Parallel Evaluation Strategies for Functional Logic Languages.	ICLP	1997	DBLP BibTeX RDF
1	Kristof Van Belleghem, Marc Denecker, Danny De Schreye	A Strong Correspondence between Description Logics and Open Logic Programming.	ICLP	1997	DBLP BibTeX RDF
1	Michael I. Dekhtyar, Alexander Ja. Dikovsky	Total Homeostaticity and Integrity Constraints Restorability Recognition.	ICLP	1997	DBLP BibTeX RDF
1	Christian Schulte 0001	Oz Explorer: A Visual Constraint Programming Tool.	ICLP	1997	DBLP BibTeX RDF
1	Carl-Alexander Wichert, Burkhard Freitag	Capturing Database Dynamics by Deferred Updates.	ICLP	1997	DBLP BibTeX RDF
1	Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh	Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP.	ICLP	1997	DBLP BibTeX RDF
1	Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal	Live-Structure Analysis for Logic Programming Languages with Declarations.	ICLP	1997	DBLP BibTeX RDF
1	Sameer Mahajan, S. Ramesh 0001	Concurrent Logic Programming and pi Calculus.	ICLP	1997	DBLP BibTeX RDF
1	Iliano Cervesato, Massimo Franceschet, Angelo Montanari	The Complexity of Model Checking in Modal Event Calculi.	ICLP	1997	DBLP BibTeX RDF
1	Juan M. Molina-Bravo, Ernesto Pimentel 0001	Modularity in Functional-Logic Programming.	ICLP	1997	DBLP BibTeX RDF
1	Vyacheslav Petukhin	Embedded Implications as a Generalization of Negation as Failure.	ICLP	1997	DBLP BibTeX RDF

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