𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on Rescher's ‘Semantic Foundations for the Logic of Preference’

✍ Scribed by Anthony Willing

Publisher
Springer US
Year
1976
Tongue
English
Weight
332 KB
Volume
7
Category
Article
ISSN
0040-5833

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the stable model semantics for
A note on the stable model semantics for logic programs
✍ Michael Kaminski 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 900 KB

The stable model semantics for logic programs is extended from ground literals onto open literals by augmenting the program language with an infinite set of new constants. This, in turn, leads to a natural translation of logic programs into open default theories. @

A semantic basis for the termination ana
A semantic basis for the termination analysis of logic programs
✍ Michael Codish; Cohavit Taboch 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 287 KB

This paper presents a formal semantic basis for the termination analysis of logic programs. The semantics exhibits the termination properties of a logic program through its binary unfoldings ± a possibly in®nite set of binary clauses. Termination of a program P and goal G is determined by the absenc