✦ LIBER ✦

Logic programming as quantum measurement

✍ Scribed by Roman R. Zapatrin

Publisher: Springer
Year: 1995
Tongue: English
Weight: 388 KB
Volume: 34
Category: Article
ISSN: 0020-7748
DOI: 10.1007/bf00676296

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Defeasible logic versus Logic Programmin

Defeasible logic versus Logic Programming without Negation as Failure

✍ G. Antoniou; M.J. Maher; D. Billington 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 132 KB

Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and a priority relation among them. In this paper we compare the expressive power of tw

Topology lattice as quantum logic

✍ A. A. Grib; R. R. Zapatrin 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 433 KB

Quantum logic as partial infinite-valued

Quantum logic as partial infinite-valued Łukasiewicz logic

✍ Jarosław Pykacz 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 815 KB

Logic programs as specifications in the

Logic programs as specifications in the inductive verification of logic programs

✍ Marco Comini; Roberta Gori; Giorgio Levi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 149 KB

Quantum logics seen as quantum testabili

Quantum logics seen as quantum testability theories

✍ Claudio Garola 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 813 KB

Forum as a Logic Programming Language: P

Forum as a Logic Programming Language: Preliminary Report

✍ Joshua S. Hodas; Jeffrey Polakow 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 683 KB