| 41 |
|
Meta-Programming in CLP(R)
|
Heintze, N
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 42 |
|
Model Generation and State Generation for Disjunctive Logic Programs
|
Seipel, D
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 43 |
|
Nondeterminism Through Well-Founded Choice
|
Chen, W
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 44 |
|
On Delphi Lemmas and Other Memoing Techniques for Deterministic Logic Programs
|
Tarau, P
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 45 |
|
On Integrating Objects and Relations Using Mutilmethods
|
Higgins, C. P
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 46 |
|
On Termination of General Logic Programs W.R.T. Constructive Negation
|
Marchiori, E
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 47 |
|
On the Design of a Correct Freeness Analysis for Logic Programs
|
Codish, M
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 48 |
|
On the Relation Between Situation Calculus and Event Calculus
|
Van Belleghem, K
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 49 |
|
Optimal Groundness Analysis Using Propositional Logic
|
Cortesi, A
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 50 |
|
Optimizing Bottom-Up Evaluation of Constraint Queries
|
Kemp, D. B
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 51 |
|
Order-sorted Feature Theory Unification
|
Ait-Kaci, H
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 52 |
|
Parallel Execution of Logic Programs by Load Sharing
|
Lin, Z
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 53 |
|
Partial Deduction in Disjunctive Logic Programming
|
Sakama, C
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 54 |
|
Polyvariant Detection of Uninitialized Arguments of Prolog Predicates
|
Lindgren, T
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 55 |
|
Prolog for Structured Character Description and Font Design
|
Duerst, M. J
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 56 |
|
Reasoning about Effects of Concurrent Actions
|
Baral, C
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 57 |
|
Reconciling the Event Calculus with the Situation Calculus
|
Kowalski, R
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 58 |
|
Representing Actions in Logic Programs and Default Theories: a SituationCalculus Approach
|
Turner, H
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 59 |
|
Representing Actions: Laws, Observations and Hypotheses
|
Baral, C
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 60 |
|
Rules as Actions: a Situation Calculus Semantics for Logic Programs
|
Lin, F
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
