✦ LIBER ✦

Reasoning about actions and obligations in first-order logic

✍ Scribed by Gert -Jan C. Lokhorst

Publisher: Springer Netherlands
Year: 1996
Tongue: English
Weight: 713 KB
Volume: 57
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00370676

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Distributed reasoning with ontologies an

Distributed reasoning with ontologies and rules in order-sorted logic programming

✍ Ken Kaneiwa; Riichiro Mizoguchi 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 832 KB

Universal First-Order Definability in Mo

Universal First-Order Definability in Modal Logic

✍ R. E. Jennings; D. K. Johnston; P. K. Schotch 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 198 KB

UPiIVERSAL FIRST-ORDER DEFINABILITY I N MODAL LOGIC by R. E. JENNIXGS and D. K. JOHNSTON in Burnaby, British Columbia (Canada) and P. K. SCHOTCH in Halifax, Nova Scotia (Canada)l) In [ l ] R. I. GOLDBLATT presents a model theoretic characterization of the class of modal sentences determined by firs

Parallel Theories and Routine Revision i

Parallel Theories and Routine Revision in First-Order Logic

✍ Gerold Stahl 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 203 KB

A Note on the Compactness Theorem in Fir

A Note on the Compactness Theorem in First Order Logic

✍ George Weaver 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 223 KB 👁 1 views

A Note on the Interpolation Theorem in F

A Note on the Interpolation Theorem in First Order Logic

✍ George Weaver 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 289 KB 👁 1 views

Uncertain fuzzy values still in the fram

Uncertain fuzzy values still in the framework of first-order logic

✍ O. Pons; J. C. Cubero; A. Gonzalez; M. A. Vila 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 106 KB 👁 2 views

In this article, we first summarize the more important aspects of a fuzzy logic relational database and show how a fuzzy relational database can be represented and handled using first-order logic. Given that the results obtained for fuzzy databases are satisfactory, we then tackle the problem of unc