Institut für Logic and Computation

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 41-51 of 51 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
41Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat ; Konnov, Igor ; Rubin, Sasha ; Veith, Helmut ; Widder, Josef Decidability of Parameterized VerificationArtikel Article2016
42Charwat, Günther ; Dvořák, Wolfgang ; Gaggl, Sarah A. ; Wallner, Johannes P. ; Woltran, Stefan Methods for solving reasoning problems in abstract argumentation - A surveyArtikel Article 2015
43Volkanov, D. Yu ; Zakharov, V. A. ; Zorin, D. A. ; Podymov, Vladislav V. ; Konnov, I. V. A Combined Toolset for the Verification of Real-Time Distributed SystemsArtikel Article 2015
44Eiter, Thomas ; Gottlob, Georg Marco Cadoli's Work on Nonmonotonic ReasoningArtikel Article2013
45BLIEM, BERNHARD ; MORAK, MICHAEL ; WOLTRAN, STEFAN D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set ProgrammingArtikel Article2012
46Guttenbrunner, Mark ; Ghete, Mihai ; John, Annu ; Lederer, Chrisanth ; Rauber, Andreas Migrating Home Computer Audio Waveforms to Digital Objects: A Case Study on Digital ArchaeologyArtikel Article 2011
47Eiter, Thomas ; Makino, Kazuhisa ; Gottlob, Georg Computational Aspects of Monotone Dualization: A Brief SurveyArtikel Article2008
48Leone, Nicola ; Pfeifer, Gerald ; Faber, Wolfgang ; Eiter, Thomas ; Gottlob, Georg ; Perri, Simona ; Scarcello, Francesco The DLV System for knowledge representation and reasoningArtikel Article2006
49Gottlob, Georg ; Koch, Christoph ; Schulz, Klaus U. Conjunctive Queries over TreesArtikel Article2006
50Eiter, Thomas ; Gottlob, Georg Reasoning Under Minimal Upper Bounds in Propositional LogicArtikel Article2006
51Cadoli, Marco ; Eiter, Thomas ; Gottlob, Georg Complexity of Nested Circumscription and Nested Abnormality TheoriesArtikel Article2005