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 |
|