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 441-460 of 1051 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
441Ganian, Robert ; Kalany, Martin ; Szeider, Stefan ; Träff, Jesper Larsson Polynomial-time Construction of Optimal Tree-structured Communication Data Layout DescriptionsBericht Report2015
442Dunne, Paul E. ; Dvorak, Wolfgang ; Linsbichler, Thomas ; Woltran, Stefan Characteristics of Multiple Viewpoints in Abstract ArgumentationBericht Report2015
443Dvorak, Wolfgang ; Spanring, Christof Comparing the expressiveness of argumentation semanticsBericht Report2015
444Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Domain Expansion for ASP-Programs with External SourcesBericht Report2014
445Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Hecher, Markus ; Woltran, Stefan D-FLAT: Progress ReportBericht Report2014
446Antic, Christian On cascade products of answer set programsPräsentation Presentation2014
447Ciabattoni, Agata Non classical proofs: Theory, applications and toolsPräsentation Presentation2014
448Pinsker, Michael The topology of algebras, or: Polish clonesPräsentation Presentation2014
449Kuznets, Roman ; Studer, Thomas "Weak Arithmetical Interpretations for the Logic of ProofsPräsentation Presentation2014
450Kuznets, Roman Separating Truth and Proof in the Logic of ProofsPräsentation Presentation2014
451Woltran, Stefan Comparing the Power of Different Semantics for Abstract ArgumentationPräsentation Presentation2014
452Calimeri, Francesco ; Fink, Michael ; Germano, Stefano ; Humenberger, Andreas ; Ianni, Giovambattista ; Redl, Christoph ; Stepanova, Daria ; Tucci, Andrea AngryHEX: An Angry Birds-playing Agent based on HEX-ProgramsPräsentation Presentation2014
453Galatos, Nicolaos Proof theory for lattice-ordered groupsPräsentation Presentation2014
454Galatos, Nicolaos Embeddings into BiFL-algebras and conservativityPräsentation Presentation2014
455Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized Model Checking of Rendezvous SystemsPräsentation Presentation2014
456Rubin, Sasha Parameterised Verification of Robot Protocols: An Automata Theoretic ApproachPräsentation Presentation2014
457Kotek, Tomer Explaining the decompositionality of monadic second order logic using applications to combinatoricsPräsentation Presentation2014
458Baldi, Paolo ; Ciabattoni, Agata ; Terui, Kazushige Standard completeness: proof-theoretical and algebraic approachesPräsentation Presentation2014
459Fitting, Melvin ; Kuznets, Roman Applications of Nested-Sequent Proof Systems for Modal Logics to the Craig Interpolation PropertyPräsentation Presentation2014
460Galatos, Nicolaos A survey of residuated frames with connections to semirings and to display logicPräsentation Presentation2014