Publications

Export 36 results:
Author [ Title(Asc)] Type Year
Filters: Author is Primiero, Giuseppe  [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 
C
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. 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.
B
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.
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.
A
Primiero, Giuseppe, and Joke Meheus. 2008. Adaptive Arbitration By Variant Counting On Commutative Bases With Weights. In Fusion 2008: Proceedings of the 11th International Conference on Information Fusion, Fusion 2008: Proceedings of the 11th International Conference on Information Fusion, IEEE.

Pages