3573 search results - page 141 / 715 » Reasoning about Codata |
133
Voted
LPNMR
2001
Springer
15 years 7 months ago
2001
Springer
Much work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, no consensus has been reac...
113
click to vote
ECSQARU
1999
Springer
15 years 7 months ago
1999
Springer
Intelligent agents embedded in physical environments need ity to connect, or anchor, the symbols used to perform abstract reasoning to the physical entities which these symbols ref...
121
click to vote
ECP
1997
Springer
15 years 7 months ago
1997
Springer
This paper concerns the problem of resource reasoning in planning. It defines formally a constraint satisfaction problem, the Time and Resource Problem (T RP), in which resource r...
133
click to vote
ENTCS
2010
15 years 3 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
156
Voted
AIA
2006
15 years 4 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...