Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1145/1233833.1233841 | FOAL |
Keywords | Field | DocType |
model situation,concrete technical contribution,incomplete information,conventional language semantics,ao semantics,modular reasoning,nonmonotonic logic,language semantics,default logic version,default logic,aspect oriented programming,program analysis | Default logic,Computational logic,Programming language,Computer science,Description logic,Multimodal logic,Theoretical computer science,Non-monotonic logic,Philosophy of logic,Higher-order logic,Dynamic logic (modal logic) | Conference |
Citations | PageRank | References |
1 | 0.36 | 15 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Klaus Ostermann | 1 | 824 | 43.10 |