![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
9th ICLP / SLP (JICSLP) 1992: Washington, DC
- Krzysztof R. Apt:
Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992. MIT Press 1992, ISBN 0-262-51064-2
Invited Talks
- K. Mani Chandy, Carl Kesselman:
The Derivation of Compositional Programs. JICSLP 1992: 3-17 - Judea Pearl:
Empirical Semantics for Defeasible Databases. JICSLP 1992: 18-20
Advanced Tutorials
- Melvin Fitting:
Many-Valued Semantics for Logic Programming. JICSLP 1992: 23-24 - Evan Tick:
Advanced Tutorial: Concurrent Logic Programming. JICSLP 1992: 25 - Serge Abiteboul:
Deductive and Object-Oriented Databases. JICSLP 1992: 26-29 - A. S. Troelstra:
Tutorial on Linear Logic. JICSLP 1992: 30-31 - Ross A. Overbeek:
Logic Programming and Genetic Sequence Analysis: a Tutorial. JICSLP 1992: 32-34
Unification
- Bruno Dumant:
hecking the Soundness of Resolution Schemes. JICSLP 1992: 37-51 - Zhenyu Qian, Kang Wang:
Higher-Order E-Unification for Arbitrary Theories. JICSLP 1992: 52-66 - Livio Colussi, Elena Marchiori:
A Predicate Transformer for Unification. JICSLP 1992: 67-81
Programming Languages Issues
- Yann Rouzaud, Lan Nguyen-Phuong:
Integrating Modes and Subtypes into a Prolog Type-Checker. JICSLP 1992: 85-97 - Jean-Marie Jacquet, Luís Monteiro:
Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming. JICSLP 1992: 98-112 - Michele Bugliesi:
A Declarative View of Inheritance in Logic Programming. JICSLP 1992: 113-127
Verification I
- Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
Observational Equivalences for Logic Programs. JICSLP 1992: 131-145 - James Harland:
On Normal Forms and Equivalence for Logic Programs. JICSLP 1992: 146-160 - Gérard Ferrand, Pierre Deransart:
Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. JICSLP 1992: 161-174
Functions and Equations
- Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher:
Equational Logic Programming Actions, and Change. JICSLP 1992: 177-191 - Michael Hanus:
On the Completeness of Residuation. JICSLP 1992: 192-206 - 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: 207-221
Constraints
- Hélène Kirchner, Christophe Ringeissen:
A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. JICSLP 1992: 225-239 - Gert Smolka, Ralf Treinen:
Records for Logic Programming. JICSLP 1992: 240-254 - Margarida Mamede, Luís Monteiro:
A Contraint Logic Programming Scheme for Taxonomic Reasoning. JICSLP 1992: 255-269
Deductive Databases
- Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan:
Controlling the Search in Bottom-Up Evaluation. JICSLP 1992: 273-287 - David B. Kemp, Peter J. Stuckey, Divesh Srivastava:
Query Restricted Bottom-Up Evaluation of Normal Logic Programs. JICSLP 1992: 288-302 - Fangqing Dong, Laks V. S. Lakshmanan:
Deductive Databases with Incomplete Information. JICSLP 1992: 303-317
Verification II
- François Bronsard, T. K. Lakshman, Uday S. Reddy:
A Framework of Directionality for Proving Termination of Logic Programs. JICSLP 1992: 321-335 - Gerhard Gröger, Lutz Plümer:
Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs. JICSLP 1992: 336-350 - Geraint A. Wiggins:
Synthesis and Transformation of Logic Programs in the Whelk Proof Development System. JICSLP 1992: 351-365
Implementation I
- William J. Older, John A. Rummell:
An Incremental Garbage Collector for WAM-Based Prolog. JICSLP 1992: 369-383 - Salvador Abreu, Luís Moniz Pereira, Philippe Codognet:
Improving Backward Execution in the Andorra Family of Languages. JICSLP 1992: 384-398 - David Gudeman, Koenraad De Bosschere, Saumya K. Debray:
jc: An Efficient and Portable Sequential Implementation of Janus. JICSLP 1992: 399-413
Negation I
- Piero A. Bonatti:
Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. JICSLP 1992: 417-430 - Laura Giordano, Nicola Olivetti:
Negation as Failure in Intuitionistic Logic Programming. JICSLP 1992: 431-445 - V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
The Stable Models of a Predicate Logic Program. JICSLP 1992: 446-460
Concurrent Logic Programming
- Frank S. de Boer, Catuscia Palamidessi:
A Process Algebra of Concurrent Constraint Programming. JICSLP 1992: 463-477 - Andy King, Paul Soper:
Schedule Analysis of Concurrent Logic programs. JICSLP 1992: 478-492 - R. Sundararajan, A. V. S. Sastry, Evan Tick:
Variable Threadedness Analysis for Concurrent Logic Programs. JICSLP 1992: 493-508
Meta and Higher-Order Programming
- Bern Martens, Danny De Schreye:
A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming. JICSLP 1992: 511-525 - Taisuke Sato:
Meta-Programming through a Truth Predicate. JICSLP 1992: 526-540 - Juergen Haas, Bharat Jayaraman:
Interactive Synthesis of Definite-Clause Grammars. JICSLP 1992: 541-555
Negation II
- Michael Gelfond, Vladimir Lifschitz:
Representing Actions in Extended Logic Programming. JICSLP 1992: 559-573 - José Júlio Alferes, Luís Moniz Pereira:
On Logic Program Semantics with Two Kinds of Negation. JICSLP 1992: 574-588 - Weidong Chen, David Scott Warren:
A Goal-Oriented Approach to Computing Well Founded Semantics. JICSLP 1992: 589-603
Linear Logic
- Serenella Cerrito:
Herbrand Methods in Sequent Calculi: Unification in LL. JICSLP 1992: 607-621 - Joshua S. Hodas:
Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language. JICSLP 1992: 622-636
Implementation II
- Ta Chen, I. V. Ramakrishnan, R. Ramesh:
Multistage Indexing Algorithms for Speeding Prolog Execution. JICSLP 1992: 639-653 - Saumya K. Debray, Sampath Kannan, Mukul Paithane:
Weighted Decision Trees. JICSLP 1992: 654-668
Abduction
- Ken Satoh, Noboru Iwayama:
A Query Evaluation Method for Abductive Logic Programming. JICSLP 1992: 671-685 - Marc Denecker, Danny De Schreye:
SLDNFA: An Abductive Procedure for Normal Abductive Programs. JICSLP 1992: 686-700
Implementation of Parallelism
- Péter Szeredi:
Exploiting Or-Parallelism in Optimisation Problems. JICSLP 1992: 703-716 - Kish Shen:
Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS). JICSLP 1992: 717-731
Program Analysis
- Peter A. Bigot, Saumya K. Debray, Kim Marriott:
Understanding Finiteness Analysis Using Abstract Interpretation. JICSLP 1992: 735-749 - Baudouin Le Charlier, Pascal Van Hentenryck:
Reexecution in Abstract Interpretation of Prolog. JICSLP 1992: 750-764 - Nevin Heintze:
Practical Aspects of Set Based Analysis. JICSLP 1992: 765-779
Semantics
- Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello:
Normal Logic Programs as Open Positive Programs. JICSLP 1992: 783-797 - Jürgen Dix:
Classifying Semantics of Disjunctive Logic Programs. JICSLP 1992: 798-812 - Rachel Ben-Eliyahu, Rina Dechter:
Propositional Sematics for Disjunctive Logic Programs. JICSLP 1992: 813-827
Addendum
- William J. Mitchell:
The Logic of Architecture: Programming the Invention of Physical Artifacts. JICSLP 1992: 831-846
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.