1636 search results - page 21 / 328 » Reasoning About Quantum Systems |
IAT
2009
IEEE
15 years 5 months ago
2009
IEEE
—We present a first effort to integrate NLP with ASP for autonomous agents, especially service robots, communicating with humans. We implemented a prototype system and tested it...
129
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
131
click to vote
ATAL
1999
Springer
15 years 6 months ago
1999
Springer
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...
133
click to vote
IAAI
2003
15 years 3 months ago
2003
Sketch maps are an important spatial representation used in many geospatial reasoning tasks. This paper describes techniques we have developed that enable software to perform huma...
93
Voted
CAV
2008
Springer
15 years 3 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...