3793 search results - page 253 / 759 » Expressive Description Logics |
136
click to vote
IJCAI
2007
15 years 8 months ago
2007
A key issue in artificial intelligence lies in finding the amount of input detail needed to do successful learning. Too much detail causes overhead and makes learning prone to ove...
220
click to vote
COMPASS
1994
15 years 10 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
171
click to vote
JLP
2000
15 years 6 months ago
2000
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
179
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
171
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...