2649 search results - page 153 / 530 » Temporal Theories of Reasoning |
141
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
153
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
152
click to vote
CLIMA
2007
15 years 8 months ago
2007
The proof theory of multi-agent epistemic logic extended with operators for distributed knowledge is studied. Distributed knowledge of A within a group G means that A follows from ...
182
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
New semantics for numerical values given to possibility measures are provided. For epistemic possibilities, the new approach is based on the semantics of the transferable belief m...
161
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...