Sciweavers

3053 search results - page 43 / 611
» A Logic of Abstract Argumentation
Sort
View
NMR
2004
Springer
14 years 3 months ago
Belief dynamics and defeasible argumentation in rational agents
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...
Marcelo A. Falappa, Alejandro Javier García...
LREC
2010
219views Education» more  LREC 2010»
13 years 11 months ago
Approaches to Text Mining Arguments from Legal Cases
Abstract. This paper describes recent approaches using text-mining to automatically profile and extract arguments from legal cases. We outline some of the background context and mo...
Adam Wyner, Raquel Mochales Palau, Marie-Francine ...
POPL
2008
ACM
14 years 10 months ago
Separation logic, abstraction and inheritance
Matthew J. Parkinson, Gavin M. Bierman
POPL
2005
ACM
14 years 10 months ago
Separation logic and abstraction
Matthew J. Parkinson, Gavin M. Bierman
CADE
2003
Springer
14 years 10 months ago
Equational Abstractions
José Meseguer, Miguel Palomino, Narciso Mar...