892 search results - page 4 / 179 » Strategies in sentential reasoning |
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
ARTMED
2006
13 years 5 months ago
2006
FSTTCS
2010
Springer
13 years 3 months ago
2010
Springer
AAMAS
2011
Springer
13 years 25 days ago
2011
Springer
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...
AMT
2009
Springer
14 years 12 days ago
2009
Springer
Considering the time constraints and Web scale data, it is impossible to achieve absolutely complete reasoning results. Plus, the same results may not meet the diversity of user ne...