ECAI
1992
Springer
14 years 3 months ago
1992
Springer
ECAI
1992
Springer
14 years 3 months ago
1992
Springer
The literature on the nature and representation of time is full of disputes and contradictory theories. This is surprising since the nature of time does not cause any worry for pe...
ECAI
1992
Springer
14 years 3 months ago
1992
Springer
We consider non-Horn Deductive Data Bases (DDB) represented in a First Order language without function symbols. In this context the DDB is an incomplete description of the world. ...
ECAI
1992
Springer
14 years 3 months ago
1992
Springer
Just as the order defined by generality over concepts allows concept induction to be performed without generalisation/specialisation operators, so too the order defined by set inc...
ECAI
1992
Springer
14 years 3 months ago
1992
Springer
We introduce a deductive planning system intended to supply intelligent help systems. It consists of a deductive planner and a plan reuse component, providing planning from rst as...