Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 116 results:

Filters: First Letter Of Last Name is M [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

S

Batens, Diderik. 2000. “A Survey Of Inconsistency-Adaptive Logics” Diderik Batens, Mortensen, Chris, Priest, Graham, and Van Bendegem, Jean Paul. Frontiers of Paraconsistent Logic: 49–73.

Heeffer, Albrecht. 2010. “The Symbolic Model For Algebra: Functions And Mechanisms” Lorenzo Magnani, Carnielli, Walter A, and Pizzi, Claudio. Model-Based Reasoning in Science and Technology 314: 519–532. http://dx.doi.org/10.1007/978-3-642-15223-8\_29.

T

Batens, Diderik, and Joke Meheus. 2000. “A Tableau Method For Inconsistency-Adaptive Logics” Roy Dyckhoff. Automated Reasoning with Analytic Tableaux and Related Methods 1847: 127–142.

Carnielli, Walter A, and João Marcos. 2001. “Tableau Systems For Logics Of Formal Inconsistency” Hamid R Arabnia. Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001): 848-852.

Carnielli, Walter A, João Marcos, and Itala MLoffred D'Ottaviano. 2001. “A Taxonomy Of C-Systems” Walter A Carnielli and Coniglio, Marcelo E. Paraconsistency. The Logical Way to the Inconsistent: 1-94.

Straßer, Christian, Joke Meheus, and Mathieu Beirlaen. 2012. “Tolerating Deontic Conflicts By Adaptively Restricting Inheritance”. Logique et Analyse 219: 477-506.

Beirlaen, Mathieu. 2012. “Towards More Conflict-Tolerant Deontic Logics” Bart Van Kerkhove, Libert, Thierry, Vanpaemel, Geert, and Marage, Pierre. Logic, Philosophy and History of Science in Belgium II: 1-8.

De Langhe, Rogier. 2009. “Trading Off Explanatory Virtues”. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days, Erik Weber, Libert, Thierry, Marage, Pierre, and Van Paemel, Geert. {Koninklijke Vlaamse Academie van België.

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, 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. 2012. “Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” Shahid Rahman, Primiero, Giuseppe, and Marion, Mathieu. The realism-antirealism debate in the age of alternative logics: 191–212.

W

Meheus, Joke. 1997. “Wetenschappelijke Ontdekking En Creativiteit. Een Poging Tot Theorievorming Op Basis Van Een Conceptuele, Methodologische En Logische Studie”.

Meheus, Joke, Christian Straßer, and Peter Verdée. 2016. “Which Style Of Reasoning To Choose In The Face Of Conflicting Information?”. Journal of Logic and Computation 26: 361--380.

Weber, Erik, and Kristof De Clercq. 2002. “Why The Logic Of Explanation Is Inconsistency-Adaptive.” Joke Meheus. Inconsistency in science: 165–184.

Vanackere, Guido. 2006. “A World Of Experiences, An Adequate Language, And Self-Reference Revised” Jacek Malinowski and Pietruszczak, Andrzej. Essays in Logic and Ontology 91: 243–256.

Y

Batens, Diderik, Kristof De Clercq, Peter Verdée, and Joke Meheus. 2009. “Yes Fellows, Most Human Reasoning Is Complex”. Synthese 166: 113–131. http://dx.doi.org/10.1007/s11229-007-9268-4.

Pages