5243 search results - page 849 / 1049 » Reasoning About Strategies |
121
click to vote
COLING
1994
15 years 7 months ago
1994
This paper describes our work on parsing Turkish using the lexical-functional grammar formalism. This work represents the rst e ort for parsing Turkish. Our implementation is based...
164
click to vote
DIMACS
1996
15 years 7 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
148
click to vote
DAGSTUHL
1994
15 years 7 months ago
1994
Functionality-based recognition systems recognize objects at the category level by reasoning about how well the objects support the expected function. Such systems naturally assoc...
173
click to vote
SLP
1994
15 years 7 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
178
click to vote
SLP
1994
15 years 7 months ago
1994
In this paper we explore the notion of a \signing" of a logic program, in the framework of the answer set semantics. In particular, we generalize and extend the notion of a s...