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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 331-347, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás |
A Multi-adjoint Logic Approach to Abductive Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 269-283, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 315-330, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Zbigniew Lonc, Miroslaw Truszczynski |
Fixed-Parameter Complexity of Semantics for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 197-211, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hai-Feng Guo, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
Speculative Beats Conservative Justification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 150-165, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | V. S. Subrahmanian |
Probabilistic Databases and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 10, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Luís Fernando Castro, Vítor Santos Costa |
Understanding Memory Management in Prolog Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 11-26, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 43-58, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 4-5, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jacob M. Howe, Andy King |
Positive Boolean Functions as Multiheaded Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 120-134, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 166-180, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey |
Higher-Precision Groundness Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 135-149, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 181-196, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Robert A. Kowalski |
Is Logic Really Dead or Only Just Sleeping? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 2-3, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alain Colmerauer |
Solving the Multiplication Constraint in Several Approximation Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 1, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 90-104, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Esra Erdem 0001, Vladimir Lifschitz |
Fages' Theorem for Programs with Nested Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 242-254, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 27-42, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 74-89, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jan Wielemaker |
Building Real-Life Applications with Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 7, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Lifschitz |
Answer Set Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 23-37, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Taisuke Sato, Satoshi Funada |
Reactive Logic Programming by Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 617, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Filippo Focacci, Michela Milano, Andrea Lodi 0001 |
Soving TSP with Time Windows with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 515-529, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Sergio Greco |
Optimization of Disjunctive Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 441-455, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Christian Schulte 0001 |
Comparing Trailing and Copying for Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 275-289, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Erwan Jahier, Mireille Ducassé |
A Generic Approach to Monitor Program Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 139-153, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Fernando C. N. Pereira |
Declarative Programming for a Messy World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 3-5, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Bernhard Thalheim |
Logics and Database Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 6-21, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | José Júlio Alferes, Luís Moniz Pereira, Terrance Swift |
Well-founded Abduction via Tabled Dual Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 426-440, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Gopal Gupta 0001, Enrico Pontelli |
Stack-splitting: Or-/And-parallelism on Distributed Memory Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 290-304, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Francesco Buccafurri, Wolfgang Faber 0001, Nicola Leone |
Disjunctive Logic Programs with Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 79-93, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Angelo E. M. Ciarlini, Thom W. Frühwirth |
Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 606, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Marc Bezem |
Extensionality of Simply Typed Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 395-410, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan |
Generalized Unfold/fold Transformation Systems for Normal Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 616, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 52-66, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Alberto Momigliano, Frank Pfenning |
The Relative Complement Problem for Higher-Order Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 380-394, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Tobias Müller |
Practical Investigation of Constraints with Graph Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 615, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Dino Pedreschi, Salvatore Ruggieri |
Bounded Nondeterminism of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 350-364, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Silvija Seres, J. Michael Spivey, C. A. R. Hoare |
Algebra of Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 184-199, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
Domains as First Class Objects in CLP(FD). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 608, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Gerald Penn |
An Optimized Prolog Encoding of Typed Feature Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 124-138, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Frédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, Jean-Francois Puget |
Revising Hull and Box Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 230-244, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Kenneth A. Bowen |
Adventures in the Prolog Trade. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 22, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Keiji Hirata 0001, Kenichi Yamazaki |
Declarative Priority in a Concurrent Logic Language ON. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 215-229, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Mauricio Osorio 0001, Bharat Jayaraman, Juan Carlos Nieves |
Declarative Pruning in a Functional Query Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 588-604, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
A Linear Tabling Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 618, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Martin Henz |
Constraint-based Round Robin Tournament Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 545-557, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Fernando Orejas, Elvira Pino |
Semantic Definitions for Normal Open Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 200-214, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Wlodzimierz Drabent |
It Is Declarative. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 607, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Lunjin Lu, John G. Cleary |
A Regular Type Analysis of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 613, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Ulrich Zukowski, Burkhard Freitag |
Well-founded Semantics by Transformation: The Non-ground Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 456-470, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi |
ACI1 Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 573-587, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Sofie Verbaeten |
Termination Analysis for Abductive General Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 365-379, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Yves Caseau, François-Xavier Josset, François Laburthe |
CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 245-259, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Wim Vanhoof, Maurice Bruynooghe |
Binding-time Analysis for Mercury. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 500-514, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Xining Li |
Implementing Prolog with Chronological Garbage Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 612, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Peter Van Roy |
Logic Programming in Oz with Mozart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 38-51, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Ken Kaneiwa, Satoshi Tojo |
Event, Property, and Hierarchy in Order-Sorted Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 94-108, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Evan Tick, Roland H. C. Yap, Michael J. Maher |
Finding Fair Allocations for the Coalition Problem with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 530-544, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Kung-Kiu Lau, Mario Ornaghi |
Isoinitial Models for Logic Programs: Some Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 611, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Jan-Georg Smaus |
Proving Termination of Input-Consuming Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 335-349, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 260-274, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Kyoung-Sun Kang, Naoyuki Tamura |
A Static Analysis for Classical Linear Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 610, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Baoqiu Cui, David Scott Warren |
Multiple Terms in a Tabled Logic Programming System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 305-319, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Julio Mariño, Juan José Moreno-Navarro |
Using Static Analysis to Compile Non-sequential Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 614, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Yan Zhang 0003 |
Monotonicity in Rule Based Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 471-485, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Miroslaw Truszczynski |
Computing Large and Small Stable Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 169-183, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Manuel Carro, Manuel V. Hermenegildo |
Concurrency in Prolog Using Threads and a Shared Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 320-334, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Pascal Hitzler, Anthony Karel Seda |
A Characterization of Acceptability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 609, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Alex Dekhtyar, Michael I. Dekhtyar, V. S. Subrahmanian |
Temporal Probabilistic Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 109-123, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Tibor Ásványi |
Adding Functions to SICStus Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 605, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![MIT Press, 0-262-54104-1 The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Sarah Mallet, Mireille Ducassé |
Generating Deductive Database Explanations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 154-168, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Kenneth M. Kahn |
From Prolog and Zelta to ToonTalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 67-78, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Maurizio Proietti, Alberto Pettorossi |
Transforming Inductive Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 486-499, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Andrew W. Appel, Amy P. Felty |
Lightweight Lemmas in lambda-Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 411-425, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Sandro Etalle, Femke van Raamsdonk |
Logic Programming with Requests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999, pp. 558-572, 1999, MIT Press, 0-262-54104-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Tobias Müller 0002, Jörg Würtz |
Connecting Propagators with a Concurrent Constraint Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 412, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 108-122, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Evelina Lamma, Michela Milano, Paola Mello |
Reasoning on Constraints in Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 413, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Verónica Dahl, Paul Tarau, Renwei Li |
Assumption Grammars for Processing Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 256-270, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Stefaan Decorte, Danny De Schreye |
Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 78-92, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Farid Ajili, Claude Kirchner |
A Modular Framework for the Combination of Unification and Built-In Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 331-345, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 93-107, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Ulrich Zukowski, Burkhard Freitag, Stefan Brass |
Differential Bottom-Up Computation of the Well-Founded Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 421, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Francisco Bueno, Michael Codish, Vitaly Lagoon |
Sharing Analysis Using Set Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 417, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Naomi Lindenstrauss, Yehoshua Sagiv |
Automatic Termination Analysis of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 63-77, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Rick Vaupel, Enrico Pontelli, Gopal Gupta 0001 |
Visualization of And/Or-Parallel Execution of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 271-285, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Mengchi Liu |
Supporting Partial and Complete Sets and Tuples in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 415, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Sergio Antoy, Rachid Echahed, Michael Hanus |
Parallel Evaluation Strategies for Functional Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 138-152, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
A Strong Correspondence between Description Logics and Open Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 346-360, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Michael I. Dekhtyar, Alexander Ja. Dikovsky |
Total Homeostaticity and Integrity Constraints Restorability Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 241-255, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Christian Schulte 0001 |
Oz Explorer: A Visual Constraint Programming Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 286-300, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Carl-Alexander Wichert, Burkhard Freitag |
Capturing Database Dynamics by Deferred Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 226-240, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh |
Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 376-390, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal |
Live-Structure Analysis for Logic Programming Languages with Declarations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 33-47, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Sameer Mahajan, S. Ramesh 0001 |
Concurrent Logic Programming and pi Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 411, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
The Complexity of Model Checking in Modal Event Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 419, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Juan M. Molina-Bravo, Ernesto Pimentel 0001 |
Modularity in Functional-Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 183-197, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Vyacheslav Petukhin |
Embedded Implications as a Generalization of Negation as Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997, pp. 420, 1997, MIT Press, 0-262-64035-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|