Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
IFM
2009
Springer
183views Formal Methods» more  IFM 2009»
11 years 9 months ago
Challenges in the Specification of Full Contracts
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
Gordon J. Pace, Gerardo Schneider
DAGSTUHL
2007
12 years 1 months ago
Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic
Abstract. While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An ...
Régis Riveret, Antonino Rotolo, Guido Gover...
books