𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Annotated revision programs

✍ Scribed by Victor Marek; Inna Pivkina; Mirosław Truszczyński

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
256 KB
Volume
138
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Annotated fuzzy logic programs
Annotated fuzzy logic programs
✍ Tru H. Cao 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 189 KB

Several fuzzy logic programming systems that deal with fuzzy sets as data in programs have been developed, but they lack the fundamentals of a theorem prover, whence the soundness and the completeness cannot be proved. Annotated logic programs have been developed as an extension of classical logic p

cover
The Annotated Lolita: Revised and Updated (Vintage)
✍ Nabokov, Vladimir 📂 Fiction 📅 2011;1991 🏛 Knopf Doubleday Publishing Group;Vintage Books 🌐 en-ca ⚖ 504 KB 👁 3 views

Presents the degeneration which results from a middle-aged professor's desperate obsession with a precocious, callous teenager whose mother he marries just to be near the young girl.

Temporal Annotated Constraint Logic Prog
Temporal Annotated Constraint Logic Programming
✍ THOM FRÜHWIRTH 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 712 KB

We introduce a family of logics and associated programming languages for representing and reasoning about time. The family is conceptually simple while allowing for different models of time. Formulae can be labelled with temporal information using annotations. In this way we avoid the proliferation

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