Sciweavers

Share
FOAL
2007
ACM

Aspects and modular reasoning in nonmonotonic logic

11 years 10 months ago
Aspects and modular reasoning in nonmonotonic logic
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic logic which deserves further study. As a concrete technical contribution and "appetizer", we outline an AO semantics defined in default logic (a form of nonmonotonic logic), propose a definition of modular reasoning, and show that the default logic version of the language semantics admits modular reasoning whereas a conventional language semantics based on weaving does not.
Klaus Ostermann
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2007
Where FOAL
Authors Klaus Ostermann
Comments (0)
books