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 1996
Springer Berlin Heidelberg
Table of Contents: ... and explicit negation in non-monotonic reasoning and logic programming -- Only persistence makes...

3
Published 2016
Springer International Publishing
.... It is devoted to rule-based programming and rule-based systems including production rule systems, logic...