1![Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be](https://www.pdfsearch.io/img/ceeeb6f6614491763189db6d7e3d38e0.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-07-20 03:24:48
|
---|
2![Programming by Examples: Logical Reasoning meets Machine Learning NAMPI Workshop July 2018 Sumit Gulwani Programming by Examples: Logical Reasoning meets Machine Learning NAMPI Workshop July 2018 Sumit Gulwani](https://www.pdfsearch.io/img/65b589dc16dbacc1c9c6a091e96d48ba.jpg) | Add to Reading ListSource URL: uclmr.github.ioLanguage: English - Date: 2018-08-06 06:17:49
|
---|
3![Logical Reasoning as Argumentation, Or: How Lessons from the Law Are Changing Artificial Intelligence Bart Verheij Institute of Artificial Intelligence and Cognitive Engineering www.ai.rug.nl/~verheij Logical Reasoning as Argumentation, Or: How Lessons from the Law Are Changing Artificial Intelligence Bart Verheij Institute of Artificial Intelligence and Cognitive Engineering www.ai.rug.nl/~verheij](https://www.pdfsearch.io/img/853ad85821e0418dc6e651dc143ab547.jpg) | Add to Reading ListSource URL: www.ai.rug.nlLanguage: English - Date: 2016-09-11 04:34:20
|
---|
4![Logical Reasoning as Argumentation, Or: How Lessons from the Law Are Changing Artificial Intelligence Lecture 1: Argumentation and Artificial Intelligence An overview is given of how ideas from argumentation theory have Logical Reasoning as Argumentation, Or: How Lessons from the Law Are Changing Artificial Intelligence Lecture 1: Argumentation and Artificial Intelligence An overview is given of how ideas from argumentation theory have](https://www.pdfsearch.io/img/ff2f5b0c69fb00853b437dd7ca91c47e.jpg) | Add to Reading ListSource URL: www.ai.rug.nlLanguage: English - Date: 2016-09-13 04:54:26
|
---|
5![Neural Interaction between Logical Reasoning and Pragmatic Processing in Narrative Discourse Jérôme Prado1, Nicola Spotorno1, Eric Koun1, Emily Hewitt1, Jean-Baptiste Van der Henst1, Dan Sperber2,3, and Ira A. Noveck1, Neural Interaction between Logical Reasoning and Pragmatic Processing in Narrative Discourse Jérôme Prado1, Nicola Spotorno1, Eric Koun1, Emily Hewitt1, Jean-Baptiste Van der Henst1, Dan Sperber2,3, and Ira A. Noveck1,](https://www.pdfsearch.io/img/eb2ee1007c39f62138b536543a27b89b.jpg) | Add to Reading ListSource URL: www.dan.sperber.frLanguage: English - Date: 2018-04-24 17:51:22
|
---|
6![Reasoning about Object Capabilities with Logical Relations and Effect Parametricity (EuroS&P 2016, Saarbrücken) Dominique Devriese1 , Frank Piessens1 , Lars Birkedal2 1 2 Reasoning about Object Capabilities with Logical Relations and Effect Parametricity (EuroS&P 2016, Saarbrücken) Dominique Devriese1 , Frank Piessens1 , Lars Birkedal2 1 2](https://www.pdfsearch.io/img/7e48d0559f817b7e9007275c8970c1f3.jpg) | Add to Reading ListSource URL: proglang.informatik.uni-freiburg.de- Date: 2017-10-04 11:31:53
|
---|
7![Which Quantifiers are Logical? A combined semantical and inferential criterion Solomon Feferman1 Abstract. The aim of logic is to characterize the forms of reasoning that lead invariably from true sentences to true sente Which Quantifiers are Logical? A combined semantical and inferential criterion Solomon Feferman1 Abstract. The aim of logic is to characterize the forms of reasoning that lead invariably from true sentences to true sente](https://www.pdfsearch.io/img/e9879ee6b83d0ec894f20fa224ba07a6.jpg) | Add to Reading ListSource URL: math.stanford.edu- Date: 2013-01-17 14:25:46
|
---|
8![Proceedings of the Workshop “Reasoning About Other Minds: Logical and Cognitive Perspectives” Groningen, Monday July 11th, 2011 edited by Jan van Eijck and Rineke Verbrugge Proceedings of the Workshop “Reasoning About Other Minds: Logical and Cognitive Perspectives” Groningen, Monday July 11th, 2011 edited by Jan van Eijck and Rineke Verbrugge](https://www.pdfsearch.io/img/0bf5f7f2f304626c893427094c344198.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2011-07-08 11:45:54
|
---|
9![A Little Logic Goes a Long Way – Logical Reasoning in Web Data Integration and Ontology Learning Heiner Stuckenschmidt Universit¨ at Mannheim A Little Logic Goes a Long Way – Logical Reasoning in Web Data Integration and Ontology Learning Heiner Stuckenschmidt Universit¨ at Mannheim](https://www.pdfsearch.io/img/0a36e0c94559cb5607b3c41fdbe76f7b.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2011-06-26 10:16:31
|
---|
10![Refactoring, Refinement, and Reasoning A Logical Characterization for Hybrid Systems Stefan Mitsch, Jan-David Quesel, and Andr´e Platzer Computer Science Department Carnegie Mellon University, Pittsburgh PA 15213, USA Refactoring, Refinement, and Reasoning A Logical Characterization for Hybrid Systems Stefan Mitsch, Jan-David Quesel, and Andr´e Platzer Computer Science Department Carnegie Mellon University, Pittsburgh PA 15213, USA](https://www.pdfsearch.io/img/8d115602541fb96a58f711e0210b387b.jpg) | Add to Reading ListSource URL: symbolaris.com- Date: 2014-08-04 10:11:08
|
---|