1269 search results - page 138 / 254 » Pi-Calculus in Logical Form |
144
click to vote
SWAP
2008
15 years 6 months ago
2008
The definition of new concepts or roles for which extensional knowledge become available can turn out to be necessary to make a DL ontology evolve. In this paper we reformulate thi...
125
click to vote
AAAI
1997
15 years 6 months ago
1997
This paper presents a logical account of sensor data assimilation in a mobile robot, based on abduction. Unlike previous work, the present formulation handles sensor noise as well...
136
click to vote
AAAI
1996
15 years 6 months ago
1996
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot's limited window on the world, and uncertain, due t...
126
click to vote
ACL
1992
15 years 6 months ago
1992
Aspects of semantic interpretation, such as quantifier scoping and reference resolution, are often realised computationally by non-monotonic operations involving loss of informati...
126
click to vote
COLING
1992
15 years 6 months ago
1992
This paper focuses on a theory of tense and aspect (the representation of time in natural language) that attempts a formM representation of the relevant liltguistic devices as imp...