2649 search results - page 53 / 530 » Temporal Theories of Reasoning |
187
click to vote
NIL
1991
15 years 3 months ago
1991
In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.
CADE
2004
Springer
16 years 4 days ago
2004
Springer
TIME
1994
IEEE
15 years 4 months ago
1994
IEEE
This paper outlines a generic, core temporal object model that provides support for the modeling of temporal object roles. This model draws from notions introduced in some of our ...
FSEN
2009
Springer
15 years 6 months ago
2009
Springer
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
123
click to vote
FUIN
2010
14 years 9 months ago
2010
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...