2035 search results - page 81 / 407 » On the complexity of stratified logics |
208
click to vote
EEF
2000
15 years 9 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...
171
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Learning event models from videos has applications ranging from abnormal event detection to content based video retrieval. Relational learning techniques such as Inductiv...
135
click to vote
CORR
1998
Springer
15 years 5 months ago
1998
Springer
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclass...
171
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Recent years have seen the advent of large and complex ontologies, most notably in the medical domain. As a consequence, structuring mechanisms for ontologies are nowadays viewed ...
179
click to vote
COCO
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a simple game family, called Constraint Logic, where players reverse edges in a directed graph while satisfying vertex in-flow constraints. This game family can be in...