725 search results - page 21 / 145 » Complexity of Computing with Extended Propositional Logic Pr... |
199
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...
120
click to vote
ECSQARU
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
120
click to vote
CSL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Abduction is a fundamental mode of reasoning, which has taken on increasing importance in Artificial Intelligence (AI) and related disciplines. Computing abductive expla...
129
click to vote
IICAI
2007
15 years 3 months ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
149
click to vote
WOLLIC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...