181 search results - page 3 / 37 » Planning Experiments in the DALI Logic Programming Language |
SEMWEB
2010
Springer
13 years 5 months ago
2010
Springer
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
MEMOCODE
2003
IEEE
14 years 27 days ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
AIR
2004
13 years 7 months ago
2004
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
ATAL
1999
Springer
13 years 12 months ago
1999
Springer
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...