543 search results - page 12 / 109 » Argumentation Using Temporal Knowledge |
ARGMAS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. A framework, PISA, for conducting dialogues to resolve disputes concerning the correct categorisation of particular cases, is described. Unlike previous systems to conduc...
ICAIL
2003
ACM
14 years 27 days ago
2003
ACM
In this paper, we introduce IBP, an algorithm that combines g with an abstract domain model and case-based reasoning techniques to predict the outcome of case-based legal argument...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
NMR
2004
Springer
14 years 1 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
EUROCRYPT
2000
Springer
13 years 11 months ago
2000
Springer
We show that if any one-way function exists, then 3-round concurrent zero-knowledge arguments for all NP problems can be built in a model where a short auxiliary string with a pres...