Logic for Artificial Intelligence: 'Classical' Negation in Nonmonotonic Reasoning and Logic Programming

Authors
J.J.Alferes,L.M.Pereira,T.C.Przymusinski
Citation
J.j.alferes,l.m.pereira,t.c.przymusinski, Logic for Artificial Intelligence: 'Classical' Negation in Nonmonotonic Reasoning and Logic Programming, Journal of automated reasoning , 20(1/2), 1998, pp. 107-142
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
20
Issue
1/2
Year of publication
1998
Pages
107 - 142
Database
ACNP
SICI code