Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Femke van Raamsdonk |
Translating Logic Programs into Conditional Rewriting Systems. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Andreas Kågedal, Saumya K. Debray |
A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Lee Naish (eds.) |
Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997 |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo |
A Higher Order Rewriting Logic for Functional Logic Programming. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Zhiyi Huang 0001, Chengzheng Sun, Abdul Sattar 0001 |
Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Ismail H. Toroslu, Fahri Kocabas |
Effective Maintenance of Recursive Views: Improvements to the DRed Algorithm. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Michael Codish, Bart Demoen, Konstantinos Sagonas |
XSB as the Natural Habitat for General Purpose Program Analysis. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Jia-Huai You, Xianchang Wang, Li-Yan Yuan |
Disjunctive Logic Programming as Constrained Inferences. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Michael Codish |
Efficient Goal Directed Bottom-up Evaluation of Logic Programs. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Alex Dekhtyar, V. S. Subrahmanian |
Hybrid Probabilistic Programs. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Domain Construction for Mode Analysis of Typed Logic Programs. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Kensei Tsuchida, Yoshihiro Adachi, Takanori Imaki, Takeo Yaku |
Tree Drawing Using Constraint Logic Programming. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Peter Schachte |
Global Variables in Logic Programming. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Peter Baumgartner 0001, Ulrich Furbach |
Calculi for Disjunctive Logic Programming. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Peter J. Stuckey |
Constraint Search Tree. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Enrico Pontelli, Gopal Gupta 0001 |
Implementation Mechanisms for Dependent And-Parallelism. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Yves Caseau, François Laburthe |
Solving Small TSPs with Constraints. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Saumya K. Debray, Pedro López-García 0001, Manuel V. Hermenegildo |
Non-Failure Analysis for Logic Programs. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Juliana Freire, Terrance Swift, David Scott Warren |
Taking I/O Seriously: Resolution Reconsidered for Disk. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
1 | Taisuke Sato |
A Statistical Learning Method for Logic Programs with Distribution Semantics. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Ryuzo Hasegawa |
Model Generation Theorem Provers and Their Applications. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Hideki Isozaki, Hirofumi Katsuno |
Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | V. S. Subrahmanian, Carlo Zaniolo |
Relating Stable Models and AI Planning Domains. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren |
Efficient Tabling Mechanisms for Logic Programs. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Helmut Simonis |
Applications of Constraint Logic Programming. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Andreas Podelski, Gert Smolka |
Situated Simplification. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Jichang Tan, I-Peng Lin |
Type Synthesis for Logic Programs. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh |
Making Query Processing Goal-Directed in Disjunctive Logic Databases. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Steve Gregory, Rafael Ramírez |
Tempo: A Declarative Concurrent Programming Language. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Hans Nilsson, Torbjörn Törnkvist, Claes Wikström |
Amnesia - A Distributed Real-Time Primary Memory DBMS with a Deductive Query Language. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Fariba Sadri, Robert A. Kowalski |
Variants of the Event Calculus. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Johan Boye, Jan Maluszynski |
Two Aspects of Directional Types. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Antonis C. Kakas, Antonia Michael |
Integrating Abductive and Constraint Logic Programming. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Iliano Cervesato, Luca Chittaro, Angelo Montanari |
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Leon Sterling (eds.) |
Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995 |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | C. K. Chiu, J. H. M. Lee |
Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Jean-Marie Jacquet, Koenraad De Bosschere |
On Composing Concurrent Logic Processes. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski |
Experimenting with Nonmonotonic Reasoning. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
Semantical Properties of SLD-Resolution with Reflection. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Bern Martens, John P. Gallagher |
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
Combining Situation Calculus and Event Calculus. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Konstantinos Sagonas, David Scott Warren |
Efficient Execution of HiLog in WAM-based Prolog Implementations. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Li-Yan Yuan, Jia-Huai You |
On Coherence Approach to Logic Program Revision. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Toshiko Wakaki, Ken Satoh |
Computing Prioritized Circumscription by Logic Programming. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Neng-Fa Zhou |
A Logic Programming Approach to Channel Routing. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Peter Barth, Alexander Bockmayr |
Finite Domain and Cutting Plane Techniques in CLP(PB). |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Yasuyuki Shirai, Ryuzo Hasegawa |
Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Enrico Pontelli, Gopal Gupta 0001, Dongxing Tang |
Determinacy Driven Optimizations of And-Parallel Prolog Implementations. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Philippe Codognet, Francesca Rossi 0001 |
NMCC Programming: Constraint Enforcement and Retracting in CC Programming. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro |
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | François Fages, Julian Fowler, Thierry Sola |
A Reactive Constraint Logic Programming Scheme. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Jørgen Fischer Nilsson, Andreas Hamfelt |
Constructing Logic Programs with Higher-Order Predicates. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Christoph Beierle |
Type Inferencing for Polymorphic Order-Sorted Logic Programs. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe |
On the Practicality of Abstract Equation Systems. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Per Brand |
A Decision Graph Algorithm for CCP Languages. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Nevin Heintze, Joxan Jaffar |
A Generic Algorithm for CLP Analysis. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Ashish Jain |
Projections of Logic Programs using Symbol Mappings. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Sandro Etalle, Maurizio Gabbrielli |
A Transformation System for Modular CLP Programs. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone |
Modeling OR-Parallel Execution of Prolog using CHOCS. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden |
A Method for Implementing Equational Theories as Logic Programs. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Andreas Podelski, Gert Smolka |
Operational Semantics of Constraint Logic Programs with Coroutining. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Gopal Gupta 0001, Vítor Santos Costa, Enrico Pontelli |
Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey |
Incremental Analysis of Logic Programs. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Kenneth M. Kahn |
ToonTalk - Concurrent Constraint Programming for Kids. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Juan José Moreno-Navarro |
Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Andreas Krall, Thomas Berger |
Incremental Global Compilation of Prolog with the Vienna Abstract Machine. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Keiji Hirata 0001 |
Proving Correctness of Translation from Moded Flat GHC to Pi-Calculus. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Philippe Codognet, Daniel Diaz 0001 |
WAMCC: Compiling Prolog to C. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Timothy S. Gegg-Harrison |
Representing Logic Program Schemata in lambda-Prolog. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima |
Program Dependence Analysis of Concurrent Logic Programs and Its Applications. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Chiaki Sakama, Katsumi Inoue |
The Effect of Partial Deduction in Abductive Reasoning. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Suryanarayana M. Sripada |
Efficient Implementation of the Event Calculus for Temporal Database Applications. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap |
Linear Equation Solving for Constraint Logic Programming. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Anna Formica, Michele Missikoff, Roberto Terenzi |
A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Ilyas Cicekli |
Shallow Backtracking Points in an Intelligent Backtracking Schema. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Dan Sahlin, Thomas Sjöland |
An Analyzer for a Concurrent Constraint Language. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Kannan Govindarajan, Bharat Jayaraman, Surya Mantha |
Preference Logic Programming. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Manuel V. Hermenegildo, Pedro López-García 0001 |
Efficient Term Size Computation for Granularity Control. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Gert Smolka |
Oz: Concurrent Constraint Programming for Real. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Björn Carlson, Mats Carlsson |
Compiling and Executing Disjunctions of Finite Domain Constraints. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Bogumil Hausman |
Hybrid Implementation Techniques in Erlang BEAM. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | T. H. Fung |
Abduction with Clark Completion. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Stefan Brass, Jürgen Dix |
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Vladimir Lifschitz |
SLDNF, Constructive Negation and Grounding. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Michael I. Dekhtyar, Alexander Ja. Dikovsky |
Dynamic Deductive Data Bases With Steady Behaviour. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Anatoli Degtyarev, Andrei Voronkov |
A New Procedural Interpretation of Horn Clauses with Equality. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Francesca Toni, Robert A. Kowalski |
Reduction of Abductive Logic Programs to Normal Logic Programs. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Michael Hanus |
On Extra Variables in (Equational) Logic Programming. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
1 | Sverker Janson |
Implementation of Andorra-based Languages. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Juan José Moreno-Navarro |
Default Rules: An Extension of Constructive Negation for Narrowing-based Languages. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund |
The Halting Problem for Deductive Synthesis of Logic Programs. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Marcel Holsheimer, Rolf A. de By, Hassan Aït-Kaci |
A Database Interface for Complex Objects. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Chiaki Sakama, Katsumi Inoue |
On the Equivalence between Disjunctive and Abductive Logic Programs. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Alessio Guglielmi |
Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Antoine Rauzy |
Notes on the Design of an Open Boolean Solver. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Sonia M. Leach, James J. Lu |
Computing Annotated Logic Programs. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Hendrik Decker, Matilde Celma |
A Slick Procedure for Integrity Checking in Deductive Databases. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Stephan Diehl 0001 |
Towards a Verified OR-Parallel WAM. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Compiling Intensional Sets in CLP. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
1 | Kung-Kiu Lau, Geraint A. Wiggins |
A Tutorial on Synthesis of Logic Programs from Specifications. |
ICLP |
1994 |
DBLP BibTeX RDF |
|