Publications

Export 823 results:
Author Title [ Type(Desc)] Year
Conference Paper
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.
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.
De Mol, Liesbeth. 2008. On The Boundaries Of Solvability And Unsolvability In Tag Systems. Theoretical And Experimental Results.. In The complexity of simple programs, The complexity of simple programs, Damien Woods, Neary, Turlough, and Seda, Tony. Cork University Press.
Primiero, Giuseppe. 2007. On Building Abstract Terms In Typed Systems. In Logica 2006 Yearbook, Logica 2006 Yearbook, O Tomala and Honzik, R. Filosofia Publisher.
Pieters, Eva. 2009. "clear Moon, Frost Soon". An Introduction To The Study Of Meteorological Practices In The Low Countries (1550-1850). In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Erik Weber, Libert, Thierry, Marage, Pierre, and Vanpaemel, Geert. {Koninklijke Vlaamse Academie van België.
Van De Putte, Frederik. 2016. Coarse Deontic Logic (Short Version). In Deontic Logic and Normative Systems, Deontic Logic and Normative Systems, College Publications.
De Mol, Liesbeth. 2004. Computer Generated Images As Mathematical Tools. In Proceedings of the 7th International Conference and Exhibition on Generative Art, Proceedings of the 7th International Conference and Exhibition on Generative Art,.
Van Bouwel, Jeroen. 2004. The Consequences Of Scientific Pluralism For Science Policy. In Proceedings of V Jornadas Latinoamericanas de estudios sociales de la ciencia y de la tecnología, Proceedings of V Jornadas Latinoamericanas de estudios sociales de la ciencia y de la tecnología,.
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/.
De Winter, Jan. 2010. The Distorted Research Agenda In The Health Sciences And James Robert Brown’S Policy Proposal.. In Logic, Philosophy and History of Science in Belgium II, Logic, Philosophy and History of Science in Belgium II, Bart Van Kerkhove, Libert, Thierry, Vanpaemel, Geert, and Marage, Pierre. Koninklijke Vlaamse Academie van België. http://logica.ugent.be/centrum/preprints/De_Winter_(2012)_-_Brown.pdf.
De Mol, Liesbeth. 2009. Doing Mathematics On The Eniac. Von Neumann's And Lehmer's Different Visions. In Mathematical Practice and Development throughout History. Proceedings of the 18th Novembertagung on the History, Philosophy and Didactics of Mathematics, Mathematical Practice and Development throughout History. Proceedings of the 18th Novembertagung on the History, Philosophy and Didactics of Mathematics, Ingo Witzke and Wilhelmus, E. Logos Verlag Berlin.
Van De Putte, Frederik, Allard Tamminga, and Hein Duijf. 2017. Doing Without Nature. In Logic, Rationality, and Interaction (LORI), Logic, Rationality, and Interaction (LORI), Sapporro: Springer.
Haesaert, Lieven. 2002. Een Adaptieve Logica Voor Het Beschrijven Van Inductie. In Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie, Universiteit Amsterdam.
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.
Heeffer, Albrecht. 2010. Estienne De La Roche’S Appropriation Of Chuquet (1484). In 3rd International Conference of the European Society for the History of Science, 3rd International Conference of the European Society for the History of Science, Hermann Hunger.
Carnielli, Walter A, and João Marcos. 2001. Ex Contradictione Non Sequitur Quodlibet. In Proceedings of the 2000 Advanced Reasoning Forum Conference, Proceedings of the 2000 Advanced Reasoning Forum Conference,.
Weber, Erik. 2003. Explaining Laws By Reduction. In Philosophical Dimensions of Logic and Science, Philosophical Dimensions of Logic and Science, A Rojsczak, Cachro, J, and Kurczewski, G. Dordrecht: Springer.
De Mol, Liesbeth. 2006. Facing The Computer. Some Techniques To Understand Technique.. In Computers and Philosophy, an International Conference, Computers and Philosophy, an International Conference, C. TA Schmidt. EOARD.
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.
van Gulik, Stephan van der Wa. 2007. On The Implementation Of Concept Structures In Fuzzy Logic.. In Proceedings of the European Cognitive Science Conference 2007, Proceedings of the European Cognitive Science Conference 2007, S. Vosniadou, Kayser, D., and Athanassios, P.
De Langhe, Rogier. 2008. Mainstream Economics: Searching Where The Light Is. In Proceedings of the 10th Anniversary Conference of the Association of Heterodox Economics, Proceedings of the 10th Anniversary Conference of the Association of Heterodox Economics, Anglia Ruskin University.
De Mol, Liesbeth. 2009. Mathematics Through Man-Computer Interaction. A Study Of The Early Years Of Computing.. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Erik Weber, Libert, Thierry, Marage, Pierre, and Vanpaemel, Geert. Koninklijke Vlaamse Academie van België voor Wetenschappen en Kunsten.
Heeffer, Albrecht. 2006. The Methodological Relevance Of The History Of Mathematics For Mathematics Education. In Proceedings of the International Conference on 21st Century Information Technology in Mathematics Education, Proceedings of the International Conference on 21st Century Information Technology in Mathematics Education, G Dhompongsa, Bhatti, F, and Kitson, Q.

Pages