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

PreviewAuthor(s)TitleTypeIssue Date
281Lonsing, Florian Evaluating QBF Solvers: Quantifier Alternations MatterPräsentation Presentation2017
282Kovacs, Laura Symbol Elimination for Program AnalysisPräsentation Presentation2017
283Szeider, Stefan Backdoors for Constraint SatisfactionPräsentation Presentation2017
284Szeider, Stefan Capturing Structure in Instances of the Propositional Satisfiability ProblemPräsentation Presentation2017
285Fermüller, Christian A logical perspective on argumentationPräsentation Presentation2017
286Klute, Fabian ; Nöllenburg, Martin Minimizing crossings in constrained two-sided circular graph layoutsPräsentation Presentation2017
287Kompatscher, Michael ; Pinsker, Michael Oligomorphic clonesPräsentation Presentation2017
288Kompatscher, Michael Linearization of certain non-trivial equations in oligomorphic clonesPräsentation Presentation2017
289Schüller, Peter ASP-based Inductive Logic Programming applied to Phrase Chunking: Challenges and ImprovementsPräsentation Presentation2017
290Fermüller, Christian Connecting Argumentation, Incompatibility Semantics, Nmatrices, and Relevance LogicsPräsentation Presentation2017
291Fermüller, Christian Connecting fuzzy logic and argumentation frames via logical attack principlesPräsentation Presentation2017
292Kuznets, Roman Herbrand's Phenomena in Justification LogicPräsentation Presentation2017
293Reger, Giles ; Suda, Martin Measuring progress to predict success: Can a good proof strategy be evolved?Präsentation Presentation2017
294Pinsker, Michael Equations in oligomorphic algebrasPräsentation Presentation2017
295Fullen, Marta ; Schüller, Peter ; Niggemann, Oliver Semi-supervised Case-based Reasoning Approach to Alarm Flood AnalysisPräsentation Presentation2017
296Redl, Christoph DLVHEX: A user-oriented integration of answer set programming with external sourcesPräsentation Presentation2017
297Kuznets, Roman Through an Inference Rule, DarklyPräsentation Presentation2017
298Humenberger, Andreas ; Jaroschek, Maximilian ; Kovacs, Laura Polynomial Invariant Generation for Multi-Path LoopsPräsentation Presentation2017
299Lolic, Anela ; Leitsch, Alexander Expansion Trees from Non-Normalized Proofs with CERESPräsentation Presentation2017
300Riedler, Martin ; Leitner, Markus ; Ljubic, Ivana ; Ruthmair, Mario Using Layered Graphs to solve the Directed Network Design Problem with RelaysPräsentation Presentation2017