891 search results - page 13 / 179 » Towards Reasoning Pragmatics |
120
Voted
HT
2003
ACM
15 years 7 months ago
2003
ACM
Through scenarios in the popular press and technical papers in the research literature, the promise of the Semantic Web has raised a number of different expectations. These expect...
102
Voted
APSEC
2003
IEEE
15 years 5 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...
128
Voted
JANCL
2007
15 years 1 months ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...
113
Voted
FLAIRS
2009
14 years 11 months ago
2009
This paper presents an approach to creating flexible general-logic representations from language for use in high-level reasoning tasks in cognitive modeling. These representations...
104
click to vote
IJCAI
2007
15 years 3 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...