✦ LIBER ✦

A Theory of Observables for Logic Programs

✍ Scribed by Marco Comini; Giorgio Levi; Maria Chiara Meo

Book ID: 112252580
Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 398 KB
Volume: 169
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.2000.3024

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A theory of complete logic programs with

A theory of complete logic programs with equality

✍ Joxan Jaffar; Jean-Louis Lassez; Michael J. Maher 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 993 KB

The theory of interval probabilistic log

The theory of interval probabilistic logic programs

✍ Alex Dekhtyar; Michael I. Dekhtyar 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 780 KB

Stable and extension class theory for lo

Stable and extension class theory for logic programs and default logics

✍ Chitta R. Baral; V. S. Subrahmanian 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 1018 KB

Meta-logic programming for a synonymy lo

Meta-logic programming for a synonymy logic

✍ Daniele Genito; Giangiacomo Gerla; Alessandro Vignes 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 402 KB

A Debugging Scheme for Functional Logic

A Debugging Scheme for Functional Logic Programs

✍ María Alpuente; Franciso Correa; Moreno Falaschi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 327 KB

LUPS—A language for updating logic progr

LUPS—A language for updating logic programs

✍ José Júlio Alferes; Luı́s Moniz Pereira; Halina Przymusinska; Teodor C. Przymusi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 229 KB

Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e., knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the authors introduced dynamic logic programming. There, they studied and defined the decl