Sciweavers

4978 search results - page 15 / 996
» Logical models of argument
Sort
View
84
Voted
FOSSACS
2005
Springer
15 years 3 months ago
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
Lutz Schröder
66
Voted
WOLLIC
2009
Springer
15 years 4 months ago
Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
Katsuhiko Sano
AAAI
2008
15 years 18 days ago
Reasoning about the Appropriateness of Proponents for Arguments
Formal approaches to modelling argumentation provide ways to present arguments and counterarguments, and to evaluate which arguments are, in a formal sense, warranted. While these...
Anthony Hunter
89
Voted
IJAR
2008
129views more  IJAR 2008»
14 years 10 months ago
Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...
Teresa Alsinet, Carlos Iván Chesñeva...
72
Voted
EPIA
1995
Springer
15 years 1 months ago
Arguments and Defeat in Argument-Based Nonmonotonic Reasoning
Abstract. Argument-based formalisms are gaining popularity as models of nonmonotonic reasoning. Central in such formalisms is a notion of argument. Arguments are formal reconstruct...
Bart Verheij