The project "Beyond Logic" is devoted to what hypothetical reasoning is all about when we go beyond the realm of "pure" logic into the world where logic is applied. As such extralogical areas we have chosen philosophy of science as an application within philosophy, informatics as an application within the formal sciences, and law as an application within the field of social interaction. The aim of the conference was to allow philosophers, logicians and computer scientists to present their work in connection with these three areas. The conference took place 22-27 May, 2017 in Cerisy-la-Salle at the Centre Culturel International de Cerisy. The proceedings collect abstracts, slides and papers of the presentations given, as well as a contributi...
There is a significant range of ongoing challenges in artificial intelligence (AI) dealing with reas...
We describe the creation and development of a course on mathematical logic and its extensions and li...
Logic is now widely recognized to be one of the foundational disciplines of computing with applicati...
The project "Beyond Logic" is devoted to what hypothetical reasoning is all about when we go beyond ...
Hypothetical reasoning or reasoning under assumptions is a key concept of logic, philosophy of scien...
Logic has been a—disputed—ingredient in the emergence and development of the now very large field kn...
Revised version of a conference given under title "From Natural Deduction to the nature of reasoning...
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close rel...
Paraconsistent logics are logics which allow solid deductive reasoning under contradictions by offer...
The “cost of reasoning”, i.e. the cognitive/computational effort required by nonideal, resource-boun...
MasterThese are the lecture notes of a course on logic and commonsense reasoning given to master stu...
2nd edition. Many-valued logics are those logics that have more than the two classical truth values,...
Other Logics: Alternatives to Formal Logic in the History of Thought and Contemporary Philosophy cha...
The idea that logic and reasoning are somehow related to computation goes back to antiquity. The Gre...
The Ninth International Symposium on Logical Formalizations of Commonsense Reasoning will be held a...
There is a significant range of ongoing challenges in artificial intelligence (AI) dealing with reas...
We describe the creation and development of a course on mathematical logic and its extensions and li...
Logic is now widely recognized to be one of the foundational disciplines of computing with applicati...
The project "Beyond Logic" is devoted to what hypothetical reasoning is all about when we go beyond ...
Hypothetical reasoning or reasoning under assumptions is a key concept of logic, philosophy of scien...
Logic has been a—disputed—ingredient in the emergence and development of the now very large field kn...
Revised version of a conference given under title "From Natural Deduction to the nature of reasoning...
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close rel...
Paraconsistent logics are logics which allow solid deductive reasoning under contradictions by offer...
The “cost of reasoning”, i.e. the cognitive/computational effort required by nonideal, resource-boun...
MasterThese are the lecture notes of a course on logic and commonsense reasoning given to master stu...
2nd edition. Many-valued logics are those logics that have more than the two classical truth values,...
Other Logics: Alternatives to Formal Logic in the History of Thought and Contemporary Philosophy cha...
The idea that logic and reasoning are somehow related to computation goes back to antiquity. The Gre...
The Ninth International Symposium on Logical Formalizations of Commonsense Reasoning will be held a...
There is a significant range of ongoing challenges in artificial intelligence (AI) dealing with reas...
We describe the creation and development of a course on mathematical logic and its extensions and li...
Logic is now widely recognized to be one of the foundational disciplines of computing with applicati...