1650 search results - page 120 / 330 » The HOM problem is decidable |
156
click to vote
AIML
2008
15 years 5 months ago
2008
Arbitrary public announcement logic (APAL) is an extension of multi-agent epistemic logic that allows agents' knowledge states to be updated by the public announcement of (pos...
117
click to vote
DLOG
2001
15 years 5 months ago
2001
We combine the description logic ALC with the metric logics defined Entities that are conceived of as abstract points in the realm of ALC are given a spatial extension via an `ext...
149
click to vote
IJCAI
2003
15 years 5 months ago
2003
Cyclic definitions in description logics have until now been investigated only for description logics allowing for value restrictions. Even for the most basic language which allow...
151
Voted
WSCG
2004
15 years 5 months ago
2004
Detecting faces in images with complex background is a difficult task. To solve this problem we decided to use modified gradient method with oval object detection. This method is ...
129
click to vote
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...