Publications

Export 37 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is P  [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 
P
Provijn, Dagmar. 2002. How To Obtain Elegant Fitch-Style Proofs From Goal Directed Ones.. In Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002, Proceedings of the Fourtheenth Belgium-Netherlands Conference on Artificial Intelligence, 2002, H. Blockeel and Denecker, M.
Provijn, Dagmar. 2014. Bloody Analogical Reasoning Erik Weber, Wouters, Dietlinde, and Meheus, Joke. Logic, Reasoning, and Rationality: 217–232.
Provijn, Dagmar. 2003. Direct Dynamic Proofs For Compatibility. Claudio Delrieux and Legris, Javier. Computer modeling of scientific reasoning: 179–187.
Provijn, Dagmar. 2002. Is Er Een Diepe Kloof Tussen De Heuristiek En De Inferentieregels Van Een Bewijstheorie? Een Poging Tot Integratie.. In Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Universiteit Amsterdam.
Primiero, Giuseppe, and Joke Meheus. 2008. Quasi-Merging And Pure-Arbitration On Information For The Family Of Adaptive Logics Adm. In Proceedings of the Workshop on Logic and Intelligent Interaction, Proceedings of the Workshop on Logic and Intelligent Interaction, Johan van Benthem and Pacuit, Eric.
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. 2012. Preprint Series of the Isaac Newton Institute for Mathematical Sciences Intuitionistic Logic Of Proofs With Dependent Proof Terms.
Primiero, Giuseppe. 2009. A Constructive Modal Semantics For Contextual Verification. In Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, CEUR-Workshop Proceedings. http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-550/.
Primiero, Giuseppe. 2009. Epistemic Modalities Giuseppe Primiero and Rahman, Shahid. Acts of Knowledge: History, Philosophy and Logic 9: 207–232.
Primiero, Giuseppe, and Laszlo Kosolosky. In Press. The Semantics Of Untrustworthiness. Topoi. An International Reiew of Philosophy.
Primiero, Giuseppe. 2010. Constructive Contextual Modal Judgments For Reasoning From Open Assumptions. In Proceedings of the Computability in Europe 2010 Conference, Proceedings of the Computability in Europe 2010 Conference, F Ferreira, Guerra, H, Mayordomo, E, and Rasga, J. Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores.
Primiero, Giuseppe, and Bjørn Jespersen. 2009. Two Type-Theoretical Approaches To Privative Modification Kumiyo Nakakoji, Murakami, Yohei, and McCready, Eric. New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops: 239–258.
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. 2010. A Multi-Modal Dependent Type Theory For Representing Data Accessibility In A Network.. In Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Citeseer.

Pages