2021
[232] Pruning external minimality checking for answer set programs using semantic dependencies
Thomas Eiter, Tobias Kaminski
Artif. Intell., volume 290, pages 103402, 2021.
[bibtex] [pdf] [doi]
[231] Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper)
Andreas Humenberger, Laura Kovács
Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings (Fritz Henglein, Sharon Shoham, Yakir Vizel, eds.), volume 12597 of Lecture Notes in Computer Science, pages 17–28, 2021, Springer.
[bibtex] [pdf] [doi]
2020
[230] Trace Logic for Inductive Loop Reasoning
Pamina Georgiou, Bernhard Gleiss, Laura Kovács
2020 Formal Methods in Computer Aided Design (FMCAD), pages 255–263, 2020.
[bibtex] [pdf] [doi]
[229]Defining Argumentation Semantics under a Claim-centric View
Anna Rapberger
Proceedings of the 9th European Starting AI Researchers Symposium (STAIRS 2020), 2020.
Note: To appear
[bibtex]
[228]Tutorial: Parameterized Verification with Byzantine Model Checker
Igor Konnov, Marijana Lazi\'c, Ilina Stoilkovska, Josef Widder
Formal Techniques for Distributed Objects, Components, and Systems, volume 12136 of IFIP-LNCS, 2020.
[bibtex]
[227]Induction with Generalization in Superposition Reasoning
Márton Hajdú, Petra Hozzová, Johannes Schoisswohl, Laura Kovács, Andrei Voronkov
CICM, 2020.
[bibtex]
[226] ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation
Wolfgang Dvorák, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran
Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings (Andreas Herzig, Juha Kontinen, eds.), volume 12012 of Lecture Notes in Computer Science, pages 79–89, 2020, Springer.
[bibtex] [pdf] [doi]
[225]Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning(KR 2020), 2020.
Note: To appear
[bibtex]
[224]On the Different Types of Collective Attacks in Abstract Argumentation: Equivalence Results for SETAFs
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
Journal of Logic and Computation, 2020.
Note: To appear
[bibtex]
[223]On the relation between Claim-augmented Argumentation Frameworks and Collective Attacks
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), 2020.
Note: To appear
[bibtex]
[222] Stable Model Semantics for Recursive SHACL
Medina Andresel, Julien Corman, Magdalena Ortiz, Juan L. Reutter, Ognjen Savkovic, Mantas Simkus
WWW '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020 (Yennun Huang, Irwin King, Tie-Yan Liu, Maarten van Steen, eds.), pages 1570–1580, 2020, ACM / IW3C2.
[bibtex] [pdf] [doi]
[221]Language Inclusion for Finite Prime Event Structures
Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher
VMCAI, volume 11990 of Lecture Notes in Computer Science, pages 314–336, 2020, Springer.
[bibtex] [doi]
[220] Mora - Automatic Generation of Moment-Based Invariants
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I (Armin Biere, David Parker, eds.), volume 12078 of Lecture Notes in Computer Science, pages 492–498, 2020, Springer.
[bibtex] [pdf] [doi]
[219] RAT Elimination
Adrián Rebola-Pardo, Georg Weissenbacher
LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020 (Elvira Albert, Laura Kovács, eds.), volume 73 of EPiC Series in Computing, pages 423–448, 2020, EasyChair.
[bibtex] [pdf]
[218] Pebble-Intervals Automata and FO\(^\mbox2\) with Two Orders
Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith
LATA, volume 12038 of Lecture Notes in Computer Science, pages 208–221, 2020, Springer.
[bibtex] [pdf]
[217] Algebra-Based Loop Synthesis
Andreas Humenberger, Nikolaj Bjørner, Laura Kovács
Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings (Brijesh Dongol, Elena Troubitsyna, eds.), volume 12546 of Lecture Notes in Computer Science, pages 440–459, 2020, Springer.
[bibtex] [pdf] [doi]
[216] Frying the egg, roasting the chicken: unit deletions in DRAT proofs
Johannes Altmanninger, Adrián Rebola Pardo
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020 (Jasmin Blanchette, Catalin Hritcu, eds.), pages 61–70, 2020, ACM.
[bibtex] [pdf] [doi]
[215] A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms
Kees van Berkel, Tim Lyon, Francesco Olivieri
Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings (Mehdi Dastani, Huimin Dong, Leon van der Torre, eds.), volume 12061 of Lecture Notes in Computer Science, pages 219–241, 2020, Springer.
[bibtex] [pdf] [doi]
[214] eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei
CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020 (Jay Ligatti, Xinming Ou, Jonathan Katz, Giovanni Vigna, eds.), pages 621–640, 2020, ACM.
[bibtex] [pdf] [doi]
[213] Computing Optimal Hypertree Decompositions
André Schidler, Stefan Szeider
Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2020, Salt Lake City, UT, USA, January 5-6, 2020 (Guy E. Blelloch, Irene Finocchi, eds.), pages 1–11, 2020, SIAM.
[bibtex] [pdf] [doi]
[212] An Efficient Algorithm for Counting Markov Equivalent DAGs
Robert Ganian, Thekla Hamm, Topi Talvitie
The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020, pages 10136–10143, 2020, AAAI Press.
[bibtex] [pdf]
[211] Parameterized Complexity of Envy-Free Resource Allocation in Social Networks
Eduard Eiben, Robert Ganian, Thekla Hamm, Sebastian Ordyniak
The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020, pages 7135–7142, 2020, AAAI Press.
[bibtex] [pdf]
[210] Query Rewriting for Ontology-Mediated Conditional Answers
Medina Andresel, Magdalena Ortiz, Mantas Simkus
The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020, pages 2734–2741, 2020, AAAI Press.
[bibtex] [pdf]
2019
[209]Abstraction for Non-Ground Answer Set Programs
Zeynep G. Saribatur, Peter Schüller, Thomas Eiter
16th European Conference on Logics in Artificial Intelligence, JELIA 2019, 2019.
Note: To appear
[bibtex]
[208]Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search
Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
ACM Trans. Embedded Comput. Syst., volume 18, number 1, pages 4:1–4:28, 2019.
[bibtex] [doi]
[207] Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems
Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa
Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019, pages 293–312, 2019.
[bibtex] [pdf] [doi]
[206] Integrated Algorithms for HEX-Programs and Applications in Machine Learning
Tobias Kaminski
CoRR, volume abs/1905.02428, 2019.
[bibtex] [pdf]
[205] Verifying Safety of Synchronous Fault-Tolerant Algorithms Bounded Model Checking
Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, pages 357–374, 2019.
[bibtex] [pdf] [doi]
[204] Effective Entailment Checking for Separation Logic with Inductive Definitions
Jens Katelaan, Christoph Matheja, Florian Zuleger
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, pages 319–336, 2019.
[bibtex] [pdf] [doi]
[203] A Game Model for Proofs with Costs
Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Serenella Cerrito, Andrei Popescu, eds.), volume 11714 of Lecture Notes in Computer Science, pages 241–258, 2019, Springer.
[bibtex] [pdf] [doi]
[202] Bounded Sequent Calculi for Non-classical Logics via Hypersequents
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (Serenella Cerrito, Andrei Popescu, eds.), volume 11714 of Lecture Notes in Computer Science, pages 94–110, 2019, Springer.
[bibtex] [pdf] [doi]
[201]Mutation Testing with Hyperproperties
Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
SEFM, volume 11724 of Lecture Notes in Computer Science, pages 203–221, 2019, Springer.
[bibtex] [doi]
[200] Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
Tim Lyon, Kees van Berkel
PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings, pages 202–218, 2019.
[bibtex] [pdf] [doi]
[199] HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings
Wolfgang Fischl, Georg Gottlob, Davide Mario Longo, Reinhard Pichler
Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019 (Dan Suciu, Sebastian Skritek, Christoph Koch, eds.), pages 464–480, 2019, ACM.
[bibtex] [pdf] [doi]
[198] Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability
Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, Matteo Maffei
26th Annual Network and Distributed System Security Symposium, NDSS 2019, San Diego, California, USA, February 24-27, 2019, 2019, The Internet Society.
[bibtex] [pdf]
[197] Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth
Eduard Eiben, Robert Ganian, Thekla Hamm, O-joung Kwon
44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany (Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen, eds.), volume 138 of LIPIcs, pages 42:1–42:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
[bibtex] [pdf] [doi]
[196] Pruning External Minimality Checking for ASP Using Semantic Dependencies
Thomas Eiter, Tobias Kaminski
Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings (Marcello Balduccini, Yuliya Lierler, Stefan Woltran, eds.), volume 11481 of Lecture Notes in Computer Science, pages 326–339, 2019, Springer.
[bibtex] [pdf] [doi]
[195] A Neutral Temporal Deontic STIT Logic
Kees van Berkel, Tim Lyon
Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings, pages 340–354, 2019.
[bibtex] [pdf] [doi]
[194] Evaluating Networks of Arguments: A Case Study in M\=im\=a\unicode7747s\=a Dialectics
Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Sanjay Modgil
Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings, pages 355–369, 2019.
[bibtex] [pdf] [doi]
[193] Strong Equivalence for Argumentation Frameworks with Collective Attacks
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings (Christoph Benzmüller, Heiner Stuckenschmidt, eds.), volume 11793 of Lecture Notes in Computer Science, pages 131–145, 2019, Springer.
[bibtex] [pdf]
[192] Cut-Free Calculi and Relational Semantics for Temporal STIT Logics
Kees van Berkel, Tim Lyon
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pages 803–819, 2019.
[bibtex] [pdf] [doi]
[191] Finding Linear Arrangements of Hypergraphs with Bounded Cutwidth in Linear Time
Thekla Hamm
14th International Symposium on Parameterized and Exact Computation, IPEC 2019, September 11-13, 2019, Munich, Germany (Bart M. P. Jansen, Jan Arne Telle, eds.), volume 148 of LIPIcs, pages 20:1–20:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
[bibtex] [pdf] [doi]
[190] Meta-Interpretive Learning Using HEX-Programs
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019 (Sarit Kraus, ed.), pages 6186–6190, 2019, ijcai.org.
[bibtex] [pdf] [doi]
[189] Interactive Visualization of Saturation Attempts in Vampire
Bernhard Gleiss, Laura Kovács, Lena Schnedlitz
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings (Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, eds.), volume 11918 of Lecture Notes in Computer Science, pages 504–513, 2019, Springer.
[bibtex] [pdf]
[188] Additive First-Order Queries
Gerald Berger, Martin Otto, Andreas Pieris, Dimitri Surinx, Jan Van den Bussche
22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal, pages 19:1–19:14, 2019.
[bibtex] [pdf] [doi]
[187] Epistemic Reasoning with Byzantine-Faulty Agents
Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa
Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pages 259–276, 2019.
[bibtex] [pdf] [doi]
[186] Verifying Relational Properties using Trace Logic
Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei
2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019 (Clark W. Barrett, Jin Yang, eds.), pages 170–178, 2019, IEEE.
[bibtex] [pdf] [doi]
[185] Answer Set Programs Challenged by Ontologies
Magdalena Ortiz, Sanja Pavlovic, Mantas Simkus
Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019 (Mantas Simkus, Grant E. Weddell, eds.), volume 2373 of CEUR Workshop Proceedings, 2019, CEUR-WS.org.
[bibtex] [pdf]
[184] Under the Hood of a Stand-Alone Lagrangian Reachability Tool
Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019 (Goran Frehse, Matthias Althoff, eds.), volume 61 of EPiC Series in Computing, pages 211–219, 2019, EasyChair.
[bibtex] [pdf] [doi]
[183] Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza, eds.), volume 11781 of Lecture Notes in Computer Science, pages 255–276, 2019, Springer.
[bibtex] [pdf] [doi]
[182] HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings
Wolfgang Fischl, Georg Gottlob, Davide M. Longo, Reinhard Pichler
Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunción, Paraguay, June 3-7, 2019 (Aidan Hogan, Tova Milo, eds.), volume 2369 of CEUR Workshop Proceedings, 2019, CEUR-WS.org.
[bibtex] [pdf]
[181] Relaxing and Restraining Queries for OBDA
Medina Andresel, Yazmin Ibáñez-García, Magdalena Ortiz, Mantas Simkus
The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019, pages 2654–2661, 2019, AAAI Press.
[bibtex] [pdf] [doi]
2018
[180] Long-Distance Q-Resolution with Dependency Schemes
Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider
Journal of Automated Reasoning, Jun 2018.
[bibtex] [pdf] [doi]
[179] Abstraction for Non-Ground Answer Set Programs
Zeynep G. Saribatur, Peter Schüller, Thomas Eiter
Workshop on Trends and Applications of Answer Set Programming (TAASP), November 2018, 2018.
[bibtex] [pdf]
[178] Omission-based Abstraction for Answer Set Programs
Zeynep G. Saribatur, Thomas Eiter
Proc. 16th International Conference on Principles of Knowledge Representation and Reasoning (KR), October 2018, 2018.
[bibtex] [pdf]
[177] Towards Abstraction in ASP with an Application on Reasoning about Agent Policies.
Zeynep G. Saribatur, Thomas Eiter
Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP), July 2018, 2018.
[bibtex] [pdf]
[176]Harrsh: A Tool for Unified Reasoning about Symbolic-Heap Separation Logic
Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
Proceedings of the 13th International Workshop on the Implementation of Logics (IWIL), 2018.
[bibtex]
[175]Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories
Zeynep G. Saribatur, Volkan Patoglu, Esra Erdem
Autonomous Robots, 2018.
Note: To be published
[bibtex] [doi]
[174] Polynomial-Time Validation of QCDCL Certificates
Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider
Theory and Applications of Satisfiability Testing – SAT 2018 (Olaf Beyersdorff, Christoph M. Wintersteiger, eds.), pages 253–269, 2018, Springer International Publishing.
[bibtex] [pdf] [doi]
[173] Extracting Symbolic Transitions from TLA+ Specifications
Jure Kukovec, Thanh-Hai Tran, Igor Konnov
ABZ 2018, 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018.
Note: (to appear)
[bibtex] [pdf]
[172] Portfolio-Based Algorithm Selection for Circuit QBFs
Holger H. Hoos, Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider
Principles and Practice of Constraint Programming (John Hooker, ed.), pages 195–209, 2018, Springer International Publishing.
[bibtex] [pdf] [doi]
[171] Solving Problems on Graphs of High Rank-Width
Eduard Eiben, Robert Ganian, Stefan Szeider
Algorithmica, volume 80, number 2, pages 742–771, 2018.
[bibtex] [pdf] [doi]
[170]Improved Results for Minimum Constraint Removal
Eduard Eiben, Jonathan Gemmell, Iyad Kanj, Andrew Youngdahl
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, AAAI 2018, February 2-7, 2018, New Orleans, Louisiana, USA, 2018.
Note: To appear
[bibtex]
[169] Efficient translation of sequent calculus proofs into natural deduction proofs
Gabriel Ebner, Matthias Schlaipfer
Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR) (Boris Konev, Josef Urban, Philipp Rümmer, eds.), pages 17–33, 2018.
[bibtex] [pdf]
[168] Applications of ASP in Formal Argumentation
Martin Diller, Wolfgang Dv̌orák, Jörg Pührer, Johannes Peter Wallner, Stefan Woltran
Proceedings of the 2nd Workshop on Trends and Applications of Answer Set Programming (TAASP 2018), 2018.
[bibtex] [pdf]
[167] Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
TPLP, volume 18, number 3-4, pages 571–588, 2018.
[bibtex] [pdf]
[166] The problem of Pi2-cut-introduction
Alexander Leitsch, Michael Peter Lettmann
Theor. Comput. Sci., volume 706, pages 83–116, 2018.
[bibtex] [pdf] [doi]
[165] The DLVHEX System
Thomas Eiter, Stefano Germano, Giovambattista Ianni, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
KI, volume 32, number 2-3, pages 187–189, 2018.
[bibtex] [pdf] [doi]
[164] Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl
J. Artif. Intell. Res., volume 62, pages 665–727, 2018.
[bibtex] [pdf] [doi]
[163] An extension-based approach to belief revision in abstract argumentation
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
Int. J. Approx. Reasoning, volume 93, pages 395–423, 2018.
[bibtex] [pdf] [doi]
[162] A many-sorted variant of Japaridze's polymodal provability logic
Gerald Berger, Lev D. Beklemishev, Hans Tompits
Logic Journal of the IGPL, volume 26, number 5, pages 505–538, 2018.
[bibtex] [pdf] [doi]
[161] Classical Proofs as Parallel Programs
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pages 43–57, 2018.
[bibtex] [pdf] [doi]
[160] Relaxing and Restraining Queries for OBDA
Medina Andresel, Yazmin Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
CoRR, volume abs/1808.02850, 2018.
[bibtex] [pdf]
[159] A Tableaux Calculus for Reducing Proof Size
Michael Peter Lettmann, Nicolas Peltier
CoRR, volume abs/1801.04163, 2018.
[bibtex] [pdf]
[158] Invariant Generation for Multi-Path Loops with Polynomial Assignments
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Isil Dillig, Jens Palsberg, eds.), volume 10747 of Lecture Notes in Computer Science, pages 226–246, 2018, Springer.
[bibtex] [pdf] [doi]
[157] Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger
Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Isil Dillig, Jens Palsberg, eds.), volume 10747 of Lecture Notes in Computer Science, pages 1–24, 2018, Springer.
[bibtex] [pdf] [doi]
[156] WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring
Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta
27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15-17, 2018 (William Enck, Adrienne Porter Felt, eds.), pages 1493–1510, 2018, USENIX Association.
[bibtex] [pdf]
[155] Lossy Kernels for Connected Dominating Set on Sparse Graphs
Eduard Eiben, Mithilesh Kumar, Amer E. Mouawad, Fahad Panolan, Sebastian Siebertz
35th Symposium on Theoretical Aspects of Computer Science, STACS 2018, February 28 to March 3, 2018, Caen, France (Rolf Niedermeier, Brigitte Vallée, eds.), volume 96 of LIPIcs, pages 29:1–29:15, 2018, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
[bibtex] [pdf] [doi]
[154] Small Resolution Proofs for QBF using Dependency Treewidth
Eduard Eiben, Robert Ganian, Sebastian Ordyniak
35th Symposium on Theoretical Aspects of Computer Science, STACS 2018, February 28 to March 3, 2018, Caen, France (Rolf Niedermeier, Brigitte Vallée, eds.), volume 96 of LIPIcs, pages 28:1–28:15, 2018, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
[bibtex] [pdf] [doi]
[153] Two flavors of DRAT
Adrián Rebola-Pardo, Armin Biere
Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018 (Daniel Le Berre, Matti Järvisalo, eds.), volume 59 of EPiC Series in Computing, pages 94–110, 2018, EasyChair.
[bibtex] [pdf]
[152] Local Soundness for QBF Calculi
Martin Suda, Bernhard Gleiss
Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, pages 217–234, 2018.
[bibtex] [pdf] [doi]
[151] Notions of Instrumentality in Agency Logic
Kees van Berkel, Matteo Pascucci
PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29 - November 2, 2018, Proceedings, pages 403–419, 2018.
[bibtex] [pdf]
[150] A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (Lujo Bauer, Ralf Küsters, eds.), volume 10804 of Lecture Notes in Computer Science, pages 243–269, 2018, Springer.
[bibtex] [pdf] [doi]
[149] Containment for Rule-Based Ontology-Mediated Queries
Pablo Barceló, Gerald Berger, Andreas Pieris
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Houston, TX, USA, June 10-15, 2018, pages 267–279, 2018.
[bibtex] [pdf] [doi]
[148]Aligator.jl - A Julia Package for Loop Invariant Generation
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
CICM, volume 11006 of Lecture Notes in Computer Science, pages 111–117, 2018, Springer.
[bibtex]
[147] A Theory of Satisfiability-Preserving Proofs in SAT Solving
Adrián Rebola-Pardo, Martin Suda
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018 (Gilles Barthe, Geoff Sutcliffe, Margus Veanes, eds.), volume 57 of EPiC Series in Computing, pages 583–603, 2018, EasyChair.
[bibtex] [pdf]
[146] Loop Analysis by Quantification over Iterations
Bernhard Gleiss, Laura Kovács, Simon Robillard
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pages 381–399, 2018.
[bibtex] [pdf]
[145]From Display to Labelled Proofs for Tense Logics
Agata Ciabattoni, Tim Lyon, Revantha Ramanayake
Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings (Sergei N. Artëmov, Anil Nerode, eds.), volume 10703 of Lecture Notes in Computer Science, pages 120–139, 2018, Springer.
[bibtex]
[144]A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem
Matthias Baaz, Alexander Leitsch, Anela Lolic
Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings (Sergei N. Artëmov, Anil Nerode, eds.), volume 10703 of Lecture Notes in Computer Science, pages 55–71, 2018, Springer.
[bibtex] [doi]
[143] Relaxing and Restraining Queries for OBDA - Extended Abstract
Medina Andresel, Yazmin Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. (Michael Thielscher, Francesca Toni, Frank Wolter, eds.), pages 617–618, 2018, AAAI Press.
[bibtex] [pdf]
[142] First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., pages 1707–1713, 2018.
[bibtex] [pdf] [doi]
[141] Compiling Model Representations for Querying Large ABoxes in Expressive DLs
Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., pages 1691–1698, 2018.
[bibtex] [pdf] [doi]
[140] Enumeration Complexity of Conjunctive Queries with Functional Dependencies
Nofar Carmeli, Markus Kröll
21st International Conference on Database Theory, ICDT 2018, March 26-29, 2018, Vienna, Austria (Benny Kimelfeld, Yael Amsterdamer, eds.), volume 98 of LIPIcs, pages 11:1–11:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
[bibtex] [pdf] [doi]
[139] Rewriting Guarded Existential Rules into Small Datalog Programs
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
21st International Conference on Database Theory, ICDT 2018, March 26-29, 2018, Vienna, Austria, pages 4:1–4:24, 2018.
[bibtex] [pdf] [doi]
[138] Complete and Efficient DRAT Proof Checking
Adrian Rebola-Pardo, Luís Cruz-Filipe
2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018 (Nikolaj Bjørner, Arie Gurfinkel, eds.), pages 1–9, 2018, IEEE.
[bibtex] [pdf] [doi]
[137] Formal Verification of Masked Hardware Implementations in the Presence of Glitches
Roderick Bloem, Hannes Gross, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes Winter
Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2018.
[bibtex] [pdf]
[136] Taming Complex Role Inclusions for DL-Lite
Medina Andresel, Yazmin Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. (Magdalena Ortiz, Thomas Schneider, eds.), volume 2211 of CEUR Workshop Proceedings, 2018, CEUR-WS.org.
[bibtex] [pdf]
[135] A monadic framework for relational verification: applied to information security, program equivalence, and optimizations
Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018 (June Andronick, Amy P. Felty, eds.), pages 130–145, 2018, ACM.
[bibtex] [pdf] [doi]
[134] Investigating Subclasses of Abstract Dialectical Frameworks
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
Computational Models of Argument - Proceedings of COMMA 2018, Warsaw, Poland, 12-14 September 2018 (Sanjay Modgil, Katarzyna Budzynska, John Lawrence, eds.), volume 305 of Frontiers in Artificial Intelligence and Applications, pages 61–72, 2018, IOS Press.
[bibtex] [pdf] [doi]
[133] Foundations and Tools for the Static Analysis of Ethereum Smart Contracts
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Hana Chockler, Georg Weissenbacher, eds.), volume 10981 of Lecture Notes in Computer Science, pages 51–78, 2018, Springer.
[bibtex] [pdf] [doi]
[132] Extended Resolution Simulates DRAT
Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule
Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (Didier Galmiche, Stephan Schulz, Roberto Sebastiani, eds.), volume 10900 of Lecture Notes in Computer Science, pages 516–531, 2018, Springer.
[bibtex] [pdf] [doi]
[131] A Separation Logic with Data: Small Models and Automation
Jens Katelaan, Dejan Jovanovic, Georg Weissenbacher
Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, pages 455–471, 2018.
[bibtex] [pdf] [doi]
[130] First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, Cali, Colombia, May 21-25, 2018., 2018.
[bibtex] [pdf]
[129] Hypersequents and Systems of Rules: Embeddings and Applications
Agata Ciabattoni, Francesco A. Genco
ACM Trans. Comput. Log., volume 19, number 2, 2018.
[bibtex] [pdf]
[128] Combining Rules and Ontologies into Clopen Knowledge Bases
Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, February 2-8, 2018, New Orleans, Louisiana, USA., 2018, AAAI Press.
Note: not listed in DBLP yet
[bibtex] [pdf]
2017
[127] Greedy pebbling for proof space compression
Andreas Fellner, Bruno Woltzenlogel Paleo
International Journal on Software Tools for Technology Transfer, pages 1–16, 6 2017.
[bibtex] [pdf] [doi]
[126] Reactive Maintenance Policies over Equalized States in Dynamic Environments
Zeynep G. Saribatur, Chitta Baral, Thomas Eiter
Progress in Artificial Intelligence. 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugual, September 5-8, 2017, volume 10423 of Lecture Notes in Computer Science, pages 709–723, 2017.
[bibtex] [pdf] [doi]
[125] Blocked Clauses in First-Order Logic
Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere
Proceedings of the 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21) (Thomas Eiter, David Sands, eds.), volume 46 of EPiC Series in Computing, pages 31-48, 2017, EasyChair.
[bibtex] [pdf]
[124]The Basics of Display Calculi
Tim Lyon, Christian Ittner, Timo Eckhardt, Norbert Gratzl
Kriterion – Journal of Philosophy, volume 31, number 2, pages 55-100, 2017.
[bibtex]
[123] Stream Reasoning-Based Control of Caching Strategies in CCN Routers
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin
Proceedings of the IEEE International Conference on Communications, May 21-25, 2017, Paris, France, 2017.
[bibtex] [pdf]
[122] Optimizing Big-Data Queries Using Program Synthesis
Matthias Schlaipfer, Kaushik Rajan, Akash Lal, Malavika Samak
Proceedings of the 26th Symposium on Operating Systems Principles, pages 631–646, 2017, ACM.
[bibtex] [pdf] [doi]
[121] Dependency Learning for QBF
Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider
Theory and Applications of Satisfiability Testing – SAT 2017 (Serge Gaspers, Toby Walsh, eds.), pages 298–313, 2017, Springer International Publishing.
[bibtex] [pdf] [doi]
[120]SAT-Encodings for Special Treewidth and Pathwidth
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, Australia, August 28 to September 1, 2017, Proceedings (Serge Gaspers, Toby Walsh, eds.), 2017, Springer.
Note: To Appear
[bibtex]
[119] Answer Set Programs with External Source Access: Integrated Evaluation and New Applications
Tobias Kaminski
Doctoral Consortium at the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-DC 2017) (Marina De Vos, ed.), pages 11–16, 2017.
[bibtex] [pdf]
[118] Towards a Semantics of Unsatisfiability Proofs with Inprocessing
Tobias Philipp, Adrian Rebola-Pardo
LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Thomas Eiter, David Sands, eds.), volume 46 of EPiC Series in Computing, pages 65-84, 2017, EasyChair.
[bibtex] [pdf]
[117]SAT-Based Local Improvement for Finding Tree Decompositions of Small Width
Johannes K. Fichte, Neha Lodha, Stefan Szeider
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, Australia, August 28 to September 1, 2017, Proceedings (Serge Gaspers, Toby Walsh, eds.), 2017, Springer.
Note: To Appear
[bibtex]
[116] Merging in the Horn Fragment
Adrian Haret, Stefan Rümmele, Stefan Woltran
ACM Trans. Comput. Log., volume 18, number 1, pages 6:1–6:32, 2017.
[bibtex] [pdf] [doi]
[115] Managing Change in Graph-Structured Data Using Description Logics
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
ACM Trans. Comput. Log., volume 18, number 4, pages 27:1–27:35, 2017.
[bibtex] [pdf] [doi]
[114] Preface
Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Stefan Hetzl, Daniel Weller
J. Log. Comput., volume 27, number 2, pages 415, 2017.
[bibtex] [pdf] [doi]
[113] Para^2: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder
Formal Methods in System Design, volume 51, number 2, pages 270–307, 2017.
[bibtex] [pdf] [doi]
[112] Clausal Analysis of First-order Proof Schemata
David M. Cerna, Michael Peter Lettmann
CoRR, volume abs/1702.02589, 2017.
[bibtex] [pdf]
[111] Algebraic proof theory: Hypersequents and hypercompletions
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
Ann. Pure Appl. Logic, volume 168, number 3, pages 693–737, 2017.
[bibtex] [pdf] [doi]
[110] Skolem Function Continuation for Quantified Boolean Formulas
Katalin Fazekas, Marijn J.H. Heule, Martina Seidl, Armin Biere
Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings (Sebastian Gabmeyer, Einar Broch Johnsen, eds.), volume 10375 of Lecture Notes in Computer Science, pages 129–138, 2017, Springer.
[bibtex] [pdf] [doi]
[109] ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II (Axel Legay, Tiziana Margaria, eds.), volume 10206 of Lecture Notes in Computer Science, pages 286–302, 2017.
[bibtex] [pdf] [doi]
[108] Interpreting Sequent Calculi as Client-Server Games
Christian G. Fermüller, Timo Lang
Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings (Renate A. Schmidt, Cláudia Nalon, eds.), volume 10501 of Lecture Notes in Computer Science, pages 98–113, 2017, Springer.
[bibtex] [pdf] [doi]
[107] Integrating a Global Induction Mechanism into a Sequent Calculus
David M. Cerna, Michael Peter Lettmann
Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings, pages 278–294, 2017.
[bibtex] [pdf] [doi]
[106] The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I
(Claudia d'Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, Jeff Heflin, eds.), volume 10587 of Lecture Notes in Computer Science, 2017, Springer.
[bibtex] [pdf] [doi]
[105] Answer Set Programming with External Source Access
Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures (Giovambattista Ianni, Domenico Lembo, Leopoldo E. Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab, eds.), volume 10370 of Lecture Notes in Computer Science, pages 204–275, 2017, Springer.
[bibtex] [pdf] [doi]
[104] A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
Igor V. Konnov, Marijana Lazic, Helmut Veith, Josef Widder
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 (Giuseppe Castagna, Andrew D. Gordon, eds.), pages 719–734, 2017, ACM.
[bibtex] [pdf]
[103] Synthesis of Distributed Algorithms with Parameterized Threshold Guards
Marijana Lazic, Igor Konnov, Josef Widder, Roderick Bloem
21st International Conference on Principles of Distributed Systems, OPODIS 2017, Lisbon, Portugal, December 18-20, 2017 (James Aspnes, Alysson Bessani, Pascal Felber, João Leitão, eds.), volume 95 of LIPIcs, pages 32:1–32:20, 2017, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
[bibtex] [pdf] [doi]
[102] Lossy Kernels for Hitting Subgraphs
Eduard Eiben, Danny Hermelin, M. S. Ramanujan
42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark (Kim G. Larsen, Hans L. Bodlaender, Jean-François Raskin, eds.), volume 83 of LIPIcs, pages 67:1–67:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
[bibtex] [pdf] [doi]
[101] Towards a Polynomial Kernel for Directed Feedback Vertex Set
Benjamin Bergougnoux, Eduard Eiben, Robert Ganian, Sebastian Ordyniak, M. S. Ramanujan
42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark (Kim G. Larsen, Hans L. Bodlaender, Jean-François Raskin, eds.), volume 83 of LIPIcs, pages 36:1–36:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
[bibtex] [pdf] [doi]
[100] Model-based, mutation-driven test case generation via heuristic-guided branching search
Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017 (Jean-Pierre Talpin, Patricia Derler, Klaus Schneider, eds.), pages 56–66, 2017, ACM.
[bibtex] [pdf] [doi]
[99] On the Complexity of Hard Enumeration Problems
Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer
Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings (Frank Drewes, Carlos Martín-Vide, Bianca Truthe, eds.), volume 10168 of Lecture Notes in Computer Science, pages 183–195, 2017.
[bibtex] [pdf] [doi]
[98] Deviation in Belief Change on Fragments of Propositional Logic
Adrian Haret, Stefan Woltran
Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI & Kognition (KIK-2017) co-located with 40th German Conference on Artificial Intelligence (KI 2017), Dortmund, Germany, September 26, 2017., pages 64–76, 2017.
[bibtex] [pdf]
[97] Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI & Kognition (KIK-2017) co-located with 40th German Conference on Artificial Intelligence (KI 2017), Dortmund, Germany, September 26, 2017
(Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg, eds.), volume 1928 of CEUR Workshop Proceedings, 2017, CEUR-WS.org.
[bibtex] [pdf]
[96] Defeasible AceRules: A Prototype
Martin Diller, Adam Z. Wyner, Hannes Strass
IWCS 2017 - 12th International Conference on Computational Semantics - Long papers, Montpellier, France, September 19 - 22, 2017 (Claire Gardent, Christian Retoré, eds.), 2017, The Association for Computer Linguistics.
[bibtex] [pdf]
[95] Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017 (Michael A. Burr, Chee K. Yap, Mohab Safey El Din, eds.), pages 221–228, 2017, ACM.
[bibtex] [pdf] [doi]
[94] Hintikka Style Game Rules for Semi-Fuzzy Quantifiers
Christian G. Fermüller, Matthias F. J. Hofer
47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017, pages 106–111, 2017, IEEE Computer Society.
[bibtex] [pdf] [doi]
[93] Resilient Control and Safety for Multi-Agent Cyber-Physical Systems
Anna Lukina
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 (Carles Sierra, ed.), pages 5187–5188, 2017, ijcai.org.
[bibtex] [pdf] [doi]
[92] On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks
Markus Kröll, Reinhard Pichler, Stefan Woltran
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 (Carles Sierra, ed.), pages 1145–1152, 2017, ijcai.org.
[bibtex] [pdf] [doi]
[91] Lazy-Grounding for Answer Set Programs with External Source Access
Thomas Eiter, Tobias Kaminski, Antonius Weinzierl
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 (Carles Sierra, ed.), pages 1015–1022, 2017, ijcai.org.
[bibtex] [pdf] [doi]
[90] Solving Integer Linear Programs with a Small Number of Global Variables and Constraints
Pavel Dvorák, Eduard Eiben, Robert Ganian, Dusan Knop, Sebastian Ordyniak
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 (Carles Sierra, ed.), pages 607–613, 2017, ijcai.org.
[bibtex] [pdf] [doi]
[89]First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation
Matthias Baaz, Anela Lolic
Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings (Clare Dixon, Marcelo Finger, eds.), volume 10483 of Lecture Notes in Computer Science, pages 265–280, 2017, Springer.
[bibtex] [doi]
[88] Querying with Vague Quantifiers Using Probabilistic Semantics
Christian G. Fermüller, Matthias F. J. Hofer, Magdalena Ortiz
Flexible Query Answering Systems - 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017, Proceedings (Henning Christiansen, Hélène Jaudoin, Panagiotis Chountas, Troels Andreasen, Henrik Legind Larsen, eds.), volume 10333 of Lecture Notes in Computer Science, pages 15–27, 2017, Springer.
[bibtex] [pdf] [doi]
[87] Fuzzing and Verifying RAT Refutations with Deletion Information
Walter Forkel, Tobias Philipp, Adrian Rebola-Pardo, Elias Werner
Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017. (Vasile Rus, Zdravko Markov, eds.), pages 190–193, 2017, AAAI Press.
[bibtex] [pdf]
[86]Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic
Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pages 611–638, 2017.
[bibtex]
[85] Constructive Satisfiability Procedure for ALC\(^\mboxP\)(Z) (Preliminary Report)
Nadia Labai, Martin Homola, Magdalena Ortiz
Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. (Alessandro Artale, Birte Glimm, Roman Kontchakov, eds.), volume 1879 of CEUR Workshop Proceedings, 2017, CEUR-WS.org.
[bibtex] [pdf]
[84] Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming
Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. (Alessandro Artale, Birte Glimm, Roman Kontchakov, eds.), volume 1879 of CEUR Workshop Proceedings, 2017, CEUR-WS.org.
[bibtex] [pdf]
[83]A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications
Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, Matteo Maffei
30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017, pages 22–36, 2017, IEEE Computer Society.
[bibtex] [doi]
[82] A Type System for Privacy Properties
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017 (Bhavani M. Thuraisingham, David Evans, Tal Malkin, Dongyan Xu, eds.), pages 409–423, 2017, ACM.
[bibtex] [pdf] [doi]
[81] Splitting Proofs for Interpolation
Bernhard Gleiss, Laura Kovács, Martin Suda
Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings (Leonardo de Moura, ed.), volume 10395 of Lecture Notes in Computer Science, pages 291–309, 2017, Springer.
[bibtex] [pdf] [doi]
[80] Encoding monotonic multiset preferences using CI-nets
Martin Diller, Anthony Hunter
Datenbanksysteme für Business, Technologie und Web (BTW 2017), 17. Fachtagung des GI-Fachbereichs ,,Datenbanken und Informationssysteme" (DBIS), 6.-10. März 2017, Stuttgart, Germany, Workshopband (Bernhard Mitschang, Norbert Ritter, Holger Schwarz, Meike Klettke, Andreas Thor, Oliver Kopp, Matthias Wieland, eds.), volume P-266 of LNI, pages 169–180, 2017, GI.
[bibtex] [pdf]
[79] Attacking the V: On the Resiliency of Adaptive-Horizon MPC
Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings (Deepak D'Souza, K. Narayan Kumar, eds.), volume 10482 of Lecture Notes in Computer Science, pages 446–462, 2017, Springer.
[bibtex] [pdf] [doi]
[78] Logic-Based Merging in Fragments of Classical Logic with Inputs from Social Choice Theory
Adrian Haret
Algorithmic Decision Theory - 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings, pages 374–378, 2017.
[bibtex] [pdf] [doi]
[77] Algorithmic Decision Theory - 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings
(Jörg Rothe, ed.), volume 10576 of Lecture Notes in Computer Science, 2017, Springer.
[bibtex] [pdf] [doi]
[76] V for Verification: Intelligent Algorithm of Checking Reliability of Smart Systems
Anna Lukina
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA. (Satinder P. Singh, Shaul Markovitch, eds.), pages 5046–5047, 2017, AAAI Press.
[bibtex] [pdf]
[75] Solving Advanced Argumentation Problems with Answer-Set Programming
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA. (Satinder P. Singh, Shaul Markovitch, eds.), pages 1077–1083, 2017, AAAI Press.
[bibtex] [pdf]
[74]Ceres in Intuitionistic Logic
David Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner
Annals of Pure and Applied Logic, 2017.
Note: To Appear
[bibtex]
[73] Ticker: A system for incremental ASP-based stream reasoning
Harald Beck, Thomas Eiter, Christian Folie
TPLP, volume 17, number 5-6, pages 744–763, 2017.
[bibtex] [pdf] [doi]
[72] Expressive Stream Reasoning with Laser
Hamid R. Bazoobandi, Harald Beck, Jacopo Urbani
The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I, pages 87–103, 2017.
[bibtex] [pdf] [doi]
[71]A Framework for Automated Verification of Synchronous Fault-Tolerant Distributed Algorithms
Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger
1st Women in Logic Workshop, WiL 2017, Reykjavik, Iceland, June 19, 2017, 2017.
Note: To appear
[bibtex]
2016
[70] Reactive Policies with Planning for Action Languages
Zeynep G. Saribatur, Thomas Eiter
Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (NMR), pages 143–152, 2016.
[bibtex] [pdf]
[69] Equivalent Stream Reasoning Programs
Harald Beck, Minh Dao-Tran, Thomas Eiter
25th International Joint Conference on Artificial Intelligence (IJCAI), July 9-15, 2016, New York, USA, 2016.
[bibtex] [pdf]
[68]Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin
15th European Conference on Logics in Artificial Intelligence (JELIA), November 9-11, 2016, Larnaca, Cyprus, 2016.
[bibtex] [doi]
[67] Long Distance Q-Resolution with Dependency Schemes
Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider
Theory and Applications of Satisfiability Testing – SAT 2016 (Nadia Creignou, Daniel Le Berre, eds.), pages 500–518, 2016, Springer International Publishing.
[bibtex] [pdf] [doi]
[66] Equimatchable Graphs on Surfaces
Eduard Eiben, Michal Kotrbčík
Journal of Graph Theory, volume 81, number 1, pages 35–49, 2016.
[bibtex] [pdf] [doi]
[65] Using Decomposition-Parameters for QBF: Mind the Prefix!
Eduard Eiben, Robert Ganian, Sebastian Ordyniak
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. (Dale Schuurmans, Michael P. Wellman, eds.), pages 964–970, 2016, AAAI Press.
[bibtex] [pdf]
[64]A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion
Eduard Eiben, Robert Ganian, O-joung Kwon
41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland (Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier, eds.), volume 58 of LIPIcs, pages 34:1–34:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
[bibtex] [doi]
[63]Counting Linear Extensions: Parameterizations by Treewidth
Eduard Eiben, Robert Ganian, Kustaa Kangas, Sebastian Ordyniak
24th Annual European Symposium on Algorithms, ESA 2016, August 22-24, 2016, Aarhus, Denmark (Piotr Sankowski, Christos D. Zaroliagis, eds.), volume 57 of LIPIcs, pages 39:1–39:18, 2016, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
[bibtex] [doi]
[62]On the Complexity of Rainbow Coloring Problems
Eduard Eiben, Robert Ganian, Juho Lauri
Discrete Applied Mathematics, 2016.
Note: To appear
[bibtex] [doi]
[61] Power and Limits of Structural Display Rules
Agata Ciabattoni, Revantha Ramanayake
ACM Trans. Comput. Log., volume 17, number 3, pages 17:1–17:39, 2016.
[bibtex] [pdf] [doi]
[60] Proof theory of witnessed Gödel logic: A negative result
Matthias Baaz, Agata Ciabattoni
J. Log. Comput., volume 26, number 1, pages 51–64, 2016.
[bibtex] [pdf] [doi]
[59] Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs
Matthias Schlaipfer, Georg Weissenbacher
Journal of Automated Reasoning, volume 57, number 1, pages 3–36, 2016.
[bibtex] [pdf] [doi]
[58] The Next 700 Impossibility Results in Time-Varying Graphs
Nicolas Braud-Santoni, Swan Dubois, Mohamed-Hamza Kaaouachi, Franck Petit
IJNC, volume 6, number 1, pages 27–41, 2016.
[bibtex] [pdf]
[57] Proof search and Co-NP completeness for many-valued logics
Mattia Bongini, Agata Ciabattoni, Franco Montagna
Fuzzy Sets and Systems, volume 292, pages 130–149, 2016.
[bibtex] [pdf] [doi]
[56] Encoding monotonic multi-set preferences using CI-nets: preliminary report
Martin Diller, Anthony Hunter
CoRR, volume abs/1611.02885, 2016.
[bibtex] [pdf]
[55] QBF Solving by Counterexample-guided Expansion
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic
CoRR, volume abs/1611.01553, 2016.
[bibtex] [pdf]
[54] Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
CoRR, volume abs/1607.05120, 2016.
Note: Published in the proceedings of the Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, 20–23 June 2017, Reykjavik
[bibtex] [pdf]
[53] A Duality-Aware Calculus for Quantified Boolean Formulas
Katalin Fazekas, Martina Seidl, Armin Biere
18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016 (James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, eds.), pages 181–186, 2016, IEEE Computer Society.
[bibtex] [pdf] [doi]
[52] A SAT Approach to Branchwidth
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Nadia Creignou, Daniel Le Berre, eds.), volume 9710 of Lecture Notes in Computer Science, pages 179–195, 2016, Springer.
[bibtex] [pdf] [doi]
[51] On the Exact Learnability of Graph Parameters: The Case of Partition Functions
Nadia Labai, Johann A. Makowsky
41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland (Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier, eds.), volume 58 of LIPIcs, pages 63:1–63:13, 2016, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
[bibtex] [pdf]
[50] Hankel Matrices for Weighted Visibly Pushdown Automata
Nadia Labai, Johann A. Makowsky
Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings (Adrian-Horia Dediu, Jan Janousek, Carlos Martín-Vide, Bianca Truthe, eds.), volume 9618 of Lecture Notes in Computer Science, pages 464–477, 2016, Springer.
[bibtex] [pdf]
[49] Merging of Abstract Argumentation Frameworks
Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, Stefan Woltran
Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016., pages 33–42, 2016.
[bibtex] [pdf]
[48] Reactive Policies with Planning for Action Languages
Zeynep G. Saribatur, Thomas Eiter
Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings (Loizos Michael, Antonis C. Kakas, eds.), volume 10021 of Lecture Notes in Computer Science, pages 463–480, 2016.
[bibtex] [pdf] [doi]
[47] DRAT Proofs for XOR Reasoning
Tobias Philipp, Adrian Rebola-Pardo
Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings (Loizos Michael, Antonis C. Kakas, eds.), volume 10021 of Lecture Notes in Computer Science, pages 415–429, 2016.
[bibtex] [pdf] [doi]
[46] Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects
Thomas Eiter, Tobias Kaminski
Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings (Loizos Michael, Antonis C. Kakas, eds.), volume 10021 of Lecture Notes in Computer Science, pages 223–239, 2016.
[bibtex] [pdf] [doi]
[45] Feedback Control for Statistical Model Checking of Cyber-Physical Systems
Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I (Tiziana Margaria, Bernhard Steffen, eds.), volume 9952 of Lecture Notes in Computer Science, pages 46–61, 2016.
[bibtex] [pdf] [doi]
[44] Reactive Policy Checking for Action Languages
Zeynep Gözen Saribatur
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 (Subbarao Kambhampati, ed.), pages 4024–4025, 2016, IJCAI/AAAI Press.
[bibtex] [pdf]
[43] Distributing Knowledge into Simple Bases
Adrian Haret, Jean-Guy Mailly, Stefan Woltran
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 1109–1115, 2016.
[bibtex] [pdf]
[42] Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 (Subbarao Kambhampati, ed.), pages 1058–1065, 2016, IJCAI/AAAI Press.
[bibtex] [pdf]
[41] Ontology-Mediated Queries Distributing over Components
Gerald Berger, Andreas Pieris
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 (Subbarao Kambhampati, ed.), pages 943–949, 2016, IJCAI/AAAI Press.
[bibtex] [pdf]
[40] Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 (Subbarao Kambhampati, ed.), pages 878–885, 2016, IJCAI/AAAI Press.
[bibtex] [pdf]
[39] On the Complexity of Enumerating the Answers to Well-designed Pattern Trees
Markus Kröll, Reinhard Pichler, Sebastian Skritek
19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016 (Wim Martens, Thomas Zeume, eds.), volume 48 of LIPIcs, pages 22:1–22:18, 2016, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
[bibtex] [pdf] [doi]
[38] Temporal Logic as Filtering
Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
19th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, Proceedings (Satinder P. Singh, Shaul Markovitch, eds.), pages 11–20, 2016.
[bibtex] [pdf]
[37] The Challenge of Optional Matching in SPARQL
Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kröll, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings (Marc Gyssens, Guillermo Ricardo Simari, eds.), volume 9616 of Lecture Notes in Computer Science, pages 169–190, 2016, Springer.
[bibtex] [pdf] [doi]
[36] Beyond IC Postulates: Classification Criteria for Merging Operators
Adrian Haret, Andreas Pfandler, Stefan Woltran
ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), pages 372–380, 2016.
[bibtex] [pdf] [doi]
[35] A Compilation Technique for Interactive Ontology-mediated Data Exploration
Medina Andresel, Magdalena Ortiz, Mantas Simkus
Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. (Maurizio Lenzerini, Rafael Peñaloza, eds.), volume 1577 of CEUR Workshop Proceedings, 2016, CEUR-WS.org.
[bibtex] [pdf]
[34] Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. (Maurizio Lenzerini, Rafael Peñaloza, eds.), volume 1577 of CEUR Workshop Proceedings, 2016, CEUR-WS.org.
[bibtex] [pdf]
[33] Analytic Calculi for Non-Classical Logics: Theory and Applications
Agata Ciabattoni
25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France (Jean-Marc Talbot, Laurent Regnier, eds.), volume 62 of LIPIcs, pages 4:1–4:1, 2016, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
[bibtex] [pdf] [doi]
[32] Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems
Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs
CAV 2016, Toronto, July 17-23, 2016 (Swarat Chaudhuri, Azadeh Farzan, eds.), volume 9779 of Lecture Notes in Computer Science, pages 157–176, 2016, Springer.
[bibtex] [pdf] [doi]
[31] Super-Blocked Clauses
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings (Nicola Olivetti, Ashish Tiwari, eds.), volume 9706 of Lecture Notes in Computer Science, pages 45–61, 2016, Springer.
[bibtex] [pdf] [doi]
[30] System Description: GAPT 2.0
Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota
Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings (Nicola Olivetti, Ashish Tiwari, eds.), volume 9706 of Lecture Notes in Computer Science, pages 293–301, 2016, Springer.
[bibtex] [pdf] [doi]
[29] Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 (Reinhard Pichler, Altigran Soares da Silva, eds.), volume 1644 of CEUR Workshop Proceedings, 2016, CEUR-WS.org.
[bibtex] [pdf]
[28] Embedding formalisms: hypersequents and two-level systems of rule
Agata Ciabattoni, Francesco A. Genco
Advances in Modal Logic 11, proceedings of the 11th conference on "Advances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016 (Lev D. Beklemishev, Stéphane Demri, András Maté, eds.), pages 197–216, 2016, College Publications.
[bibtex] [pdf]
2015
[27] Towards Comparing RDF Stream Processing Semantics
Minh Dao-Tran, Harald Beck, Thomas Eiter
HiDeSt, 2015.
[bibtex] [pdf]
[26]Contrasting RDF Stream Processing Semantics
Minh Dao-Tran, Harald Beck, Thomas Eiter
5th Joint International Semantic Technology Conference (JIST), November 11-13, 2015, YiChang, China, 2015.
[bibtex] [doi]
[25] Answer Update for Rule-based Stream Reasoning
Harald Beck, Minh Dao-Tran, Thomas Eiter
24th International Joint Conference on Artificial Intelligence (IJCAI), July 25-31, 2015, Buenos Aires, Argentinia, 2015.
[bibtex] [pdf]
[24]Meta-Kernelization using Well-Structured Modulators
Eduard Eiben, Robert Ganian, Stefan Szeider
Parameterized and Exact Computation - 10th International Symposium, IPEC 2014, Patras, Greece, September 16-18, 2015. Revised Selected Papers (Thore Husfeldt, Iyad A. Kanj, eds.), volume 43 of LIPIcs, pages 114–126, 2015, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
[bibtex] [doi]
[23] Solving Problems on Graphs of High Rank-Width
Eduard Eiben, Robert Ganian, Stefan Szeider
Algorithms and Data Structures Symposium (WADS 2015), August 5-7, 2015, University of Victoria, BC, Canada (Frank Dehne, Jörg-Rüdiger Sack, Ulrike Stege, eds.), pages 314–326, 2015, Springer.
[bibtex] [pdf] [doi]
[22] On the Complexity of Rainbow Coloring Problems
Eduard Eiben, Robert Ganian, Juho Lauri
Combinatorial Algorithms - 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers (Zsuzsanna Lipták, William F. Smyth, eds.), pages 209–220, 2015, Springer.
[bibtex] [pdf] [doi]
[21] Uniform proofs of standard completeness for extensions of first-order MTL
Paolo Baldi, Agata Ciabattoni
Theor. Comput. Sci., volume 603, pages 43–57, 2015.
[bibtex] [pdf] [doi]
[20] Reasoning in abstract dialectical frameworks using quantified Boolean formulas
Martin Diller, Johannes Peter Wallner, Stefan Woltran
Argument & Computation, volume 6, number 2, pages 149–177, 2015.
[bibtex] [pdf] [doi]
[19] Towards Reconciling SPARQL and Certain Answers
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
Proceedings of the 24th International Conference on World Wide Web, WWW 2015, Florence, Italy, May 18-22, 2015 (Aldo Gangemi, Stefano Leonardi, Alessandro Panconesi, eds.), pages 23–33, 2015, ACM.
[bibtex] [pdf] [doi]
[18] Mīmāṃsā Deontic Logic: Proof Theory and Applications
Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann
Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings (Hans de Nivelle, ed.), volume 9323 of Lecture Notes in Computer Science, pages 323–338, 2015, Springer.
[bibtex] [pdf] [doi]
[17] Diagnostic Reasoning for Robotics Using Action Languages
Esra Erdem, Volkan Patoglu, Zeynep Gozen Saribatur
Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings (Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski, eds.), volume 9345 of Lecture Notes in Computer Science, pages 317–331, 2015, Springer.
[bibtex] [pdf] [doi]
[16] Standard Completeness for Uninorm-Based Logics
Paolo Baldi, Agata Ciabattoni
2015 IEEE International Symposium on Multiple-Valued Logic, Waterloo, ON, Canada, May 18-20, 2015, pages 78–83, 2015, IEEE Computer Society.
[bibtex] [pdf] [doi]
[15] A Generic Framework for Impossibility Results in Time-Varying Graphs
Nicolas Braud-Santoni, Swan Dubois, Mohamed-Hamza Kaaouachi, Franck Petit
2015 IEEE International Parallel and Distributed Processing Symposium Workshop, IPDPS 2015, Hyderabad, India, May 25-29, 2015, pages 483–489, 2015, IEEE Computer Society.
[bibtex] [pdf] [doi]
[14] Merging in the Horn Fragment
Adrian Haret, Stefan Rümmele, Stefan Woltran
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 3041–3047, 2015.
[bibtex] [pdf]
[13] An Extension-Based Approach to Belief Revision in Abstract Argumentation
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 (Qiang Yang, Michael Wooldridge, eds.), pages 2926–2932, 2015, AAAI Press.
[bibtex] [pdf]
[12]Integrating hybrid diagnostic reasoning in plan execution monitoring for cognitive factories with multiple robots
Esra Erdem, Volkan Patoglu, Zeynep Gozen Saribatur
IEEE International Conference on Robotics and Automation, ICRA 2015, Seattle, WA, USA, 26-30 May, 2015, pages 2007–2013, 2015, IEEE.
[bibtex] [doi]
[11] On Structural Analysis of Non-Ground Answer-Set Programs
Benjamin Kiesl, Peter Schüller, Hans Tompits
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015. (Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni, eds.), volume 1433 of CEUR Workshop Proceedings, 2015, CEUR-WS.org.
[bibtex] [pdf]
[10] DL-Lite and Conjunctive Queries Extended by Optional Matching
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. (Diego Calvanese, Boris Konev, eds.), volume 1350 of CEUR Workshop Proceedings, 2015, CEUR-WS.org.
[bibtex] [pdf]
[9] On the Context Dependence of Many
Matthias F. J. Hofer
Modeling and Using Context - 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6, 2015. Proceedings (Henning Christiansen, Isidora Stojanovic, George A. Papadopoulos, eds.), volume 9405 of Lecture Notes in Computer Science, pages 346–358, 2015, Springer.
[bibtex] [pdf] [doi]
[8] Logics of Finite Hankel Rank
Nadia Labai, Johann A. Makowsky
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte, eds.), volume 9300 of Lecture Notes in Computer Science, pages 237–252, 2015, Springer.
[bibtex] [pdf]
[7] Towards Reconciling SPARQL and Certain Answers (Extended Abstract)
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015. (Andrea Calì, Maria-Esther Vidal, eds.), volume 1378 of CEUR Workshop Proceedings, 2015, CEUR-WS.org.
[bibtex] [pdf]
2014
[6] Towards Ideal Semantics for Analyzing Stream Reasoning.
Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink
International Workshop on Reactive Concepts in Knowledge Representation, August 19, 2014, Prague, Czech Republic, 2014.
[bibtex] [pdf]
[5] Towards a Logic-Based Framework for Analyzing Stream Reasoning.
Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink
3rd International Workshop on Ordering and Reasoning, October 19-20, 2014, Riva del Garda, Trentino, Italy, 2014.
[bibtex] [pdf]
[4] The Next 700 Impossibility Results in Time-Varying Graphs
Nicolas Braud-Santoni, Swan Dubois, Mohamed-Hamza Kaaouachi, Franck Petit
CoRR, volume abs/1412.6007, 2014.
[bibtex] [pdf]
[3] Reduction of Resolution Refutations and Interpolants via Subsumption
Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher
Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings (Eran Yahav, ed.), volume 8855 of Lecture Notes in Computer Science, pages 188–203, 2014, Springer.
[bibtex] [pdf] [doi]
[2] Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas
Martin Diller, Johannes Peter Wallner, Stefan Woltran
Computational Models of Argument - Proceedings of COMMA 2014, Atholl Palace Hotel, Scottish Highlands, UK, September 9-12, 2014 (Simon Parsons, Nir Oren, Chris Reed, Federico Cerutti, eds.), volume 266 of Frontiers in Artificial Intelligence and Applications, pages 241–252, 2014, IOS Press.
[bibtex] [pdf] [doi]
2013
[1] Fast byzantine agreement
Nicolas Braud-Santoni, Rachid Guerraoui, Florian Huc
PODC, pages 57–64, 2013, ACM.
[bibtex] [pdf]