5243 search results - page 372 / 1049 » Reasoning About Strategies |
178
click to vote
DLOG
2007
15 years 9 months ago
2007
We present a query answering technique based on notions and results from modal Correspondence Theory. It allows us to answer a wide family of conjunctive queries by polynomial redu...
204
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
Observation and communication are important aspects of agent teamwork. We employ the agent’s observability as the major means for individual agents to reason about the environme...
153
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Interval logics are an important area of computer science. Although attention has been mainly focused on unary operators, an early work by Venema (1991) introduced an expressively ...
153
click to vote
DEON
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Norms are implemented by administrative procedures. This paper addresses the delegation of control in administrative procedures. Instead of having to check all details, a...
175
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Credible case-based inference (CCBI) is a new and theoretically sound inferencing mechanism for case-based systems. In this paper, we formally investigate the level of pr...