Sciweavers

1057 search results - page 149 / 212
» its 1998
Sort
View
KR
1998
Springer
15 years 1 months ago
Specifying Transactions for Extended Abduction
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
Katsumi Inoue, Chiaki Sakama
KR
1998
Springer
15 years 1 months ago
On Measuring Plan Quality (A Preliminary Report)
By using an example from a robot navigating domain, we argue that to specify declaratively the behavior of an agent, we need to have a formal and explicit notion of \quality plans...
Fangzhen Lin
KR
1998
Springer
15 years 1 months ago
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
Gerhard Lakemeyer, Hector J. Levesque
LACL
1998
Springer
15 years 1 months ago
Strict Compositionality and Literal Movement Grammars
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...
Marcus Kracht
MABS
1998
Springer
15 years 1 months ago
Towards Modeling Other Agents: A Simulation-Based Study
In this paper, we present some of our ongoing experimental research towards investigating advantages of modeling other agents in multiagent environments. We attempt to quantify the...
Leonardo Garrido-Luna, Ramón F. Brena, Kati...