✦ LIBER ✦

Reasoning about equality

✍ Scribed by E. L. Lusk; R. A. Overbeek

Publisher: Springer Netherlands
Year: 1985
Tongue: English
Weight: 787 KB
Volume: 1
Category: Article
ISSN: 0168-7433
DOI: 10.1007/bf00244996

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reasoning about truth

✍ G. Priest 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 657 KB

Propositions about Reasons

✍ Skorupski, John 📂 Fiction 📅 0 🌐 English ⚖ 146 KB

Relativism about Reasons

✍ Nick Tosh 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 217 KB

Reasoning about emotional agents

✍ John-Jules Ch. Meyer 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 163 KB

In this article we discuss the role of emotions in artificial agent design, and the use of logic in reasoning about the emotional or affective states an agent can reside in. We do so by extending the KARO framework for reasoning about rational agents appropriately. In particular, we formalize in thi

Reasoning about coalitional games

✍ Thomas Ågotnes; Wiebe van der Hoek; Michael Wooldridge 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 504 KB

Reasoning algebraically about recursion

✍ P.H.B. Gardiner; P.K. Pandaya 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 518 KB