3573 search results - page 144 / 715 » Reasoning about Codata |
111
Voted
AIML
2004
15 years 4 months ago
2004
In this paper we give the notion of modularity of a theory and analyze some of its properties, especially for the case of action theories in reasoning about actions. We propose alg...
153
click to vote
ICAI
2003
15 years 4 months ago
2003
Reasoning about capabilities in multi-agent systems is crucial for many applications. There are two aspects of reasoning about the capabilities of an agent to achieve its goals. O...
132
Voted
DLOG
2008
15 years 4 months ago
2008
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ...
124
click to vote
JLP
2011
14 years 10 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
120
Voted
TARK
2007
Springer
15 years 9 months ago
2007
Springer
This paper provides a set-theoretic model of knowledge and unawareness, in which reasoning through theorems is employed. A new property called Awareness Leads to Knowledge shows t...