Sciweavers

2303 search results - page 46 / 461
» On the logic of argumentation theory
Sort
View
IGPL
2007
149views more  IGPL 2007»
15 years 1 months ago
Logical and Philosophical Remarks on Quasi-Set Theory
Quasi-set theory is a theory for dealing with collections of indistinguishable objects. In this paper we discuss some logical and philosophical questions involved with such a theo...
Newton C. A. da Costa, Décio Krause
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 1 months ago
Propositional theories are strongly equivalent to logic programs
In this paper we show that an arbitrary propositional theory, when interpreted under the answer sets semantics (called Equilibrium Logic for this general syntax), can always be re...
Pedro Cabalar, Paolo Ferraris
CORR
2011
Springer
180views Education» more  CORR 2011»
14 years 9 months ago
Representing First-Order Causal Theories by Logic Programs
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vlad...
COMMA
2006
15 years 3 months ago
Justifying Actions by Accruing Arguments
This paper offers a logical formalisation of an argument-based account of reasoning about action, taking seriously the abductive nature of this form of reasoning. The particular qu...
Trevor J. M. Bench-Capon, Henry Prakken
AI
2007
Springer
15 years 2 months ago
Axiomatic characterization of the AGM theory of belief revision in a temporal logic
Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propo...
Giacomo Bonanno