1814 search results - page 145 / 363 » Extended First-Order Logic |
133
Voted
LPNMR
2001
Springer
15 years 8 months ago
2001
Springer
Much work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, no consensus has been reac...
117
click to vote
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents a method for redundancy identification (RID) using multi-node logic implications. The algorithm discovers a large number of direct and indirect implications b...
106
Voted
JELIA
1990
Springer
15 years 7 months ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
117
Voted
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
We extend the propositional dynamic logic PDL of Fischer and Ladner with a restricted kind of recursive programs using the formalism of visibly pushdown automata (Alur, Madhusudan...
144
Voted
IJCAI
2001
15 years 4 months ago
2001
We are interested in semantical underpinnings for existing approaches to preference handling in extended logic programming (within the framework of answer set programming). As a s...