Logic and Computation
Over the last few decades, computers have been increasingly used for tasks that were once thought the sole preserve of human intelligence. Scientists have developed ways of formally representing knowledge and using “intelligent” methods to solve problems with the aid of computers. This field is generally described as computational intelligence.
Contact
- Stefan Szeider , Focus Coordinator
Research Topics
- Algorithms and Complexity
- Computational Logic and Deduction
- Constraints and Satisfiability
- Problem Solving and Optimization
- Foundations of Databases and Artificial Intelligence
- Knowledge Representation and Reasoning Methods
- Semantic Systems and the Web
- Formal Methods for Security and Privacy
- Verification and Safety of Computer Systems
- Natural Computing and Formal Languages
About
Over the last few decades, computers have been increasingly used for tasks that were once thought the sole preserve of human intelligence. Scientists have developed ways of formally representing knowledge and using “intelligent” methods to solve problems with the aid of computers. This field is generally described as computational intelligence.
Logic and Computation focuses on logical methods and algorithms for modeling, constructing, and analyzing complex and intelligent computer systems. The research focus comprises basic research on mathematical logic, automated decision procedures, and algorithms and their complexity, as well as applications of logical methods to data and knowledge bases, semantic systems, artificial intelligence, and formal methods for building and operating computer systems. Logic serves as a unifying theme that provides the theory and tools to acquire, represent, and manipulate information in intelligent systems, and to address challenges such as the security, safety, and correctness of safety-critical and distributed systems.
Research Units
Six of the faculty’s twenty-one research units are primarily focused on topics related to Logic and Computation. Visit their pages to learn about current projects, publications, courses, and the people involved.
Below is a small selection of recent research activities related to Logic and Computation. To learn more, visit the pages of the research units listed above.
Recent Projects
-
Bit-level Accurate Reasoning and Interpolation
2016 – 2020 / Microsoft Research Limited -
Variable Dependencies of Quantified Boolean Formulas
2015 – 2018 / Austrian Science Fund (FWF) -
Exploiting New Types of Structure for Fixed Parameter Tractability
2014 – 2018 / Austrian Science Fund (FWF) -
START
2014 – 2020 / Austrian Science Fund (FWF) -
Parameterized Compilation
2014 – 2018 / Austrian Science Fund (FWF) -
A Logical Framework for Dialogue Games
2013 – 2017 / Austrian Science Fund (FWF) -
Artificial Intelligence in Employee Scheduling
2012 – 2017 / Austrian Science Fund (FWF) -
Tools for Concurrent and distributed Systems
2011 – 2019 / Austrian Science Fund (FWF) -
Quantified Boolean Formulas
2011 – 2019 / Austrian Science Fund (FWF)
Recent Publications
- Integer programming model extensions for a multi-stage nurse rostering problem / F. Mischek, N. Musliu / Annals of Operations Research, 275 (2019), 1; 123 - 143
- Synthesizing Argumentation Frameworks from Examples / A. Niskanen, J. P. Wallner, M. Järvisalo / Journal of Artificial Intelligence Research, 66 (2019), 66; 503 - 554
- Manipulating Skeptical and Credulous Consequences when Merging Beliefs / A. Haret, J. P. Wallner / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Rende, Italy; 2019-05-08 - 2019-05-10; in: "Proceedings JELIA", F. Calimeri, N. Leone, M. Manna (ed.); Springer, 11468 (2019), ISBN: 978-3-030-19570-0; 133 - 150
- On the expressive power of collective attacks / W. Dvorak, S. Woltran, J. Fandinno / Argument & Computation, 10 (2019), 2; 191 - 230
- External Labeling Techniques: A Taxonomy and Survey / M. Bekos, B. Niedermann, M. Nöllenburg / Computer Graphics Forum, 38 (2019), 3; 833 - 860
- Modeling and solving staff scheduling with partial weighted maxSAT / F. Winter, N. Musliu, E. Demirovic / Annals of Operations Research, 275 (2019), 1; 79 - 99
- ClearChart: Ensuring integrity of consumer ratings in online marketplaces / P. Moreno-Sanchez, U. Mahmood, A. Kate / Computers & Security, Computers & Security 78 (2018), Volume 78; 90 - 102
- A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective / T. Eiter, G. Kern-Isberner / KI - Künstliche Intelligenz, vol. # (2018), 1 - 25
- Summary Report of the Second International Competition on Computational Models of Argumentation / S. Gaggl, T. Linsbichler, M. Maratea, S. Woltran / AI Magazine, 39 (2018), 4; 77 - 79
- Defensive alliances in graphs of bounded treewidth / B. Bliem, S. Woltran / Discrete Applied Mathematics, 251 (2018), 251; 334 - 339
- An SMT Approach to Fractional Hypertree Width / J. Fichte, M. Hecher, N. Lodha, S. Szeider / in: "Principles and Practice of Constraint Programming", issued by: Springer Verlag; Springer-Verlag, 2018, 109 - 127
- Local Redundancy in SAT: Generalizations of Blocked Clauses / B. Kiesl, M. Seidl, H. Tompits, A. Biere / Logical Methods in Computer Science, 14 (2018), 4
- On the Complexity of Rainbow Coloring Problems / E. Eiben, R. Ganian, J. Laurila / Discrete Applied Mathematics, 246 (2018), 38 - 48
- On homeomorphically irreducible spanning trees in cubic graphs / A. Hoffmann-Ostenhof, K. Noguchi, K. Ozeki / Journal of Graph Theory, 89 (2018), 2; 93 - 100
- Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP / T. Eiter, G. Friedrich, R. Taupe, A. Weinzierl / KI - Künstliche Intelligenz, 32 (2018), 2-3; 197 - 198
Recent Awards
- Stefan Woltran: EurAI Fellows programme / EurAI Fellow / Website / 2018
- Ewa Vesely: Vereinbarkeit vom Beruf/Forschung und Pflege von Angehörigen / HR Inside Summit Award 2016, BRONZE / Austria / Website / 2016
- Ewa Vesely: Unterstützungsmaßnahmen für pflegende Angehörige / Austria / Website / 2016
- Federico Aschieri: Curry-Howard, Game Semantics and Herbrand's Theorem / Meitner-Programm / Austria / Project / 2015
- Florian Zuleger: Verication of Asynchronous Mobile-Robots in Partially-Known Environments / Best Paper Award / Italy / 2015
- Georg Gottlob: ExtraLytics / ERC Europäischer Forschungsrat / 2014
- Maria Magdalena Ortiz de la Fuente: Distinguished Alumna Award of the European Masters in Computational Logic / International Organization / 2014
- Stefan Woltran: Treating Hard Problems with Decomposition and Dynamic Programming (Decodyn) / START-Programm / Austria / Website / Project / 2014
- Maria Magdalena Ortiz de la Fuente: EMCL Distinguished Alumni Award / Joint Consortium of the European Masters in Computational Logic / 2014
- Stefan Woltran: Distinguished student paper prize at the 13th International Conference on Principles of Knowledge Representation and Reasoning. / KR Inc / 2012
- Johannes Wallner: Distinguished student paper prize at the 13th International Conference on Principles of Knowledge Representation and Reasoning. / KR Inc / 2012
- Agata Ciabattoni: Nichtklassische Beweise: Theorie, Automatisierung, Anwendung / START-Programm / Austria / 2011
- Reinhard Pichler: Best paper award at RR 2010: Int. Conf. on Web Reasoning and Rule Systems / Italy / 2010
- Georg Gottlob: DIADEM: Domain-centric Intelligent Automated Data Extraction Methodology / ERC Europäischer Forschungsrat / 2010
- Stefan Szeider: The Parameterized Complexity of Reasoning Problems / ERC Europäischer Forschungsrat / 2010