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

PreviewAuthor(s)TitleTypeIssue Date
301Reger, Giles ; Suda, Martin When Should We Add Theory Axioms And Which Ones?Präsentation Presentation2016
302Kuznets, Roman Craig and Lyndon Interpolation Via Labelled Sequent CalculiPräsentation Presentation2016
303Kuznets, Roman Syntactic Interpolation: Limits and ChallengesPräsentation Presentation2016
304Reger, Giles ; Suda, Martin Revisiting Global SubsumptionPräsentation Presentation2016
305Maschler, Johannes ; Riedler, Martin ; Stock, Markus ; Raidl, Günther Particle Therapy Patient Scheduling: First Heuristic ApproachesPräsentation Presentation2016
6Raidl, Günther Algorithms for Vehicle RoutingPräsentation Presentation2016
7Kovacs, Laura With a Timisoara Background in the Scientific World of Computer Science andPräsentation Presentation2016
8Kovacs, Laura First-Order Theorem Proving and VampirePräsentation Presentation2016
9Egly, Uwe Translations from QBFs to First-order LogicPräsentation Presentation2016
10Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena Query Answering with Description Logic OntologiesPräsentation Presentation2016
11Ortiz de la Fuente, M.Magdalena Expressive Ontology and Query Languages for Data Access and ManagementPräsentation Presentation2016
12Andresel, Medina-Petrina A Compilation Technique for Interactive Ontology-mediated Data ExplorationPräsentation Presentation2016
13Eiter, Thomas Answer Set Programming and ExtensionsPräsentation Presentation2016
14Eiter, Thomas Georg Gottlob: Life and PicturesPräsentation Presentation2016
15Eiter, Thomas Some Thoughts on Stream Reasoning, Revision and UpdatePräsentation Presentation2016
16Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Managing Change in Graph-Structured Data Using Description LogicsPräsentation Presentation2016
17Barkatou, Moulay ; Jaroschek, Maximilian Desingularization of First Order Linear Difference Systems with Rational Function CoefficientsPräsentation Presentation2016
18Eiter, Thomas Knowledge-Based System Group, Vienna University of TechnologyPräsentation Presentation2016
19Freund, Rudolf Variants of Energy-Controlled P Systems" AutorenPräsentation Presentation2016
20Jaroschek, Maximilian ; Barkatou, Moulay Desingularization of First Order Linear Difference Systems with Rational Function CoefficientsPräsentation Presentation2016