𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Redundancy in logic III: Non-monotonic reasoning

✍ Scribed by Paolo Liberatore

Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
393 KB
Volume
172
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Executable Temporal Logic for Non-monoto
Executable Temporal Logic for Non-monotonic Reasoning
✍ JOERI ENGELFRIET; JAN TREUR πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 454 KB

In this paper we view non-monotonic reasoning as a (special kind of) process. As temporal logic is a common formalism to specify and derive properties of processes, we introduce a variant of temporal logic as a general specification language for reasoning processes. We show that it is possible to ex

A framework to incorporate non-monotonic
A framework to incorporate non-monotonic reasoning into constraint logic programming
✍ JΓΌrgen Dix; Frieder Stolzenburg πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 230 KB

Impressive work has been done in the last years concerning the meaning of negation and disjunction in logic programs, but most of this research concentrated on propositional programs only. While it suces to consider the propositional case for investigating general properties and the overall behavior

Issues in parallel execution of non-mono
Issues in parallel execution of non-monotonic reasoning systems
✍ Marcello Balduccini; Enrico Pontelli; Omar Elkhatib; Hung Le πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 463 KB

We explore the major issues involved in the automatic exploitation of parallelism from the execution models of logic-based non-monotonic reasoning systems. We describe orthogonal techniques to parallelize the computation of models of non-monotonic logic theories, and demonstrate the effectiveness of