2214 search results - page 152 / 443 » Complexity of Reasoning |
133
click to vote
IADIS
2003
15 years 4 months ago
2003
The Web has been growing and evolving in the last couple of decades at a very high speed, causing web applications to be more and more complex. Aspect oriented programming gives u...
114
click to vote
FLAIRS
2007
15 years 5 months ago
2007
Symbolic reasoning is a well understood and effective approach to handling reasoning over formally represented knowledge; however, simple symbolic inference systems necessarily sl...
184
Voted
DLOG
2011
14 years 7 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
142
Voted
AAAI
1990
15 years 4 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
154
click to vote
EXACT
2008
15 years 5 months ago
2008
The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be...