Volume 12; Issue 1-2

1

Introduction

Year:
1994
Language:
english
File:
PDF, 68 KB
english, 1994
2

Overview of disjunctive logic programming

Year:
1994
Language:
english
File:
PDF, 2.03 MB
english, 1994
3

Negation as failure for disjunctive logic programming

Year:
1994
Language:
english
File:
PDF, 1.35 MB
english, 1994
4

Propositional semantics for disjunctive logic programs

Year:
1994
Language:
english
File:
PDF, 2.15 MB
english, 1994
5

Logic programming and reasoning with incomplete information

Year:
1994
Language:
english
File:
PDF, 1.67 MB
english, 1994
6

Avoiding duplicate proofs with the foothold refinement

Year:
1994
Language:
english
File:
PDF, 1.33 MB
english, 1994