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 361-380 of 1051 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
361Kuznets, Roman Syntax Meets Semantcs to Prove InterpolationPräsentation Presentation2016
362Freund, Rudolf Red-Green P AutomataPräsentation Presentation2016
363Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine LearningBericht Report2016
364Charwat, Günther ; Woltran, Stefan BDD-based Dynamic Programming on Tree DecompositionsBericht Report2016
365Bichler, Manuel ; Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan Treewidth-Preserving Modeling in ASPBericht Report2016
366Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan htd -- A Free, Open-Source Framework for Tree Decompositions and BeyondBericht Report2016
367Fichte, Johannes ; Kronegger, Martin ; Woltran, Stefan Multiparametric View on Answer Set ProgrammingBericht Report2016
368Fichte, Johannes ; Szeider, Stefan Backdoor Trees for Answer Set ProgrammingBericht Report2016
369Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Answer Set Solving using Tree Decompositions and Dynamic Programming -- The DynASP2 SystemBericht Report2016
370Redl, Christoph The ABC Benchmarking System User ManualBericht Report2016
371Ciabattoni, Agata ; Genco, Francesco Hypersequents and Systems of Rules: An EmbeddingPräsentation Presentation2016
372Biere, Armin ; Kiesl, Benjamin ; Seidl, Martina ; Suda, Martin Blocked clauses in first-order logicPräsentation Presentation2016
373Pinsker, Michael Constraint satisfaction problems for reducts of homogeneous graphsPreprint Preprint2016
374Fermüller, Christian Connecting Lorenzen style games and Gentzen style calculiPräsentation Presentation2015
375Fermüller, Christian Equilibrium Semantics for IF-Logic and Many-Valued ConnectivesPräsentation Presentation2015
376Fermüller, Christian Game Semantics for Vague QuantifiersPräsentation Presentation2015
377Fermüller, Christian Lorenzen-style Dialogues and Substructural Sequent SystemsPräsentation Presentation2015
378Fermüller, Christian Hintikka-style semantic games for many-valued logicsPräsentation Presentation2015
379Kuznets, Roman Interpolation Method for Multicomponent Sequent CalculiPräsentation Presentation2015
380Pinsker, Michael Conjectures for clones over finitely bounded homogenous structuresPräsentation Presentation2015