Publications

Export 22 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Title is B  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
H
Heeffer, Albrecht. 2010. The Body In Renaissance Arithmetic: From Mnemonics To Embodied Cognition. In Proceedings of the Thirty Sixth Annual Convention of the Society for the Study of Artificial Intelligence and Simulation, Proceedings of the Thirty Sixth Annual Convention of the Society for the Study of Artificial Intelligence and Simulation, Alison Pease, Guhe, Markus, and Smaill, Alan. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour.
K
Kurtonina, Natasha, and Maarten De Rijke. 1997. Bisimulations For Temporal Logic. Journal of Logic, Language and Information 6: 403–425.
P
Primiero, Giuseppe. 2007. Belief Merging Based On Adaptive Interaction. In A Meeting of the Minds, proceedings of the workshop on Logic, Rationality and Interaction, A Meeting of the Minds, proceedings of the workshop on Logic, Rationality and Interaction, Johan van Benthem, Shier, Ju, and Veltman, Frank. College Publications.
Primiero, Giuseppe. 2007. On Building Abstract Terms In Typed Systems. In Logica 2006 Yearbook, Logica 2006 Yearbook, O Tomala and Honzik, R. Filosofia Publisher.
Primiero, Giuseppe. 2006. Belief Revision In Constructive Type Theory. In Logica 2005 Yearbook, Logica 2005 Yearbook, M Bilkova and Tomala, O. Filosofia Publisher.
Provijn, Dagmar. 2014. Bloody Analogical Reasoning Erik Weber, Wouters, Dietlinde, and Meheus, Joke. Logic, Reasoning, and Rationality: 217–232.