1
by Alferes, Jose Julio, Moniz Pereira, Luis
Published 1996
Springer Berlin Heidelberg
Table of Contents: ...Normal logic programs -- Extended logic programs -- Why a new semantics for extended programs...

2
Published 1998
Springer Berlin Heidelberg
Table of Contents: ...Knowledge representation with logic programs -- Datalog with nested rules -- Partial evidential...

4
Published 1997
Springer Berlin Heidelberg
Table of Contents: ...Prolegomena to logic programming for non-monotonic reasoning -- On logics and semantics for general...

6
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... and explicit negation in non-monotonic reasoning and logic programming -- Only persistence makes...