846 search results - page 53 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
101
click to vote
AAMAS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
122
Voted
CVPR
2011
IEEE
14 years 7 months ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
129
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: The Cell Ontology (CL) is an ontology for the representation of in vivo cell types. As biological ontologies such as the CL grow in complexity, they become increasingl...
104
click to vote
ECAI
2008
Springer
15 years 27 days ago
2008
Springer
Many real-world applications of AI require both probability and first-order logic to deal with uncertainty and structural complexity. Logical AI has focused mainly on handling com...
106
click to vote
CSL
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ï...