Sciweavers

5243 search results - page 253 / 1049
» Reasoning About Strategies
Sort
View
AAAI
1990
15 years 7 months ago
A Circumscriptive Theory for Causal and Evidential Support
Reasoning about causality is an interesting application area of formal nonmonotonic theories. Here we focus our attention on a certain aspect of causal reasoning, namely causaZ as...
Eunok Paek
DLOG
2011
14 years 10 months ago
Two-Dimensional Description Logics of Context
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
Szymon Klarman, Víctor Gutiérrez-Bas...
OOPSLA
2004
Springer
16 years 19 hour ago
Practical predicate dispatch
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...
Todd D. Millstein
WILF
2005
Springer
124views Fuzzy Logic» more  WILF 2005»
16 years 4 days ago
Possibilistic Planning Using Description Logics: A First Step
Abstract. This paper is a first step in the direction of extending possibilistic planning to take advantage of the expressive power and reasoning capabilities of fuzzy description...
Célia da Costa Pereira, Andrea Tettamanzi
AAAI
1998
15 years 8 months ago
BIG: A Resource-Bounded Information Gathering Agent
Effective information gathering on the WWW is a complex task requiring planning, scheduling, text processing, and interpretation-style reasoning about extracted data to resolve in...
Victor R. Lesser, Bryan Horling, Frank Klassner, A...