| 21 |
|
Cuts and Side-Effects in and-or Parallel Prolog
|
Gupta, G
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 22 |
|
Directional Types and the Annotation Method
|
Boye, J
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 23 |
|
Embedding Revision Programs in Logic Programming Situation Calculus
|
Baral, C
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 24 |
|
Explicit and Implicit Indeterminism: Reasoning about Uncertain and Contradictory Specifications of Dynamic Systems
|
Bornscheuer, S.-E
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 25 |
|
Exploiting Goal Independence in the Analysis of Logic Programs
|
Codish, M
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 26 |
|
Expressiveness of Stable Model Semantics for Disjunctive Logic Programs with Functions
|
Eiter, T
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 27 |
|
Extending Negation as Failure by Abduction: A Three-Valued Stable Model Semantics
|
Giordano, L
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 28 |
|
Extending Prolog with Nonmonotonic Reasoning
|
Chen, W
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 29 |
|
From Context-Free to Definite-Clause Grammars: a Type-Theoretic Approach
|
Haas, J
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 30 |
|
GOLOG: A Logic Programming Language for Dynamic Domains
|
Levesque, H. J
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 31 |
|
Health policy
중앙도서관 대출불가(별치) 
|
|
Elsevier : Elsevier Science Pub. Co.
|
1984-
|
|
|
|
| 32 |
|
Incremental Algorithms for Optimizing Model Computation Bases on Partial, Instantiation
|
Ng, R. T
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 33 |
|
Intelligent Data Retrieval in Prolog: An Illuminating Idea
|
Ruggieri, C
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 34 |
|
Intuitionistic Deductive Databases and the Polynomial Time Hierarchy
|
Bonner, A. J
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 35 |
|
The Journal of logic programming
중앙도서관 대출불가(별치)
|
Syracuse University Logic Programming Research Center
|
Elsevier Science Pub. Co.
|
1984-2000
|
|
|
|
| 36 |
|
{log}: A Language for Programming in Logic with Finite Sets
|
Dovier, A
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 37 |
|
Logic and Algebraic Languages for Interoperability in Multidatabase Systems
|
Lakshmanan, L. V. S
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 38 |
|
Logic Programming as a Basis for Lean Automated Deduction
|
Beckert, B
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 39 |
|
Magic Sets With Full Sharing
|
Azevedo, P. J
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
| 40 |
|
Matching of Bounded Set Terms in the Logic Language LDL^+^+
|
Arni, N
|
Elsevier Science Pub. Co
|
1980
|
|
|
|
