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

PreviewAuthor(s)TitleTypeIssue Date
181Kovacs, Laura First Order InterpolationPräsentation Presentation2019
182Kovacs, Laura Formal Methods in the Digital World (in Hungarian)Präsentation Presentation2019
183Kovacs, Laura First-Order InterpolationPräsentation Presentation2019
184Kovacs, Laura APRe, Vampire, Welcome in Vienna!Präsentation Presentation2019
185Stankovic, Miroslav Automatic Analysis for Prob-Solvable LoopsPräsentation Presentation2019
186Wu, Hsiang-Yun ; Niedermann, Benjamin ; Takahashi, Shiego ; Nöllenburg, Martin A Survey on Computing Schematic Network Maps: The Challenge to InteractivityPräsentation Presentation2019
187Eiter, Thomas Stream Reasoning and Multi-Context SystemsPräsentation Presentation2019
188Eiter, Thomas The Role of Answer Set Programming for Non-monotonic ReasoningPräsentation Presentation2019
189Eiter, Thomas Logic Programming for Stream ReasoningPräsentation Presentation2019
190Eiter, Thomas Defeasible Reasoning in Description Logic ContextsPräsentation Presentation2019
191Malavolta, Giulio ; Moreno-Sanchez, Pedro ; Schneidewind, Clara ; Kate, Aniket ; Maffei, Matteo Anonymous Multi-Hop Locks for Blockchain Scalability and InteroperabilityPräsentation Presentation2019
192Saribatur, Zeynep Gözen ; Eiter, Thomas ; Schüller, Peter Abstraction for Non-Ground Answer Set ProgramsBericht Report2019
193Gogacz, Tomasz ; Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Murlak, Filip ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Ontology Focusing: Knowledge-enriched Databases on DemandBericht Report2019
194Labai, Nadia ; Kotek, Tomer ; Ortiz de la Fuente, M.Magdalena ; Veith, Helmut Pebble-Intervals Automata and FO2 with Two Orders (Extended VersionBericht Report2019
195Li, Guangping ; Nickel, Soeren ; Nöllenburg, Martin ; Viola, Ivan ; Wu, Hsiang-Yun World map of recipesPräsentation Presentation2019
196Ciabattoni, Agata ; Genco, Francesco ; Aschieri, Federico Intermediate Logic Proofs as Concurrent ProgramsPräsentation Presentation2019
197Szeider, Stefan ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian Parameterized Complexity Results for the Completion and Clustering of Incomplete DataPräsentation Presentation2019
198Cerna, David ; Leitsch, Alexander ; Lolic, Anela Schematic Refutations of Formula SchemataPreprint Preprint2019
199Aschieri, Federico On Herbrand constructive Logics III: Intuitionistic logic of constant domainsPräsentation Presentation2018
200Aschieri, Federico Natural Deduction and Normalization Proofs for the Intersection Type DisciplinePräsentation Presentation2018