4617 search results - page 360 / 924 » Automation of Diagrammatic Reasoning |
163
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing no...
177
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Improvement operators is a family of belief change operators that is a generalization of usual iterated belief revision operators. The idea is to relax the success property, so th...
150
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
This workpresents a newlogical characterization of well foundedsemanticsthat provides, as interesting innovation, a fully semantic-oriented treatment of programconnectives without...
167
Voted
CSL
2001
Springer
15 years 11 months ago
2001
Springer
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definabilit...
183
Voted
ICCBR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we present an adaptation-guided similarity metric based on the estimate of the number of actions between states, called ADG (Action Distance-Guided). It is determine...