Commonsense and Nonmonotonic Reasoning: A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving

Authors
T.I.Schaub
Citation
T.i.schaub, Commonsense and Nonmonotonic Reasoning: A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving, Journal of automated reasoning , 15(1), 1995, pp. 95-165
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
15
Issue
1
Year of publication
1995
Pages
95 - 165
Database
ACNP
SICI code