528 search results - page 71 / 106 » Epistemic Logic and Planning |
DEON
2004
Springer
14 years 1 months 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...
LPNMR
2004
Springer
14 years 1 months 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...
HAIS
2011
Springer
12 years 11 months ago
2011
Springer
The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...
VLDB
1994
ACM
13 years 11 months ago
1994
ACM
Physical data independence is touted as a central feature of modern database systems. Both relational and object-oriented systems, however, force users to frame their queries in t...
AAMAS
2008
Springer
13 years 7 months ago
2008
Springer
This article introduces a new theory of intention representation which is based1 on a structure called a Dynamic Intention Structure (DIS). The theory of DISs was motivated2 by the...