Sciweavers

4 search results - page 1 / 1
» An Argumentation Theoretic Semantics Based on Non-Refutable ...
Sort
View
136
Voted
NMELP
1994
15 years 1 months ago
An Argumentation Theoretic Semantics Based on Non-Refutable Falsity
José Júlio Alferes, Luís Moni...
AAAI
2007
14 years 12 months ago
Towards Large Scale Argumentation Support on the Semantic Web
This paper lays theoretical and software foundations for a World Wide Argument Web (WWAW): a large-scale Web of inter-connected arguments posted by individuals to express their op...
Iyad Rahwan, Fouad Zablith, Chris Reed
ENC
2006
IEEE
15 years 1 months ago
Defining new argumentation-based semantics by minimal models
Dung's argumentation approach is a unifying approach which has played an influential role on argumentation research and Artificial Intelligence (AI). Based on a proper repres...
Juan Carlos Nieves, Ulises Cortés, Mauricio...
AI
2004
Springer
14 years 9 months ago
Order-sorted logic programming with predicate hierarchy
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
Ken Kaneiwa