2395 search results - page 105 / 479 » Reasoning in Semantic Wikis |
108
click to vote
LICS
1998
IEEE
15 years 8 months ago
1998
IEEE
In his well-known paper \How computer should think" ( Be77b]) Belnap argues that four-valued semantics is a very suitable setting for computerized reasoning. In this paper we...
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
This paper argues that a significant part of today’s Semantic Web research is still dominated by ideas from centralized databases. Furthermore, the main thread of reasoning rese...
156
click to vote
LPNMR
1999
Springer
15 years 8 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
148
Voted
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...
119
click to vote
TIME
2002
IEEE
15 years 9 months ago
2002
IEEE
Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant finite autom...