3053 search results - page 78 / 611 » A Logic of Abstract Argumentation |
156
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
157
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The HalpernShoham logic is a modal logic of time intervals. Some eort has been put in last ten years to classify fragments of this beautiful logic with respect to decid...
172
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
140
click to vote
JANCL
2008
15 years 6 months ago
2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
145
click to vote
IGPL
2007
15 years 6 months ago
2007
In the School of Mathematical Sciences at Queen Mary in the University of London we have been running a module that teaches the students to write good mathematical English. The mo...