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 161-180 of 1049 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
161van Berkel, Kees Evaluating Networks of Structured Arguments with Support and a Case Study in Mimamsa Dialectics.Präsentation Presentation2019
162Slivovsky, Friedrich An Introduction to Knowledge CompilationPräsentation Presentation2019
163Fermüller, Christian Judgment Aggregation From a Many-valued Logic PerspectivePräsentation Presentation2019
164Fermüller, Christian Modalities as prices: a game model of intuitionistic linear logic with subexponentialsPräsentation Presentation2019
165van Berkel, Kees Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT LogicsPräsentation Presentation2019
166Freund, Rudolf ; Alhazov, Artiom Blind and partially blind reister machines over groupsPräsentation Presentation2019
167Szeider, Stefan Computational Thinking und ADA.wienPräsentation Presentation2019
168Freund, Rudolf Reversibility and Determinism in P SystemsPräsentation Presentation2019
169Lang, Timo Bounded sequent calculi via hypersequentsPräsentation Presentation2019
170Fermüller, Christian Argumentation Based Semantics for Nonclassical LogicsPräsentation Presentation2019
171Freund, Rudolf Tissue P Systems with Anti-CellsPräsentation Presentation2019
172Weinzierl, Antonius Lazy Grounding for Answer Set Programming: Challenges and PotentialPräsentation Presentation2019
173Kovacs, Laura Symbol Elimination and VampirePräsentation Presentation2019
174Kovacs, Laura 60 Shades of Grey in VampirePräsentation Presentation2019
175Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo Trace Reasoning for Formal Verification using the First-Order Superposition CalculusPräsentation Presentation2019
176Kovacs, Laura Verifying Relational Properties using Trace LogicPräsentation Presentation2019
177Gleiss, Bernhard ; Kovacs, Laura ; Rath, Jakob Forward Subsumption Demodulation - Fast Conditional Rewriting in VampirePräsentation Presentation2019
178Rath, Jakob Subsumption Demodulation in First-Order Theorem ProvingPräsentation Presentation2019
179Kovacs, Laura Symbolic Computation and Automated Reasoning for Program AnalysisPräsentation Presentation2019
180Kovacs, Laura Interpolation in the Grey Area of ProofsPräsentation Presentation2019