2308 search results - page 224 / 462 » Representing Symbolic Reasoning |
182
click to vote
TARK
2007
Springer
16 years 21 days ago
2007
Springer
Most work in game theory assumes that players are perfect reasoners and have common knowledge of all significant aspects of the game. In earlier work [Halpern and Rˆego 2006], w...
169
click to vote
KBSE
2006
IEEE
16 years 18 days ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
162
click to vote
TIME
2005
IEEE
16 years 4 days ago
2005
IEEE
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...
158
click to vote
TIME
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
195
click to vote
ASP
2005
Springer
16 years 4 days ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...