Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Dmitri Boulanger, Danny De Schreye |
Compiling Control Revisited: A New Approach based upon Abstract Interpretation. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Veroniek Dumortier, Gerda Janssens |
Towards a Practical Full Mode Inference System for CLP(H, N). |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Luís Caires, Luís Monteiro |
Higher-Order Polymorphic Unification for Logic Programming. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | David A. Basin |
IsaWhelk Interpreted in Isabelle. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
Reflection through Constraint Satisfaction. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Jürgen Dix, Martin Müller 0001 |
An Axiomatic Approach to Semantics of Disjunctive Programs. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung |
The Acceptability Semantics for Logic Programs. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Antonis C. Kakas, Paolo Mancarella |
Abduction and Abductive Logic Programming. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Dino Pedreschi |
A Proof Method for Runtime Properties of Prolog Programs. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Esther D. Silcrat |
Logic, Algebra and Static Analysis in DM Systems, the IE Way. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Roman R. Zapatrin |
Logic Programming as Quantum Measurement. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Krzysztof R. Apt, Maurizio Gabbrielli |
Declarative Interpretations Reconsidered. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Uday S. Reddy |
Higher-order Aspects of Logic Programming. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Neng-Fa Zhou |
On the Scheme of Passing Arguments in Stack Frames for Prolog. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Peter T. Breuer, Luis Sánchez, Carlos Delgado Kloos |
Proving Hardware Designs. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Vladimir Lifschitz, Hudson Turner |
Splitting a Logic Program. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Éric Villemonte de la Clergerie, Bernard Lang |
LPDA: Another look at Tabulation in Logic Programming. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Lourdes Araujo, José J. Ruz |
PDP: Prolog Distributed Processor for Independent AND\OR Parallel Execution of Prolog. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Shyam Mudambi, Joachim Schimpf |
Parallel CLP on Heterogeneous Networks. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Björn Carlson, Mats Carlsson, Daniel Diaz 0001 |
Entailment of Finite Domain Constraints. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Maurizio Proietti, Alberto Pettorossi |
Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Carmen Gervet |
Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | John Launchbury, Simon L. Peyton Jones |
Lazy Funtional State Threads: An Abstract. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Kouichi Kumon, Keiji Hirata 0001 |
A New Transformation based on Process-Message Duality for Concurrent Logic Languages. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Paulo Jorge de Sousa Azevedo, Marek J. Sergot |
Recomputation-Free Lemmatization by Program Transformation. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Yuejun Jiang |
Ambivalent Logic as the Semantic Basis of Metalogic Programming. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Ralph Clarke Haygood |
Native Code Compilation in SICStus Prolog. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Dov M. Gabbay, Laura Giordano 0001, Alberto Martelli, Nicola Olivetti |
Conditonal Logic Programming. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Norman McCain, Hudson Turner |
Language Independence and Language Tolerance in Logic Programs. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Jennifer Burg, Sheau-Dong Lang, Charles E. Hughes |
Finding Conflict Sets and Backtrack Points in CLP(R). |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | John P. Gallagher, D. Andre de Waal |
Fast and Precise Regular Approximations of Logic Programs. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Jürgen Dix, Georg Gottlob, V. Wiktor Marek |
Causal Models of Disjunctive Logic Programs. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Annalisa Bossi, Massimo Fabris, Maria Chiara Meo |
A Bottom-up Semantics for Constructive Negation. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
Representing Continuous Change in the Abductive Event Calculus. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Yves Caseau, François Laburthe |
Improved CLP Scheduling with Task Intervals. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Evelina Lamma, Paola Mello |
Modularity in Logic Programming. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Hélène Kirchner, Christophe Ringeissen |
Constraint Solving by Narrowing in Combined Algebraic Domains. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | François Barthélemy |
A Grammatical Approach to DCG Parsing. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Jürgen Stuber |
Computing Stable Models by Program Transformation. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Henning Christiansen 0001 |
Efficient and Complete Demo Predicates for Definite Clause Languages. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Andy King, Paul Soper |
Depth-k Sharing and Freeness. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Pascal Van Hentenryck (eds.) |
Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994 |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Remco Moolenaar, Bart Demoen |
Hybrid Tree Search in the Andorra Model. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Andreas Kågedal |
A Dataflow Analysis Method for Ground Prolog. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Peter A. Bigot, David Gudeman, Saumya K. Debray |
Output Value Placement in Moded Logic Programs. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Marion Mircheva |
Logic Programs with Refutation Rules. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Jean-Marie Jacquet, Luís Monteiro |
PP-clauses: A Means for Handling Resources. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Michael Thielscher |
Representing Actions in Equational Logic Programming. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Gopal Gupta 0001, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa |
ACE: And/Or-parallel Copying-based Execution of Logic Programs. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | James Harland, Kotagiri Ramamohanarao |
Constraint Propagation for Linear Recursive Rules. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Jean-Louis Imbert |
Variable Elimination for Generalized Linear Constraints. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Raymond T. Ng |
Semantics and Consistency of Empirical Databases. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Hudson Turner |
A Monotonicity Theorem for Extended Logic Programs. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Roland N. Bol, Lars Degerstedt |
The Underlying Search for Magic Templates and Tabulation. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Thom W. Frühwirth |
User-Defined Constraint Handling. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron, Jacques Bellone, Claudine Pradelles, Zissis Palaskas, Takis Stamatopoulos, Dominic A. Clark, Sylvie Doursenot, Christopher J. Rawlings, Jack Shirazi, Giuseppe Sardu |
APPLAUSE: Applications Using the ElipSys Parallel CLP System. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Daniel Diaz 0001, Philippe Codognet |
A Minimal Extension of the WAM for clp(FD). |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Anthony J. Kusalik, Gregory M. Oster |
Towards Generalized Visualization Support for Logic Programming. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Evan Tick, C. Banerjee |
Performance Evaluation of Monaco Compiler and Runtime Kernel. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish |
Freeness Analysis in the Presence of Numerical Constraints. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Didier Ladret, Michel Rueher |
Contribution of Logic Programming to Support Telecommunications Protocol Tests. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Katsumi Inoue, Chiaki Sakama |
Transforming Abductive Logic Programs to Disjunctive Programs. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Rong Yang, Tony Beaumont, Inês de Castro Dutra, Vítor Santos Costa, David H. D. Warren |
Performance of the Compiler-Based Andorra-I System. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Raymond Bisdorff, Sophie Laurent |
Industrial Disposing Problem Solved in CHIP. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Koenraad De Bosschere, Jean-Marie Jacquet |
Multi-Prolog: Definition, Operational Semantics and Implementation. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Frédéric Benhamou, Jean-Luc Massat |
Boolean Pseudo-equations in Constraint Logic Programming. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | David Scott Warren (eds.) |
Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993 |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Phan Minh Dung |
An Argumentation Semantics for Logic Programming with Explicit Negation. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Stefan Lüttringhaus-Kappel |
Control Generation for Logic Programs. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar |
Proving Termination of GHC Programs. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Nikolai K. Kossovsky, Igor P. Solovjev |
Function-Patterns and Fan-Backtracking for Logic Programming. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Annalisa Bossi, Michele Bugliesi, Massimo Fabris |
A New Fixpoint Semantics for Prolog. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe |
Freeness Analysis for Logic Programs - And Correctness? |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Tony Beaumont, David H. D. Warren |
Scheduling Speculative Work in Or-Parallel Prolog Systems. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Zsuzsa Farkas, Gábor Gerlei, Katalin Molnár, Gábor Umann |
ZEXPERT - A Prolog-Based Shell for Knowledge Base Development. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Phil W. Grant, C. P. Jobling |
A Prolog Toolkit for control System Models. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Michael J. Maher |
A Logic Programming View of CLP. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Anthony J. Bonner, Michael Kifer |
Transaction Logic Programming. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Ina Kraan, David A. Basin, Alan Bundy |
Middle-Out Reasoning for Logic Program Synthesis. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | S. Ivanets, N. Ilinsky, M. Krylov, S. Timohin |
Optimum Flight Planning System for Aerodrome Zone. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Alberto Martelli, Maria Luisa Sapino |
A Semantics for Eshghi and Kowalski's Procedure. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Imrich Weigl, Milan Fico, Svitoslav Molnár, Rudolf Fiby |
Istropolitan-a WAM Based Fuzzy Prolog. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Anil Nerode, Wolf Kohn |
Hybrid Systems and Constraint Logic Programming. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Luís Moniz Pereira, José Júlio Alferes |
Optative Reasoning with Scenario Semantics. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Takashi Chikayama, Tetsuro Fujise, Hiroshi Yashiro |
A Portable and Reasonably Efficient Implementation of KL1. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Kung-Kiu Lau, Mario Ornaghi |
An Incompleteness Result for Deductive Synthesis of Logic Programs. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Mats Carlsson, Mats Grindal |
Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Bruno De Backer, Henri Beringer |
A CLP Language Handling Disjunctions of Linear Constraints. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Giorgio Levi, Davide Ramundo |
A Formalization of Metaprogramming for real. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Saumya K. Debray |
On Copy Avoidance in Single Assignment Languages. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Chiaki Sakama, Katsumi Inoue |
Negation in Disjunctive Logic Programs. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Johan Bevemyr, Thomas Lindgren, Håkan Millroth |
Reform Prolog: The Language and Its Implementation. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Leon J. Mekly, Marjorie Passini Yuhas |
A Logic Programming Approach to Requirements Modelling and Automated Test Generation. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | L. Thorne McCarty |
Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | André Mariën |
Findall without findall/3. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Kalman Balogh |
The SQL Interface of MProlog. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Evelyne Contejean |
Solving Linear Diophantine Constraints Incrementally. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Ivan Futó |
Prolog with Communicating Processes: From T-Prolog to CSR-Prolog. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Egon Börger, Dean Rosenzweig |
Full Prolog in a Nutshell. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Oleg Yu. Gusikhin |
Integration of Traditional Scheduling Techniques and AI on Prolog Basis. |
ICLP |
1993 |
DBLP BibTeX RDF |
|