Sciweavers

2303 search results - page 36 / 461
» On the logic of argumentation theory
Sort
View
COMMA
2006
15 years 7 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 6 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 7 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
IJCAI
2003
15 years 7 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
15 years 3 months ago
On Monadic Theories of Monadic Predicates
Pioneers of logic, among them J.R. B
Wolfgang Thomas