๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Revising the logical foundations of inductive logic programming systems with ground reduced programs

โœ Scribed by Akihiro Yamamoto

Publisher
Springer
Year
1999
Tongue
English
Weight
443 KB
Volume
17
Category
Article
ISSN
0288-3635

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The complexity of revising logic program
The complexity of revising logic programs
โœ Russell Greiner ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 237 KB

A rule-based program will return a set of answers to each query. An impure program, which includes the Prolog ut ``!'' and ``not@รA'' operators, can return dierent answers if its rules are re-ordered. There are also many reasoning systems that return only the ยฎrst answer found for each query; these

Disjunctive logic programming with types
Disjunctive logic programming with types and objects: The DLV+ system
โœ Francesco Ricca; Nicola Leone ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 878 KB

The paper presents DLV + , a Disjunctive Logic Programming (DLP) system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV + is built on top of DLV (a state-of-the art DLP system), and provides a graphical user interface that allows one to specify, up