4595 search results - page 276 / 919 » Reasoning about Plans |
179
click to vote
AIML
2004
15 years 8 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...
192
click to vote
DLOG
2008
15 years 8 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 ...
195
click to vote
JLP
2011
15 years 2 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...
199
click to vote
DEON
2004
Springer
16 years 24 days ago
2004
Springer
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
212
click to vote
LPNMR
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...