𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Reasoning about truth
✍ G. Priest πŸ“‚ Article πŸ“… 1989 πŸ› Elsevier Science 🌐 English βš– 657 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