Krzysztof R. Apt
Proceedings of the Joint International Ninth Conference and Symposium on Logic Programming
JICSLP, 1992.

@proceedings{JICSLP-1992,
	address       = "Washington, District of Columbia, USA",
	editor        = "Krzysztof R. Apt",
	isbn          = "0-262-51064-2",
	publisher     = "{MIT Press}",
	title         = "{Proceedings of the Joint International Ninth Conference and Symposium on Logic Programming}",
	year          = 1992,
}

Contents (58 items)

27 ×#logic programming
15 ×#source code
7 ×#semantics
5 ×#analysis
5 ×#prolog
4 ×#concurrent
4 ×#logic
4 ×#proving
3 ×#constraints
3 ×#database

JICSLP-1992-ChandyK #composition #source code

The Derivation of Compositional Programs (KMC, CK), pp. 3–17.

JICSLP-1992-Pearl #database #empirical #semantics

Empirical Semantics for Defeasible Databases (JP), pp. 18–20.

JICSLP-1992-Fitting #logic programming #semantics

Many-Valued Semantics for Logic Programming (MF), pp. 23–24.

JICSLP-1992-Tick #concurrent #logic programming #tutorial

Advanced Tutorial: Concurrent Logic Programming (ET), p. 25.

JICSLP-1992-Abiteboul #database #deduction #object-oriented

Deductive and Object-Oriented Databases (SA), pp. 26–29.

JICSLP-1992-Troelstra #linear #logic #tutorial

Tutorial on Linear Logic (AST), pp. 30–31.

JICSLP-1992-Overbeek #analysis #logic programming #search-based #sequence #tutorial

Logic Programming and Genetic Sequence Analysis: a Tutorial (RAO), pp. 32–34.

JICSLP-1992-Dumant

Checking the Soundness of Resolution Schemes (BD), pp. 37–51.

JICSLP-1992-QianW #higher-order

Higher-Order E-Unification for Arbitrary Theories (ZQ, KW), pp. 52–66.

JICSLP-1992-ColussiM #unification

A Predicate Transformer for Unification (LC, EM), pp. 67–81.

JICSLP-1992-RouzaudN #prolog #type system

Integrating Modes and Subtypes into a Prolog Type-Checker (YR, LNP), pp. 85–97.

JICSLP-1992-JacquetM #communication #logic programming #towards

Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming (JMJ, LM), pp. 98–112.

JICSLP-1992-Bugliesi #declarative #inheritance #logic programming

A Declarative View of Inheritance in Logic Programming (MB), pp. 113–127.

JICSLP-1992-GabbrielliLM #logic programming #source code

Observational Equivalences for Logic Programs (MG, GL, MCM), pp. 131–145.

JICSLP-1992-Harland #equivalence #logic programming #normalisation #on the #source code

On Normal Forms and Equivalence for Logic Programs (JH), pp. 146–160.

JICSLP-1992-FerrandD #correctness #logic programming #proving #source code

Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs (GF, PD), pp. 161–174.

JICSLP-1992-GrosseHSST #equation #logic programming

Equational Logic Programming Actions, and Change (GG, SH, JS, UCS, MT), pp. 177–191.

JICSLP-1992-Hanus #on the

On the Completeness of Residuation (MH), pp. 192–206.

JICSLP-1992-KuchenLMR #constraints #functional #implementation #lazy evaluation #logic

Implementing a Lazy Functional Logic Language with Disequality Constraints (HK, FJLF, JJMN, MRA), pp. 207–221.

JICSLP-1992-KirchnerR #algebra #algorithm #constraints #finite #theorem proving #unification

A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms (HK, CR), pp. 225–239.

JICSLP-1992-SmolkaT #logic programming

Records for Logic Programming (GS, RT), pp. 240–254.

JICSLP-1992-MamedeM #logic programming #reasoning #taxonomy

A Contraint Logic Programming Scheme for Taxonomic Reasoning (MM, LM), pp. 255–269.

JICSLP-1992-RamakrishnanSS #bottom-up #evaluation

Controlling the Search in Bottom-Up Evaluation (RR, DS, SS), pp. 273–287.

JICSLP-1992-KempSS #bottom-up #evaluation #logic programming #query #source code #strict

Query Restricted Bottom-Up Evaluation of Normal Logic Programs (DBK, PJS, DS), pp. 288–302.

JICSLP-1992-DongL #database #deduction

Deductive Databases with Incomplete Information (FD, LVSL), pp. 303–317.

JICSLP-1992-BronsardLR #framework #logic programming #proving #source code #termination

A Framework of Directionality for Proving Termination of Logic Programs (FB, TKL, USR), pp. 321–335.

JICSLP-1992-GrogerP #automation #logic programming #proving #recursion #source code #termination

Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs (GG, LP), pp. 336–350.

