35 search results - page 1 / 7 » Extending a Defeasible Reasoner with Modal and Deontic Logic... |
114
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...
126
click to vote
RULEML
2005
Springer
15 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...
144
Voted
AUSAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the f...
159
Voted
DEON
2010
Springer
15 years 6 months ago
2010
Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...
187
Voted
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...