Πλοήγηση ανά Θέμα "Defeasible reasoning"
Αποτελέσματα 1-1 από 1
-
Defeasible reasoning with e-contracts
(2007)We propose a mapping from a contract representation in Event Calculus to Default Logic. The resulting representation allows for defeasible reasoning with e-contracts, which is useful in order to determine the normative ...