✦ LIBER ✦

Formalization and Analysis of Reasoning by Assumption

✍ Scribed by Tibor Bosse; Catholijn M. Jonker; Jan Treur

Book ID: 111766436
Publisher: Wiley (Blackwell Publishing)
Year: 2006
Tongue: English
Weight: 176 KB
Volume: 30
Category: Article
ISSN: 0364-0213
DOI: 10.1207/s15516709cog0000_51

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modelling the dynamics of reasoning proc

Modelling the dynamics of reasoning processes: Reasoning by assumption

✍ Catholijn M. Jonker; Jan Treur 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 182 KB

Semantic formalization of interactive re

Semantic formalization of interactive reasoning functionality

✍ Jan Treur 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 248 KB

In this article a semantic framework is developed that provides a logical description of the functionality of an interactive reasoning process. The concept of functionality description defines the functionality of a reasoning process abstracted from specific inference relations or knowledge bases. M

Coupling intervals constraint propagatio

Coupling intervals constraint propagation and assumptions-based reasoning for flowsheet analysis

✍ P. Bourseau; L. Valadou; G. Muratet 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 397 KB

Correlates of formal reasoning: Content

Correlates of formal reasoning: Content and problem effects

✍ Marcia C. Linn; Steven Pulos; Adrienne Gans 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 809 KB

Formalization and Analysis of Class Load

Formalization and Analysis of Class Loading in Java

✍ Akihiko Tozawa; Masami Hagiya 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 291 KB

Critical Analysis of Strucutres by Quali

Critical Analysis of Strucutres by Qualitative Reasoning

✍ H. Kawamura; A. Tani; H. Naknao; M. Yamada 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 715 KB