JICSLP-1992-Wiggins #development #logic programming #proving #source code #synthesis

Synthesis and Transformation of Logic Programs in the Whelk Proof Development System (GAW), pp. 351–365.

JICSLP-1992-OlderR #garbage collection #incremental #prolog

An Incremental Garbage Collector for WAM-Based Prolog (WJO, JAR), pp. 369–383.

JICSLP-1992-AbreuPC #execution #product line

Improving Backward Execution in the Andorra Family of Languages (SA, LMP, PC), pp. 384–398.

JICSLP-1992-GudemanBD #implementation #named #performance

jc: An Efficient and Portable Sequential Implementation of Janus (DG, KDB, SKD), pp. 399–413.

JICSLP-1992-Bonatti #framework #logic #logic programming #semantics #source code

Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs (PAB), pp. 417–430.

JICSLP-1992-GiordanoO #logic programming

Negation as Failure in Intuitionistic Logic Programming (LG, NO), pp. 431–445.

JICSLP-1992-MarekNR #logic programming #modelling

The Stable Models of a Predicate Logic Program (VWM, AN, JBR), pp. 446–460.

JICSLP-1992-BoerP #algebra #concurrent #constraints #process #programming

A Process Algebra of Concurrent Constraint Programming (FSdB, CP), pp. 463–477.

JICSLP-1992-KingS #analysis #concurrent #logic programming #source code

Schedule Analysis of Concurrent Logic programs (AK, PS), pp. 478–492.

JICSLP-1992-SundararajanST #analysis #concurrent #logic programming #source code #thread

Variable Threadedness Analysis for Concurrent Logic Programs (RS, AVSS, ET), pp. 493–508.

JICSLP-1992-MartensS #metaprogramming #semantics

A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming (BM, DDS), pp. 511–525.

JICSLP-1992-Sato #metaprogramming

Meta-Programming through a Truth Predicate (TS), pp. 526–540.

JICSLP-1992-HaasJ #definite clause grammar #interactive #synthesis

Interactive Synthesis of Definite-Clause Grammars (JH, BJ), pp. 541–555.

JICSLP-1992-GelfondL #logic programming #representation

Representing Actions in Extended Logic Programming (MG, VL), pp. 559–573.

JICSLP-1992-AlferesP #logic programming #on the #semantics

On Logic Program Semantics with Two Kinds of Negation (JJA, LMP), pp. 574–588.

JICSLP-1992-ChenW #approach #semantics

A Goal-Oriented Approach to Computing Well Founded Semantics (WC, DSW), pp. 589–603.

JICSLP-1992-Cerrito #calculus #ll #unification

Herbrand Methods in Sequent Calculi: Unification in LL (SC), pp. 607–621.

JICSLP-1992-Hodas #dependence #logic programming #programming language #semiparsing #specification

Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language (JSH), pp. 622–636.

JICSLP-1992-ChenRR #algorithm #execution #multi #prolog

Multistage Indexing Algorithms for Speeding Prolog Execution (TC, IVR, RR), pp. 639–653.

JICSLP-1992-DebrayKP

Weighted Decision Trees (SKD, SK, MP), pp. 654–668.

JICSLP-1992-SatohI #abduction #evaluation #logic programming #query

A Query Evaluation Method for Abductive Logic Programming (KS, NI), pp. 671–685.

JICSLP-1992-DeneckerS #abduction #named #source code

SLDNFA: An Abductive Procedure for Normal Abductive Programs (MD, DDS), pp. 686–700.

JICSLP-1992-Szeredi #optimisation #problem

Exploiting Or-Parallelism in Optimisation Problems (PS), pp. 703–716.

JICSLP-1992-Shen #prolog

Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS) (KS), pp. 717–731.

JICSLP-1992-BigotDM #abstract interpretation #analysis #comprehension #using

Understanding Finiteness Analysis Using Abstract Interpretation (PAB, SKD, KM), pp. 735–749.

JICSLP-1992-CharlierH #abstract interpretation #prolog

Reexecution in Abstract Interpretation of Prolog (BLC, PVH), pp. 750–764.

JICSLP-1992-Heintze #analysis #aspect-oriented #set

Practical Aspects of Set Based Analysis (NH), pp. 765–779.

JICSLP-1992-BrogiLMM #logic programming #source code

Normal Logic Programs as Open Positive Programs (AB, EL, PM, PM), pp. 783–797.

JICSLP-1992-Dix #logic programming #semantics #source code

Classifying Semantics of Disjunctive Logic Programs (JD), pp. 798–812.

JICSLP-1992-Ben-EliyahuD #logic programming #source code

Propositional Sematics for Disjunctive Logic Programs (RBE, RD), pp. 813–827.

JICSLP-1992-Mitchell #architecture #logic #physics #programming

The Logic of Architecture: Programming the Invention of Physical Artifacts (WJM), pp. 831–846.