1036 search results - page 11 / 208 » Incompleteness of Behavioral Logics |
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
Schema merging is the process of consolidating multiple schemas into a unified view. The task becomes particularly challenging when the schemas are highly heterogeneous and autono...
EUSFLAT
2007
13 years 10 months ago
2007
One of the main problems in soccer is to coordinate in real time scale collective behavior of team members, who solve a common task by solving individual tasks. The specificity of...
BIRTHDAY
2008
Springer
13 years 10 months ago
2008
Springer
We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropri...
DLOG
2011
13 years 3 days ago
2011
Abstract. The pressing need for scalable query answering has motivated the development of many incomplete ontology-based reasoners. Improving the completeness of such systems witho...
AAAI
2010
13 years 10 months ago
2010
A General Game Player is a system that can play previously unknown games given nothing but their rules. The Game Description Language (GDL) has been developed as a highlevel knowl...