2273 search results - page 153 / 455 » On the Expressiveness and Complexity of ATL |
CORR
2007
Springer
14 years 10 months ago
2007
Springer
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...
JCB
2002
14 years 9 months ago
2002
The use of DNA microarrays for the analysis of complex biological samples is becoming a mainstream part of biomedical research. One of the most commonly used methods compares the ...
109
Voted
ACL
2010
14 years 8 months ago
2010
Open-ended spoken interactions are typically characterised by both structural complexity and high levels of uncertainty, making dialogue management in such settings a particularly...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Abstract--Knowledge is attributed to human whose problemsolving behavior is subjective and complex. In today's knowledge economy, the need to manage knowledge produced by a co...
WWW
2011
ACM
14 years 5 months ago
2011
ACM
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“variable nominal classes”within axioms. This feature allows ontology langua...