3773 search results - page 158 / 755 » Logical Reasoning |
102
Voted
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
135
Voted
VL
1999
IEEE
15 years 8 months ago
1999
IEEE
Isaac is a rule-based language for mobile robots currently under development at NMSU. A successor to Altaira, it replaces Altaira's state-based rules and tile-based navigatio...
122
Voted
KI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
115
Voted
KR
2004
Springer
15 years 9 months ago
2004
Springer
We extend graded modal logic (GML) to a logic that captures the concept of majority. We provide an axiomatization for majority logic, MJL, and sketch soundness and completeness pr...
135
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...