Sciweavers

7075 search results - page 94 / 1415
» Models and heterogeneous reasoning
Sort
View
ESWS
2008
Springer
15 years 1 months ago
Finite Model Reasoning in DL-Lite
Riccardo Rosati
IJCAI
1993
15 years 25 days ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff