Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Steven Dawson, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, R. C. Sekar 0001 |
Extracting Determinacy in Logic Programs. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Michael Hanus |
Analysis of Nonlinear Constraints in CLP(R). |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Kish Shen |
Implementing Dynamic Dependent And-Parallelism. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Marc-Michel Corsini, Antoine Rauzy |
Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Michael Reviakin |
Logic Programming System Prolog-plus. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Pascal Brisset, Olivier Ridoux |
Continuations in Lambda-Prolog. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Christoph Brzoska |
Temporal Logic Programming with Bounded Universal Modality Goals. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland |
Status of the Aditi Deductive Database System. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Andrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann |
Memory Management of Constraint in Flang. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Serge Le Huitouze, Pascale Louvet, Olivier Ridoux |
Logic Grammars and Lambda-Prolog. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Phan Minh Dung |
Representing Actions in Logic Programming and Its Applications in Database Updates. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | David B. Kemp, Peter J. Stuckey |
Analysis Based Constraint Query Optimization. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo |
Some Paradigms for Visualizing Parallel Execution of Logic Programs. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Javier Pinto, Raymond Reiter |
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Donald A. Smith |
MultiLog: Data Or-Parallel Logic Programming. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
1 | Roger S. Scowen |
An Overview of Prolog Standardization - Progress, Problems and Solutions. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Shyam Mudambi |
Performances of Aurora on NUMA Machines. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Koichi Furukawa (eds.) |
Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991 |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Dale Miller 0001 |
Logics for Logic Programming: A Tutorial. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Glenn Mansfield, Atsushi Togashi, Nobuhisa Miake, Shoichi Noguchi |
AMLOG-E: A New Approach towards Amalgamation. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Yves Deville, Leon Sterling, Pierre Deransart |
Software Development and Logic Programming. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | M. Puchhammer, R. Schlöglhofer |
A Rule-oriented FSM Design System with Prototyping Capabilities. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Dale Miller 0001 |
Unification of Simply Typed Lamda-Terms as Logic Programming. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Doug Palmer, Lee Naish |
NUA-Prolog: An Extension to the WAM for Parallel Andorra. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Patrick Saint-Dizier |
Logic Programming for Language Processing. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Katsumi Inoue |
Extended Logic Programs with Default Assumptions. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Didier Dubois, Jérôme Lang, Henri Prade |
Towards Possibilistic Logic Programming. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Seif Haridi |
Parallel Logic Programming based on the Andorra Principle. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Arie Harsat, Ran Ginosar |
CARMEL-4: The Unify-Spawn Machine for FCP. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Giorgio Levi |
On the Semantics of Logic Programs. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Livio Colussi, Elena Marchiori |
Proving Correctness of Logic Programs Using Axiomatic Semantics. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi |
Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Robert A. Ballance, Susan L. Graham |
Incremental Consistency Maintenance for Interactive Applications. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Ugo Montanari, Francesca Rossi 0001 |
Perfect Relaxation in Constraint Logic Programming. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Taisuke Sato |
Full First Order Logic Programming and Truth Predicate. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Bharat Jayaraman, Gopalan Nadathur |
Implementation Techniques for Scoping Constructs in Logic Programming. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Ludek Matyska, Adriana Jergová, David Toman 0001 |
Register Allocation in WAM. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | José Alberto Fernández, Jack Minker |
Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Patrick Cousot |
Abstract Interpretation of Logic Programs. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Bruno Marre |
Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Hendrik Decker |
On Generalized Cover Axioms. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Kristof Verschaetse, Danny De Schreye |
Deriving Termination Proofs for Logic Programs, Using Abstract Procedures. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Michael Codish, Dennis Dams, Eyal Yardeni |
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Pascal Van Hentenryck, Yves Deville |
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Phan Minh Dung |
Negations as Hypotheses: An Abductive Foundation for Logic Programming. (long version: JLP 22(2): 151-171 (1995)) |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Bernard Migault, François Rousselot, Laurent Cervoni |
Prolog as a Host Language. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Vítor Santos Costa, David H. D. Warren, Rong Yang |
The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Mark Korsloot, Evan Tick |
Compilation Techniques for Nondeterminate Flat Concurrent Logic Programming Languages. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Donald A. Smith |
Constraint Operations for CLP(FT). |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Hassan Aït-Kaci |
Warren's Abstract Machine. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Micha Meier |
Recursion versus Iteration in Prolog. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Eyal Yardeni, Thom W. Frühwirth, Ehud Shapiro |
Polymorphically Typed Logic Programs. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Yael Moscowitz, Ehud Shapiro |
Lexical Logic Programs. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Leo Bachmair, Harald Ganzinger |
Perfect Model Semantics for Logic Programs with Equality. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Jean-François Monin |
Real-size Compiler Writing Using Prolog with Arrows. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Khayri A. M. Ali, Roland Karlsson |
Scheduling Or-Parallelism in Muse. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Stefan Böttcher |
On Transactions in Logic Programming Languages. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Yong Hu, Li-Yan Yuan |
Extended Well-Founded Model Semantics for General Logic Programs. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Vítor Santos Costa, David H. D. Warren, Rong Yang |
The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Bernard J. Robinet |
Logic Programming at IBM: From the Lab to the Customer. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Daniele Turi |
Extending S-Models to Logic Programs with Negation. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Saumya K. Debray, Nai-Wei Lin |
Automatic Complexity Analysis of Logic Programs. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Roland H. C. Yap |
Restriction Site Mapping in CLP(R). |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Masami Hagiya |
Higher-Order Unification as a Theorem Proving Procedure. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Raymond T. Ng, V. S. Subrahmanian |
A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Marco A. Casanova, Andrea S. Hemerly, Ramiro A. de T. Guerreiro |
Explaining SLDNF Resolution with Non-Normal Defaults. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Abderrahmane Aggoun, Nicolas Beldiceanu |
Overview of the CHIP Compiler System. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Pascal Brisset, Olivier Ridoux |
Naïve Reverse Can be Linear. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes |
Nonmonotonic Reasoning with Well Founded Semantics. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Robert A. Kowalski |
Legislation as Logic Programs. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Kazuo Taki |
Parallel Programming and Large-scale Applications in the FGCS Project. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Peter B. Reintjes |
A Set of Tools for VHDL Design. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Hai-Ping Ko, Mark E. Nadel |
Substitution and Refutation Revisited. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck |
A Generic Abstract Interpretation Algorithm and its Complexity Analysis. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Anthony S. K. Cheng, Peter J. Robinson 0001, John Staples |
Higher Level Meta Programming in Qu-Prolog 3: 0. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | António Porto |
Logic Programming Environments. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Jonathan M. Lever |
Proving Program Properties by Means of SLS-Resolution. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Philippe Codognet, Thierry Sola |
Extending the WAM for Intelligent Backtracking. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Michael Codish, Moreno Falaschi, Kim Marriott |
Suspension Analysis for Concurrent Logic Programs. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Toshinori Watanabe, Keiko Komatsu |
Co-operative Hierarchical Layout Problem Solver on Parallel Inference Machine. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Ken Satoh, Noboru Iwayama |
Computing Abduction by Using the TMS. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi |
{log}: A Logic Programming Language with Finite Sets. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Kalyan Muthukumar, Manuel V. Hermenegildo |
Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Eugene J. Rollins, Jeannette M. Wing |
Specifications as Search Keys for Software Libraries. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Jean-Jacques Chabrier, Claudine Pradelles, Bruno Legeard |
Applications of Constraints Logic Programming Languages. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | James Harland |
A Clausal Form for the Completion of Logic Programs. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Gérard Ferrand |
Basic Concepts of Logic Programming and Prolog. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Hiroshi Fujita 0002, Ryuzo Hasegawa |
A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Teodor C. Przymusinski |
Well-Founded Completions of Logic Programs. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Weidong Chen 0005, David Scott Warren |
An Intensional Logic of (Multi-Arity) Set Abstractions. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Brian J. Ross, Alan Smaill |
An Algebraic Semantics of Prolog Program Termination. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Maurizio Gabbrielli, Giorgio Levi |
Modeling Answer Constraints in Constraint Logic Programs. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
1 | Mark Korsloot, Hans M. Mulder |
Sequential Architecture Models for Prolog: A Performance Comparison. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Pascal Van Hentenryck |
Incremental Constraint Satisfaction in Logic Programming. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Vijay A. Saraswat |
The Paradigm of Concurrent Constraint Programming. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Arie Harsat, Ran Ginosar |
An Extended RISC Methodology and its Application to FCP. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Kalyan Muthukumar, Manuel V. Hermenegildo |
The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Neng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima |
A Matching Tree Oriented Abstract Machine for Prolog. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Michael Gelfond, Vladimir Lifschitz |
Logic Programs with Classical Negation. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
1 | Oded Shmueli, Shalom Tsur |
Logical Diagnosis of LDL Programs. |
ICLP |
1990 |
DBLP BibTeX RDF |
|