PRICAI
1998
Springer
13 years 12 months ago
1998
Springer
Weaddress the general problemof finding algorithms for efficient, qualitative, point-basedtemporalreasoning over a set of operations. Weconsider general reasonerstailored for temp...
KI
1998
Springer
13 years 12 months ago
1998
Springer
KI
1998
Springer
13 years 12 months ago
1998
Springer
Case-based approaches are employed within a multitude of application areas one of which is the prediction of dynamic behaviour. Given a situation the possible development after a ...
KI
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. In Distributed Problem-solving (DPS) systems a group of purposefully designed computational agents interact and co-ordinate their activities so as to jointly achieve a gl...
KI
1998
Springer
13 years 12 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
KI
1998
Springer
13 years 12 months ago
1998
Springer
JELIA
1998
Springer
13 years 12 months ago
1998
Springer
Successor state axioms are an optimal solution to the famous Frame Problem in reasoning about actions--but only as far as its representational aspect is concerned. We show how by g...
JELIA
1998
Springer
13 years 12 months ago
1998
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic with exponentials. In the process we elaborate a methodology for proving mat...
JELIA
1998
Springer
13 years 12 months ago
1998
Springer
Generalization is a fundamental operation of inductive inference. While rst order syntactic generalization anti-uni cation is well understood, its various extensions are needed in...
JELIA
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...