- Turing Test, Chinese Room Argument, Symbol Grounding Problem. Meanings in Artificial Agents (APA 2013).Christophe Menant - 2013 - American Philosophical Association Newsletter on Philosophy and Computers 13 (1):30-34.details
|
|
Behavioral Algebraization of Logics.Carlos Caleiro, Ricardo Gonçalves & Manuel Martins - 2009 - Studia Logica 91 (1):63-111.details
|
|
A Coalgebraic Perspective on Logical Interpretations.M. A. Martins, A. Madeira & L. S. Barbosa - 2013 - Studia Logica 101 (4):783-825.details
|
|
Abrahamson, KA, Downey, RG and Fellows, MR.R. Banacb, H. Barendregt, J. A. Bergstra, J. V. Tucker, J. Brendle, I. Moerdijk, E. Palmgren, J. I. Seiferas, A. R. Meyer & J. Terlouw - 1995 - Annals of Pure and Applied Logic 73 (1):327.details
|
|
A constructive approach to nonstandard analysis.Erik Palmgren - 1995 - Annals of Pure and Applied Logic 73 (3):297-325.details
|
|
Intrinsic reasoning about functional programs I: first order theories.Daniel Leivant - 2002 - Annals of Pure and Applied Logic 114 (1-3):117-153.details
|
|
A Study of Categorres of Algebras and Coalgebras.Jesse Hughes, Steve Awodey, Dana Scott, Jeremy Avigad & Lawrence Moss - unknowndetails
|
|
Partial Horn logic and cartesian categories.Erik Palmgren & Steven J. Vickers - 2007 - Annals of Pure and Applied Logic 145 (3):314-353.details
|
|
Behavioral equivalence of hidden k -logics: An abstract algebraic approach.Sergey Babenyshev & Manuel A. Martins - 2016 - Journal of Applied Logic 16:72-91.details
|
|
Vivid: A framework for heterogeneous problem solving.Konstantine Arkoudas & Selmer Bringsjord - 2009 - Artificial Intelligence 173 (15):1367-1405.details
|
|
The data type variety of stack algebras.J. A. Bergstra & J. V. Tucker - 1995 - Annals of Pure and Applied Logic 73 (1):11-36.details
|
|