Sciweavers

2303 search results - page 36 / 461
» On the logic of argumentation theory
Sort
View
COMMA
2006
15 years 3 months ago
The Carneades Argumentation Framework - Using Presumptions and Exceptions to Model Critical Questions
Abstract. In 2005, Gordon and Walton presented initial ideas for a computational model of defeasible argument [12, 26], which builds on and elaborates Walton's theory of argum...
Thomas F. Gordon, Douglas Walton
KES
2006
Springer
15 years 1 months ago
Solving power and trust conflicts through argumentation in agent-mediated knowledge distribution
Distributing pieces of knowledge in large, usually distributed organizations is a central problem in Knowledge and Organization management. Policies for distributing knowledge and...
Carlos Iván Chesñevar, Ramón ...
SLP
1990
76views more  SLP 1990»
15 years 3 months ago
Partial Evaluation for Hierarchies of Logic Theories
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
Michele Bugliesi, Evelina Lamma, Paola Mello
82
Voted
IJCAI
2003
15 years 3 months ago
Ordering Default Theories
In first-order logic, a theory T1 is considered stronger than another theory T2 if every formula
Chiaki Sakama
BIRTHDAY
2010
Springer
14 years 11 months ago
On Monadic Theories of Monadic Predicates
Pioneers of logic, among them J.R. B
Wolfgang Thomas