|
P. M. Dung (1992): Declarative Semantics of Hypothetical Logic Programming with Negation as Failure
Title: |
Declarative Semantics of Hypothetical Logic Programming with Negation as Failure |
Author(s): |
P. M. Dung |
Year: |
1992 |
Booktitle: |
Extensinons of Logic Programming. Third Intern. Workshop. ELP'92. Bologna |
Editor(s): |
E. Lamma and P. Mello |
Month: |
Febr. 26 -- 28 |
Number: |
660 |
Pages: |
45-58 |
Publisher: |
Springer |
Address: |
Berlin [u.a.] |
Concepts
|
|