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

Source URL: dream.inf.ed.ac.uk

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Propositional calculus
• Logic in computer science
• Logical truth
• Linear temporal logic
• First-order logic
• Well-formed formula
• Interpretation
• Intuitionistic logic

Programming by Examples: Logical Reasoning meets Machine Learning NAMPI Workshop July 2018 Sumit Gulwani

Source URL: uclmr.github.io

• SUMIT
• Spreadsheet
• Computing
• Framework
• Symposium on Principles of Programming Languages
• Computer science
• Electrical engineering

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

Source URL: www.ai.rug.nl

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

Source URL: www.ai.rug.nl

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,

Source URL: www.dan.sperber.fr

Reasoning about Object Capabilities with Logical Relations and Effect Parametricity (EuroS&P 2016, Saarbrücken) Dominique Devriese1 , Frank Piessens1 , Lars Birkedal2 1 2

Source URL: proglang.informatik.uni-freiburg.de

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

Source URL: math.stanford.edu

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

Source URL: ceur-ws.org

A Little Logic Goes a Long Way – Logical Reasoning in Web Data Integration and Ontology Learning Heiner Stuckenschmidt Universit¨ at Mannheim

Source URL: ceur-ws.org

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

Source URL: symbolaris.com