Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Joxan Jaffar (eds.) |
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998 |
JICSLP |
1998 |
DBLP BibTeX RDF |
|
1 | Anthony J. Bonner, Michael Kifer |
Concurrency and Communication in Transaction Logic. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Andreas Fordan, Ulrich Geske, Alexander Nareyek |
Optimizing Constraint-Intensive Problems Using Early Projection (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Anthony J. Kusalik, Steven D. Prestwich |
Visualizing Parallel Logic Program Execution for Performance Tuning. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Chandrabose Aravindan, Peter Baumgartner 0001, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg |
On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Moreno Falaschi, Patrick Hicks, William H. Winsborough |
Demand Transformation Analysis for Concurrent Constraint Programs. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Konstantinos Sagonas, Terrance Swift, David Scott Warren |
An Abstract Machine for Computing the Well-Founded Semantics. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Michael Dobrohoczki, Anthony J. Kusalik, Eric Neufeld |
Colour Tagging for Prolog Visualization (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Olivier Ridoux |
Engineering Transformations of Attributed Grammars in LambdaProlog. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Enrico Pontelli, Gopal Gupta 0001 |
Dependent And-Parallelism Revisited (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Gilles Dowek, Thérèse Hardin, Claude Kirchner, Frank Pfenning |
Unification via Explicit Substitutions: The Case of Higher-Order Patterns. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Prasad Rao, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
A Thread in Time Saves Tabling Time. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Kish Shen |
Initial Results of the Parallel Implementation of DASWAM. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Stefan Lüttringhaus-Kappel, Dirk Schulz 0001 |
Applications of Efficient Lazy Set Expression (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Lee Naish |
A Declarative View of Modes. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Pierre Deransart, Patrick Parot, Roberto da Silva Bigonha, José de Siqueira |
A Hypertext Based Environment to Write Literate Logic Programs (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Matteo Baldoni, Laura Giordano 0001, Alberto Martelli |
A Framework for a Modal Logic Programming. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Gilberto Filé, Francesco Ranzato |
Complementation of Abstract Domains made Easy. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Olivier Lhomme, Arnaud Gotlieb, Michel Rueher, Patrick Taillibert |
Boosting the Interval Narrowing Algorithm. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Rolf Schwitter, Norbert E. Fuchs |
Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Kenta Cho 0003, Kazunori Ueda |
Diagnosing Non-Well-Moded Concurrent Logic Programs. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | M. R. K. Krishna Rao |
Completeness Results for Basic Narrowing in Non-Copying Implementations. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Michael Jampel, Jean-Marie Jacquet, David R. Gilbert |
A General Framework for Integrating HCLP and PCSP (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco |
Asserting Lemmas in the Stable Model Semantics. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye |
A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli |
A Linear Logic Calculus Objects. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Frédéric Mesnard |
Inferring Left-terminating Classes of Queries for Constraint Logic Programs. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Alberto Pettorossi, Maurizio Proietti, Sophie Renault |
How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Thomas H. Kolbe |
Recognition of 3D Objects in Aerial Images on Generic Models (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Liem Ngo |
Probabilistic Disjunctive Deductive Databases (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Juliana Freire, Terrance Swift, David Scott Warren |
Logic Programming and Databases Integrated at Last? (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Sandro Etalle, Frank Teusink |
A Compositional Semantics for Normal Open Programs. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Neng-Fa Zhou |
A Novel Implementation Method of Delay. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Michael Leuschel, Danny De Schreye, D. Andre de Waal |
A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Hendrik Decker |
An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Andreas Hamfelt, Jørgen Fischer Nilsson |
Declarative Logic Programming with Primitive Recursive Relations on Lists. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Michael J. Maher (eds.) |
Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996 |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Ulrich Neumerkel |
Interprocedural Register Allocation for the WAM based on Source to Source Transformations. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Ulrich Zukowski, Burkhard Freitag |
Adding Flexibility to Query Evaluation for Modularly Stratified Databases. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Jichang Tan, I-Peng Lin |
Type Synthesis for Logic Programs. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Gerhard Wetzel, Robert A. Kowalski, Francesca Toni |
PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Chiaki Sakama, Katsumi Inoue |
Representing Priorities in Logic Programs. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Naoyuki Tamura, Yukio Kaneda |
Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Sven-Erik Bornscheuer |
Generating Rational Models (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Jean-Francois Puget |
Constraint Programming (Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Yves Caseau, François Laburthe |
Cumulative Scheduling with Task Intervals. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Ulrich Neumerkel |
GUPU: A Prolog Course Environment and its Programming Methodology (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Philippe Refalo, Pascal Van Hentenryck |
CLP(Rlin) Revised. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Shekhar Pradhan |
Logic Programs with Contested Information. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Mireille Ducassé, Jacques Noyé |
Tracing Prolog without a Tracer (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Wolfram Burgard, Armin B. Cremers, Dieter Fox, Angelica Maria Kappel, Stefan Lüttringhaus-Kappel |
Logic Programming Tools Applied to Fire Detection in Hard-coal Mines (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Michael Thielscher |
A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | François Bry |
A Compositional Semantics for Logic Programs and Deductive Databases. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | H. Lewis Chau |
Specification of Complex Systems with Definite Clause Grammar (Poster Abstract). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Ilkka Niemelä, Patrik Simons |
Efficient Implementation of the Well-founded and Stable Model Semantics. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap |
Effectiveness of Optimizing Compilation for CLP(R). |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Pawel Cholewinski, Miroslaw Truszczynski |
Extremal Problems in Logic Programming and Stable Model Computation. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
1 | Judea Pearl |
Empirical Semantics for Defeasible Databases. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Hélène Kirchner, Christophe Ringeissen |
A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Baudouin Le Charlier, Pascal Van Hentenryck |
Reexecution in Abstract Interpretation of Prolog. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Nicola Olivetti |
Negation as Failure in Intuitionistic Logic Programming. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Weidong Chen 0005, David Scott Warren |
A Goal-Oriented Approach to Computing Well Founded Semantics. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Ken Satoh, Noboru Iwayama |
A Query Evaluation Method for Abductive Logic Programming. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | François Bronsard, T. K. Lakshman, Uday S. Reddy |
A Framework of Directionality for Proving Termination of Logic Programs. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Gert Smolka, Ralf Treinen |
Records for Logic Programming. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
The Stable Models of a Predicate Logic Program. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo |
Implementing a Lazy Functional Logic Language with Disequality Constraints. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Ta Chen, I. V. Ramakrishnan, R. Ramesh 0001 |
Multistage Indexing Algorithms for Speeding Prolog Execution. (final version: SP&E 24(12): 1097-1119 (1994)) |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Krzysztof R. Apt (eds.) |
Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992 |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | José Júlio Alferes, Luís Moniz Pereira |
On Logic Program Semantics with Two Kinds of Negation. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | James Harland |
On Normal Forms and Equivalence for Logic Programs. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher |
Equational Logic Programming Actions, and Change. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | R. Sundararajan, A. V. S. Sastry, Evan Tick |
Variable Threadedness Analysis for Concurrent Logic Programs. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Bruno Dumant |
hecking the Soundness of Resolution Schemes. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Piero A. Bonatti |
Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. (long version: JLP 22(2): 91-149 (1995)) |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Fangqing Dong, Laks V. S. Lakshmanan |
Deductive Databases with Incomplete Information. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Michael Hanus |
On the Completeness of Residuation. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Geraint A. Wiggins |
Synthesis and Transformation of Logic Programs in the Whelk Proof Development System. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Marc Denecker, Danny De Schreye |
SLDNFA: An Abductive Procedure for Normal Abductive Programs. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | David Gudeman, Koenraad De Bosschere, Saumya K. Debray |
jc: An Efficient and Portable Sequential Implementation of Janus. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | K. Mani Chandy, Carl Kesselman |
The Derivation of Compositional Programs. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Livio Colussi, Elena Marchiori |
A Predicate Transformer for Unification. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Michele Bugliesi |
A Declarative View of Inheritance in Logic Programming. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Melvin Fitting |
Many-Valued Semantics for Logic Programming. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Salvador Abreu, Luís Moniz Pereira, Philippe Codognet |
Improving Backward Execution in the Andorra Family of Languages. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Gérard Ferrand, Pierre Deransart |
Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | David B. Kemp, Peter J. Stuckey, Divesh Srivastava |
Query Restricted Bottom-Up Evaluation of Normal Logic Programs. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Taisuke Sato |
Meta-Programming through a Truth Predicate. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Nevin Heintze |
Practical Aspects of Set Based Analysis. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Frank S. de Boer, Catuscia Palamidessi |
A Process Algebra of Concurrent Constraint Programming. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Joshua S. Hodas |
Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | William J. Older, John A. Rummell |
An Incremental Garbage Collector for WAM-Based Prolog. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Jean-Marie Jacquet, Luís Monteiro |
Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Juergen Haas, Bharat Jayaraman |
Interactive Synthesis of Definite-Clause Grammars. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Serenella Cerrito |
Herbrand Methods in Sequent Calculi: Unification in LL. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Ross A. Overbeek |
Logic Programming and Genetic Sequence Analysis: a Tutorial. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Zhenyu Qian, Kang Wang |
Higher-Order E-Unification for Arbitrary Theories. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Michael Gelfond, Vladimir Lifschitz |
Representing Actions in Extended Logic Programming. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | A. S. Troelstra |
Tutorial on Linear Logic. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
1 | Raghu Ramakrishnan 0001, Divesh Srivastava, S. Sudarshan 0001 |
Controlling the Search in Bottom-Up Evaluation. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|