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.011 seconds).

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