| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Herbert Kuchen, Josef Anastasiadis |
Higher Order Babel.  |
ILPS  |
1995 |
DBLP BibTeX RDF |
|
| 1 | Michael Hanus |
Functional Logic Languages: Combine Search and Efficient Evaluation (Panel Abstract). |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Hassan Aït-Kaci |
Déjá Vu - Or Whatever Are We Doing Here?... (Panel Abstract). |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Spiro Michaylov, Bill Pippin |
Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Miguel-Angel Oros, Paul Y. Gloess |
Inferring Inheritance from Datalog Programs. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Saumya K. Debray, David Gudeman, Peter A. Bigot |
Detection and Optimization of Suspension-free Logic Programs. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Hudson Turner |
Signed Logic Programs. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Li-Yan Yuan, Jia-Huai You |
A Simple but Effective Program Revision Method. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Yannick Cras |
Using Constraint Logic Programming in Services: A Few Short Tales. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kjell Post |
Mutally Exclusive Rules in Logic Programming. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Terrance Swift, David Scott Warren |
Analysis of SLG-WAM Evaluation of Definite Programs. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | David Toman 0001, Jan Chomicki, David S. Rogers |
Datalog with Integer Periodicity Constraints. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | L. Thorne McCarty, Leon A. Shklar |
A PROLOG Interpreter for First-Order Intuitionistic Logic. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | C. K. Chiu, Jimmy Ho-Man Lee |
Towards Practical Interval Constraint Solving in Logic Programming. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
SLD - Resolution with Reflection. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jean Jourdan, François Fages, Didier Rozzonelli, Alain Demeure |
Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Saumya K. Debray, Mudita Jain |
A Simple Program Transformation for Parallelism. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Laks V. S. Lakshmanan, Fereidoon Sadri |
Probabilistic Deductive Databases. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | David A. Rosenblueth, Julio C. Peralta |
LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Dongxing Tang, Enrico Pontelli, Gopal Gupta 0001, Manuel Carro |
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Michael I. Dekhtyar, Alexander Ja. Dikovsky |
On Stable Behaviour of Dynamic Deductive Data Bases. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Inês de Castro Dutra |
Strategies for Scheduling And- and Or-Parallel Work in Parallel Logic Programming Systems. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Thomas Lindgren |
A Continuation-Passing Style for Prolog. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck |
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jia-Huai You, Robert Cartwright |
Tractable Argumentation Semantics via Iterative Belief Revision. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob |
Complexity and Expressive Power of Disjunctive Logic Programming. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Roberto Giacobazzi |
Abductive Analysis of Modular Logic Programs. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | C. Braem, Baudouin Le Charlier, S. Modart, Pascal Van Hentenryck |
Cardinality Analysis of Prolog. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Marco Comini, Giorgio Levi |
An Algebraic Theory of Observables. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kenneth A. Ross |
A Syntactic Stratification Condition Using Constraints. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Arcot Rajasekar |
Constraint Logic Programming on Strings: Theory and Applications. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Iliano Cervesato, Luca Chittaro, Angelo Montanari |
Modal Event Calculus. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Christian Schulte 0001, Gert Smolka |
Encapsulated Search for Higher-order Concurrent Constraint Programming. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Benhamou, David A. McAllester, Pascal Van Hentenryck |
CLP(Intervals) Revisited. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Carmen Gervet |
Conjunto: Constraint Logic Programming with Finite Set Domains. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Konstantinos Sagonas, David Scott Warren |
A Portable Compiler for Integrating HiLog into Prolog Systems. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo |
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jonathan M. Lever |
Constraint Logic Programming for Planning. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Gregory W. Bond, Bernie Pagurek |
Declarative Error Diagnosis as Consistency-Based Diagnosis. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | John W. Lloyd |
Combining Functional and Logic Programming Languages. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Raghu Ramakrishnan 0001, Kenneth A. Ross, Divesh Srivastava, S. Sudarshan 0001 |
Efficient Incremental Evaluation of Queries with Aggregation. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jean-Louis Imbert |
Redundancy, Variable Elimination and Linear Disequations. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Andreas Podelski, Peter Van Roy |
The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Andrew Davison, Elizabeth Haywood |
Parsing with PTN. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Massimo Marchiori |
Localizations of Unification Freedom through Matching Directions. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Pascal Brisset |
Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira |
SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Robert A. Kowalski, Fariba Sadri |
The Situation Calculus and Event Calculus Compared. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kim Marriott, Peter J. Stuckey |
Approximating Interaction between Linear Arithmetic Constraints. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | R. Ramesh 0001, Weidong Chen 0005 |
A Portable Method of Integrating SLG Resolution into Prolog Systems. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Bernard Malfon |
Characterization of Some Semantics for Logic Programs with Negation and Applications to Program Validation. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Gilberto Filé, Francesco Ranzato |
Improving Abstract Interpretations by Systematic Lifting to the Powerset. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Paul Broome, James Lipton |
Combinatory Logic Programming: Computing in Relation Calculi. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Maurice Bruynooghe (eds.) |
Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994 |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Neil D. Jones |
Abstract Interpretation and Partial Evaluation in Functional and Logic Programming. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Alain Hui-Bon-Hoa |
Intuitionistic Implication and Resolution. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Björn Carlson, Seif Haridi, Sverker Janson |
AKL(FD) - A Concurrent Language for FD Programming. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Terrance Swift, David Scott Warren |
An Abstract Machine for SLG Resolution: Definite Programs. |
ILPS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Philippe Codognet, Daniel Diaz 0001 |
Boolean Constraint Solving Using clp(FD). |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jia-Huai You, Li-Yan Yuan |
Contradiction Resolving for Extended Logic Programs and Default Theories. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | James Harland |
On Goal-Directed Provability in Classical Logic. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | James H. Andrews |
A Logical Semantics for Depth-First Prolog with Ground Negation. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Roland N. Bol, Lars Degerstedt |
Tabulated Resolution for Well Founded Semantics. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler, Michael Thielscher |
Actions and Specificity. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Margaret A. Boden |
The Logic of Creativity. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Vincent Berry, Philippe Ézéquel |
Generating Goals and Their Use In Recursive Query Processing. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Maria J. García de la Banda, Manuel V. Hermenegildo |
A Practical Approach to the Global Analysis of CLP Programs. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Weidong Chen 0005, Terrance Swift, David Scott Warren |
Goal-Directed Evaluation of Well-Founded Sematics for XSB. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Bo-Ming Tong, Ho-fung Leung |
Concurrent Constraint Logic Programming On Massively Parallel SIMD Computers. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Luc De Raedt |
A Brief Introduction to Inductive Logic Programming. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Howard C. Wasserman, Keitaro Yukawa, Zhizhang Shen |
The Essential Inadequacy of Deductions in Logic Programming. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou |
On the Direct Parameter Passing Mechanism for Prolog Compilers. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Maria Vargas-Vera, Wamberto Weber Vasconcelos, David Stuart Robertson 0001 |
Building Large-Scale Prolog Programs using a Techniques Editing System. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ernesto Pimentel 0001 |
L2||O2: A Concurrent Object-oriented Logic Language. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Bruce Spencer |
The Ordered Clause Restriction of Model Elimination and SLI Resolution. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Germán Vidal |
Incremental Equational Constraint Analyses. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Luigi Palopoli 0001, Carlo Zaniolo |
Polynominal Time Computable Stable Models. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Greg Sidebottom |
Optimizing Constraint Processing in CLP(FD). |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller 0001 (eds.) |
Logic Programming, Proceedings of the 1993 International Symposium, Vancouver, British Columbia, Canada, October 26-29, 1993 |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Kjell Post, Allen Van Gelder, James Kerr |
Deterministic Parsing of Languages with Dynamic Operators. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
Non-monotonic Concurrent Constraint Programming. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Marc Kirschenbaum, Leon Sterling |
Enhancement Structures for Proving Prolog Programs Correct. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Bernd Meyer 0001 |
Logic and the Structure of Space - Towards a Visual Logic for Spatial Reasoning. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Wlodzimierz Drabent |
Completeness of SLDNF-Resolution for Non-Floundering Queries. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu |
Back to the Future: Program Completion, Revisited. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Gianfranco Rossi |
Embedding extensional finite sets in CLP. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Hock Chuan Chan, Keng Siau |
A Prolog-Based Definition of an Entity Relationship Language. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Irene Pimenta Rodrigues, José Gabriel Lopes |
Temporal Reasoning for Temporal Information Retrieval From Text. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Joaquim Nunes Aparício |
Assumption Set Semantics. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap |
Redundancy of Variables in CLP (R). |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Mehmet A. Orgun |
The Soundness and Completeness of a Temporal Extension of Logic Programming. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ewing L. Lusk, Shyam Mudambi, Ross A. Overbeek, Péter Szeredi |
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Raéd Yousef Sindaha |
Branch-Level Scheduling in Aurora: The Dharma Scheduler. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | D. Andre de Waal, John P. Gallagher |
Logic Program Specialisation With Deletion of Useless Clauses. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Norman McCain, Hudson Turner |
Automated Reasoning About Actions: A Logic Programming Approach. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Monica D. Barback, Jorge Lobo 0001 |
A Proof Procedure for Default Theories with Extensions. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Sergio Greco, Domenico Saccà, Carlo Zaniolo |
Dynamic Programming Optimization for Logic Queries with Aggregates. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Fangqing Dong, Laks V. S. Lakshmanan |
A Deductive Approach to Hypothetical Query Answering. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Amy P. Felty |
Definite Clause Grammars for Parsing Higher-Order Syntax. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Chitta Baral, Michael Gelfond, Olga Kosheleva |
Approximating General Logic Programs. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license