134 search results - page 4 / 27 » Argumentation-based Ranking Logics |
AMAI
2008
Springer
15 years 16 days ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
122
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
CSL
2008
Springer
15 years 2 months ago
2008
Springer
We study the expressive power of the logics EF + F-1 , 2 and boolean combinations of 1 over ranked trees. In particular, we provide effective characterizations of those three logic...
98
Voted
AI
2004
Springer
15 years 9 days ago
2004
Springer
Qualitative choice logic (QCL) is a propositional logic for representing alternative, ranked options for problem solutions. The logic adds to classical propositional logic a new c...
88
Voted
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
— We present a simple, intuitive argument based on “invariant imbedding” in the spirit of dynamic programming to derive a stagewise second-order backpropagation (BP) algorith...