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

PreviewAuthor(s)TitleTypeIssue Date
201Saribatur, Zeynep Gözen ; Eiter, Thomas Omission-based Abstraction for Answer Set Programs (Extended Abstract)Präsentation Presentation2018
202Fermüller, Christian Automated Deduction in Classical and Nonclassical Logic: A bird's eyes view with hints on bounded reasoningPräsentation Presentation2018
203Fermüller, Christian A cost conscious game model for intutionistic linear logic with subexponentialsPräsentation Presentation2018
204Fermüller, Christian From Lorenzen's dialogue game to game semantics for substructural logicsPräsentation Presentation2018
205Fermüller, Christian Exploring Argumentation Based Semantics for Relevance LogicPräsentation Presentation2018
206Fermüller, Christian Games and analytic proof systemsPräsentation Presentation2018
207Dvorak, Wolfgang Lower bounds for symbolic computation on graphsPräsentation Presentation2018
208Majer, Ondrej ; Fermüller, Christian On the Expressivity of the Propositional Fragment of Independence Friendly LogicPräsentation Presentation2018
209Fermüller, Christian ; Lang, Timo Interpretpreting Substructural Logics by Games of Information ExtractionPräsentation Presentation2018
210Saribatur, Zeynep Gözen ASP-based Perspective on Reactive Policies with PlanningPräsentation Presentation2018
211Fermüller, Christian Substructural Calculi and Games of Information ExtractionPräsentation Presentation2018
212Kuznets, Roman Nesting multi-conclusions: the Maehara conundrumPräsentation Presentation2018
213Kaminski, Tobias ; Eiter, Thomas ; Inoue, Katsumi Efficiently Encoding Meta-Interpretive Learning by Answer Set ProgrammingPräsentation Presentation2018
14Freund, Rudolf ; Alhazov, Artiom ; Ivanov, Sergui Activation and Blocking of RulesPräsentation Presentation2018
15Woltran, Stefan Solving (Q)SAT Problems via Tree Decomposition and Dynamic ProgrammingPräsentation Presentation2018
16Kovacs, Laura First-Order Interpolation in the Grey Area of ProofsPräsentation Presentation2018
17Kovacs, Laura Symbol Elimination for Program AnalysisPräsentation Presentation2018
18Kovacs, Laura Symbol Elimination in Program AnalysisPräsentation Presentation2018
19Eiter, Thomas ; Kaminski, Tobias ; Redl, Christoph ; Weinzierl, Antonius Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source AccessBericht Report2018
20Redl, Christoph Inconsistency in Answer Set Programs and ExtensionsBericht Report2018