| 1 |
|
A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs
|
Codish, M
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 2 |
|
A Fixpoint Characterization of Abductive Logic Programs
|
Inoue, K
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 3 |
|
Algebraic and Logical Semantics for CLP Languages With Dynamic Scheduling
|
Marriott, K
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 4 |
|
A Logical Semantics for Hypothetical Rulebases With Deletion
|
Bonner, A. J
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 5 |
|
Amalgamating Knowledge Bases, III: Algorithms, Data Structures, and Query Processing
|
Adali, S
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 6 |
|
A New Term Representation Method for Prolog
|
Li, X
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 7 |
|
A Note on Semantics of Logic Programs With Equality Based on Complete Sets of E-Unifiers
|
Degtyarev, A
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 8 |
|
A Parallel Prolog System for Distributed Memory
|
Araujo, L
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 9 |
|
A Platform for Restriction Mapping
|
Yee, C. N
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 10 |
|
Applying Interval Arithmetic to Real, Integer, and Boolean Constraints
|
Benhamou, F
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 11 |
|
A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages
|
Bigot, P. A
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 12 |
|
A Simple Declarative Language for Describing Narratives with Actions
|
Kakas, A
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 13 |
|
A Tool for Developing Interactive Configuration Applications
|
Axling, T
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 14 |
|
Characterizations of the Disjunctive Stable Semantics by Partial Evaluation
|
Brass, S
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 15 |
|
Characterizing Logic Grammars: A Substructural Logic Approach
|
Andrews, J
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 16 |
|
Compiling Constraints in clp (FD)
|
Codognet, P
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 17 |
|
Completeness of SLDNF-Resolution for Nonfloundering Queries
|
Drabent, W
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 18 |
|
Computer Support for Protocol-Based Treatment of Cancer
|
Hammond, P
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 19 |
|
Constraint Logic Programming for Examination Timetabling
|
Boizumault, P
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 20 |
|
Constructive Negation by Pruning
|
Fages, F
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
