✦ LIBER ✦

Workshop on knowledge-based systems and models of logical reasoning

Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 244 KB
Volume: 27
Category: Article
ISSN: 0165-0114
DOI: 10.1016/0165-0114(88)90073-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structure and logic in knowledge-based r

Structure and logic in knowledge-based representations of systems simulation models

✍ António J.L. Rodrigues 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 557 KB

Logical inference of clauses based on Pe

Logical inference of clauses based on Petri net models

✍ Chuang Lin; Samuel T. Chanson 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 178 KB 👁 1 views

This paper extends the logical inference of Horn clauses in Petri net models to cover a large class of non-Horn clauses. Based on four-valued logic and the conflict transition concept, we show how the Petri net model for this class of non-Horn clauses can be constructed. The clause inference is solv

Logic-based models of analogical reasoni

Logic-based models of analogical reasoning: A fundamental basis for the design of legal expert systems

✍ Matthias Baaz; Gerald Quirchmayr 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 831 KB

Reasoning about pictures and similarity

Reasoning about pictures and similarity retrieval for image information systems based on SK-set knowledge representation

✍ P.W. Huang; Y.R. Jean 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 772 KB

Model-based diagnosis of complex systems

Model-based diagnosis of complex systems: Structuring and temporal reasoning

✍ T Hübner 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 602 KB

Conference on theory and practice of kno

Conference on theory and practice of knowledge based systems

📂 Article 📅 1982 🏛 Elsevier Science ⚖ 36 KB

To provide a forum for those involved in the understanding, development