𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Symmetric structure in logic programming

✍ Scribed by Jin-Zhao Wu; Harald Fecher

Publisher
Springer
Year
2004
Tongue
English
Weight
775 KB
Volume
19
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Dual realizability in symmetric logic
Dual realizability in symmetric logic
✍ I.D. Zaslavsky πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 70 KB

A variant of the notion of symmetric constructive realizability is introduced where the information about the symmetric constructive truth or falsity of an arithmetical formula is expressed by a single natural number. The methods of transformations of such a realization to the realizations of known

Conditional reasoning in logic programmi
Conditional reasoning in logic programming
✍ D. Gabbay; L. Giordano; A. Martelli; N. Olivetti; M.L. Sapino πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 286 KB

We introduce a logic programming language which supports hypothetical and counterfactual reasoning. The language is based on a conditional logic which enables to formalize conditional updates of the knowledge base. Due to the presence of integrity constraints, alternative revisions of the knowledge

Learning logic programs with structured
Learning logic programs with structured background knowledge
✍ TamΓ‘s HorvΓ‘th; GyΓΆrgy TurΓ‘n πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 726 KB

The efficient learnability of restricted classes of logic programs is studied in the PAC framework of computational learning theory. We develop the product homomorphism method, which gives polynomial PAC learning algorithms for a nonrecursive Horn clause with function-free ground background knowledg