233 search results - page 11 / 47 » Knowledge and modality |
ATAL
1999
Springer
15 years 1 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...
CADUI
2006
14 years 11 months ago
2006
Since R. Bolt's seminal "Put that there" demonstrator, more and more robust and innovative modalities can be used and empirical work on the usage of multiple modalit...
92
Voted
ATAL
2010
Springer
14 years 9 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
JOLLI
2006
14 years 9 months ago
2006
We propose a novel interpretation of natural-language questions using a modal predicate logic of knowledge. Our approach brings standard model-theoretic and proof-theoretic techniq...
SEMCO
2007
IEEE
15 years 3 months ago
2007
IEEE
Recognizing textual entailment (TE) is a complex task involving knowledge from many different sources. One major source of information in this task is event factuality, since the ...