2386 search results - page 185 / 478 » Representing and Reasoning with Preferences |
LPNMR
2009
Springer
15 years 4 months ago
2009
Springer
We apply ASP to model validation in a CASE setting, where models are UML class diagrams and object diagrams are called “snapshots”. We present the design and implementation of ...
RR
2007
Springer
15 years 4 months ago
2007
Springer
This work presents a visualization algorithm for defeasible logic rule bases as well as a software tool that applies this algorithm, according to which, a directed graph is produce...
83
Voted
ICAIL
2005
ACM
15 years 3 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 ...
RULEML
2005
Springer
15 years 3 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...
81
Voted
CSL
2004
Springer
15 years 3 months ago
2004
Springer
Interpretation of Proofs: Classical Propositional Calculus Martin Hyland DPMMS, Centre for Mathematical Sciences, University of Cambridge, England Representative abstract interpret...