4617 search results - page 277 / 924 » Automation of Diagrammatic Reasoning |
161
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
This article provides an experimental analysis of the possibilistic handling of default rules. Three different nonmonotonic consequence relations are considered: minimum specifici...
183
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
163
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
174
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...
167
click to vote
AAAI
1996
15 years 8 months ago
1996
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...