121 search results - page 2 / 25 » Defeasible Logic |
ECAI
2000
Springer
13 years 9 months ago
2000
Springer
Defeasible logic is an efficient non-monotonic logic that is defined only proof-theoretically. It has potential application in some legal domains. We present here an argumentatio...
RULEML
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We introduce the DR-CONTRACT architecture to represent and reason on e-Contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of vio...
LPAR
2010
Springer
13 years 3 months ago
2010
Springer
Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We define here a defeasible logic FDL based on Ford’s logi...
ICAIL
2005
ACM
13 years 10 months ago
2005
ACM
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and temporalised normative positions. We argue about the ...
PRICAI
2000
Springer
13 years 8 months ago
2000
Springer
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the m...