✦ LIBER ✦

Symbol Grounding in Computational Systems: A Paradox of Intentions

✍ Scribed by Vincent C. Müller

Book ID: 106467020
Publisher: Springer
Year: 2009
Tongue: English
Weight: 180 KB
Volume: 19
Category: Article
ISSN: 0924-6495
DOI: 10.1007/s11023-009-9175-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Sequent Calculus for Automated Reasoni

A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems

✍ Gianna Cioni; Attilio Colagrossi; Alfonso Miola 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 680 KB

In this paper the problem of reasoning on properties of mathematical objects is considered in the context of symbolic computation. Automated reasoning mechanisms are proposed as a new basic computing tool in a symbolic computation system. These mechanisms are aimed to support the semantical correctn

Symbolic Derivation of Equations in Engi

Symbolic Derivation of Equations in Engineering Using Computer Algebra Systems

✍ Oliver Lade; Arnold Krawietz 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 326 KB 👁 2 views

Symbolic computation of flow in a rotati

Symbolic computation of flow in a rotating pipe

✍ H. Raszillier; I. Guiasu; F. Durst 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 910 KB

Simulation of the transport processes in

Simulation of the transport processes in a thermal manufacturing system using symbolic computation

✍ D. Lombardi; Y. Jaluria; R. Viswanath 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 689 KB

Design of grounding systems in substatio

Design of grounding systems in substations using a mixed-integer linear programming formulation

✍ H.M. Khodr; G.A. Salloum; J.T. Saraiva; M.A. Matos 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 479 KB

The computer generated symbolic solution

The computer generated symbolic solution of a system of linear first order differential equations

✍ J.H. Hanson; A.C. Benander; B.A. Benander 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 233 KB