Publications

Export 36 results:
Author Title [ Type(Desc)] Year
Filters: Author is Primiero, Giuseppe  [Clear All Filters]
Book Chapter (with title)
Primiero, Giuseppe. 2009. Epistemic Modalities Giuseppe Primiero and Rahman, Shahid. Acts of Knowledge: History, Philosophy and Logic 9: 207–232.
Primiero, Giuseppe. 2009. Epistemic Modalities Giuseppe Primiero and Rahman, Shahid. Acts of Knowledge: History, Philosophy and Logic 9: 207–232.
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.
Conference Paper
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.
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. 2006. Belief Revision In Constructive Type Theory. In Logica 2005 Yearbook, Logica 2005 Yearbook, M Bilkova and Tomala, O. Filosofia Publisher.
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. 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. 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. 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.
Primiero, Giuseppe. 2009. A Note On Constructive Modalities For Information. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008, Erik Weber, Libert, Thierry, Marage, Pierre, and Vanpaemel, Geert. Brussel: Koninklijke Vlaamse Academie van België.
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.
Conference Proceedings
Martens, Liesbeth, and Giuseppe Primiero. 2012. A Formal Approach To Vague Expressions With Indexicals. Logic and Engineering of Natural Language Semantics 9 (LENLS 9-2012): 37-51.

Pages