466 search results - page 11 / 94 » Critical Reasoning |
IJCAI
1997
15 years 1 months ago
1997
Unfailing completion is a commonly used technique for equational reasoning. For equational problems with associative and commutative functions, unfailing completion often generate...
103
click to vote
AIPS
1994
15 years 1 months ago
1994
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
SIGMOD
1999
ACM
15 years 4 months ago
1999
ACM
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
162
click to vote
EXACT
2009
14 years 9 months ago
2009
In this paper a representative example is chosen that is meant be fairly simple for illustrating the point that in a very common kind of instance, argument and explanation are mixe...
113
Voted
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
A norm-governed agent takes social norms into account in its practical reasoning. Such norms characterise its role within a specific organisational context. By adopting a role, th...