Institut für Logic and Computation

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
 


Results 1-17 of 17 (Search time: 0.015 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Alhazov Artiom - 2019 - Variants of P systems with activation and blocking of...pdf.jpgAlhazov, Artiom; Freund, Rudolf; Ivanov, SergiuVariants of P systems with activation and blocking of rulesArticle Artikel2019
2Knoop Jens - 2017 - Replacing Conjectures by Positive Knowledge Inferring Proven...pdf.jpgKnoop, Jens ; Kovács, Laura; Zwirchmayr, Jakob Replacing Conjectures by Positive Knowledge: Inferring Proven Precise Worst-Case Execution Time Bounds Using Symbolic ExecutionArticle Artikel2017
3Pascucci Matteo - 2019 - A Note on the Issue of Cohesiveness in Canonical Models.pdf.jpgPascucci, Matteo A Note on the Issue of Cohesiveness in Canonical ModelsArticle Artikel2019
4Demirovic Emir - 2016 - Modeling high school timetabling with bitvectors.pdf.jpgDemirović, Emir ; Musliu, Nysret Modeling high school timetabling with bitvectorsArticle Artikel2016
5Behrisch Mike - 2018 - Minimal Distance of Propositional Models.pdf.jpgBehrisch, Mike; Hermann, Miki ; Mengel, Stefan ; Salzer, Gernot Minimal Distance of Propositional ModelsArticle Artikel2018
6Aminof Benjamin - 2018 - Graded modalities in Strategy Logic.pdf.jpgAminof, Benjamin; Malvone, Vadim ; Murano, Aniello; Rubin, SashaGraded modalities in Strategy LogicArticle Artikel2018
7Cerutti Federico - 2017 - Foundations of Implementations for Formal...pdf.jpgCerutti, Federico ; Gaggl, Sarah A. ; Thimm, Matthias ; Wallner, Johannes Foundations of Implementations for Formal ArgumentationArticle Artikel2017
8Aminof Benjamin - 2017 - First-cycle games.pdf.jpgAminof, Benjamin; Rubin, SashaFirst-cycle gamesArticle Artikel2017
9Alhazov Artiom - 2018 - Extended spiking neural P systems with white hole rules...pdf.jpgAlhazov, Artiom  ; Freund, Rudolf ; Ivanov, Sergiu ; Oswald, Marion ; Verlan, Sergey  Extended spiking neural P systems with white hole rules and their red–green variantsArticle Artikel2018
10Eiter Thomas - 2018 - Exploiting Partial Assignments for Efficient Evaluation of...pdf.jpgEiter, Thomas ; Kaminski, Tobias; Redl, Christoph ; Weinzierl, Antonius Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source AccessArticle Artikel2018
11Eiter Thomas - 2018 - The DLVHEX System.pdf.jpgEiter, Thomas ; Germano, Stefano ; Ianni, Giovambattista ; Kaminski, Tobias; Redl, Christoph; Schüller, Peter ; Weinzierl, AntoniusThe DLVHEX SystemArticle Artikel2018
12Baldi Paolo - 2016 - Densification of FL chains via residuated frames.pdf.jpgBaldi, Paolo ; Terui, Kazushige Densification of FL chains via residuated framesArticle Artikel2016
13Corsi Esther Anna - 2018 - Connecting fuzzy logic and argumentation frames via...pdf.jpgCorsi, Esther Anna ; Fermüller, Christian G. Connecting fuzzy logic and argumentation frames via logical attack principlesArticle Artikel2018
14Wallner Johannes - 2017 - Complexity Results and Algorithms for Extension...pdf.jpgWallner, Johannes ; Niskanen, Andreas ; Järvisalo, Matti Complexity Results and Algorithms for Extension Enforcement in Abstract ArgumentationArticle Artikel2017
15Sinn Moritz - 2017 - Complexity and Resource Bound Analysis of Imperative...pdf.jpgSinn, Moritz ; Zuleger, Florian ; Veith, Helmut Complexity and Resource Bound Analysis of Imperative Programs Using Difference ConstraintsArticle Artikel 2017
16Tabaei Befrouei Mitra - 2016 - Abstraction and mining of traces to explain...pdf.jpgTabaei Befrouei, Mitra ; Wang, Chao ; Weissenbacher, GeorgAbstraction and mining of traces to explain concurrency bugsArticle Artikel2016
17Brewka Gerhard - 2017 - Abstract Dialectical Frameworks An Overview.pdf.jpgBrewka, Gerhard ; Ellmauthaler, Stefan ; Strass, Hannes ; Wallner, Johannes P. ; Woltran, Stefan Abstract Dialectical Frameworks. An OverviewArticle Artikel2017