3970 search results - page 265 / 794 » A Logic For Causal Reasoning |
178
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
We propose an extension of the syntactic restriction for complex role inclusion axioms in the description logic SROIQ. Like the original restriction in SROIQ, our restrictions can ...
179
click to vote
DLOG
2010
15 years 4 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
209
click to vote
ICIW
2008
IEEE
16 years 1 months ago
2008
IEEE
—With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems....
154
click to vote
AI
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. In the context of the RoboCup Simulation League, we describe a new representation of a software agent’s visual perception (“scene”), well suited for case-based reas...
192
click to vote
MIDDLEWARE
2007
Springer
16 years 25 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...