System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology

Source URL: www.logic.at

• Mathematical logic
• Theoretical computer science
• Automated theorem proving
• Mathematics
• Proof theory
• Logic in computer science
• Formal methods
• Automated reasoning
• Proof assistant
• Proof complexity
• Reasoning system
• Isabelle

Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology

Source URL: www.logic.at

• Mathematical logic
• Proof theory
• Logic
• Mathematics
• Natural deduction
• Sequent calculus
• Sequent
• First-order logic
• Admissible rule
• Conjunctive normal form
• Quantifier
• Cut-elimination theorem

The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden

Source URL: www.cs.utexas.edu

• Mathematical logic
• Mathematics
• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Methods of proof
• Boolean algebra
• Mathematical proofs
• Proof complexity
• Boolean satisfiability problem

Poster for SAT/SMT Summer SchoolModeling High School Timetabling (HSTT) as maxSAT/SMT Vienna University of Technology Institute of Information Systems Database and Artificial Intelligence Group

Source URL: satsmt2014.forsyte.at

JCCS-a * Information & Software Engineering Group Institute of Software Technology and Interactive Systems Vienna University of Technology Favoritenstrasse 9–11/188,

Source URL: www.jccs-a.at

Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa

Source URL: www.preining.info

Take a Bite - Finding the Worm in the Apple Martina Lindorfer, Bernhard Miller, Matthias Neugschwandtner, Christian Platzer Secure Systems Lab, Vienna University of Technology {mlindorfer,bernhard,mneug,cplatzer}@iseclab

Source URL: martina.lindorfer.in

JCCS-a * Information & Software Engineering Group Institute of Software Technology and Interactive Systems Vienna University of Technology Favoritenstrasse 9–11/188,

Source URL: www.jccs-a.at

Dynamic Programming on Tree Decompositions in Practice Some Lessons Learned Stefan Woltran TU Wien (Vienna University of Technology)

Source URL: www.dbai.tuwien.ac.at

An Ontology Design Pattern for Activity Reasoning Amin Abdalla1 , Yingjie Hu2 , David Carral3 , Naicong Li4 , Krzysztof Janowicz2 1 2 Institute for Geoinformatics,Vienna University of Technology, Austria

Source URL: ontologydesignpatterns.org