2303 search results - page 313 / 461 » On the logic of argumentation theory |
173
click to vote
ISOLA
2007
Springer
16 years 19 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
152
click to vote
SAC
2006
ACM
16 years 13 days ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...
156
click to vote
TPHOL
2005
IEEE
16 years 2 days ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
177
click to vote
ICAIL
2005
ACM
16 years 2 days ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
174
click to vote
DALT
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper is concerned with designing architectures for rational agents. In the proposed architecture, agents have belief bases that are theories in a multi-modal, highe...