330 search results - page 34 / 66 » An argumentation based approach for practical reasoning |
PRICAI
1998
Springer
15 years 4 months ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
ICAIL
2003
ACM
15 years 5 months ago
2003
ACM
In this paper we attempt to give an account of reasoning with legal cases contextualised within a general theory of persuasion in practical reasoning. We begin by presenting our g...
149
click to vote
MAS
1998
Springer
15 years 4 months ago
1998
Springer
A key element of any mobile code based distributed system are the security mechanisms available to protect (a) the host against potentially hostile actions of a code fragment under...
142
click to vote
AAAI
2011
13 years 11 months ago
2011
Inspired by “GoogleTM Sets” and Bayesian sets, we consider the problem of retrieving complex objects and relations among them, i.e., ground atoms from a logical concept, given...