forthcoming
[345]From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
Christian Fermüller, Timo Lang, Alexandra Pavlova
Logica Universalis, pages 1–15, forthcoming.
[bibtex] [doi]
EasyChair, 2022
[344] Towards Synthesis in Superposition
Petra Hozzová, Laura Kovács, Andrei Voronkov
EasyChair, 2022.
[bibtex] [pdf]
2022
[343] Reasoning With and About Norms in Logical Argumentation
Kees van Berkel, Christian Straßer
Frontiers in Artificial Intelligence and Applications: Computational Models of Argument (Sylwia Polberg Richard Booth Martin Caminada Hiroyuki Kido Francesca Toni, ed.), pages 332 – 343, September 2022, IOS press.
[bibtex] [pdf] [doi]
[342] Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation
Ofer Arieli, Kees van Berkel, Christian Straßer
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI-22 (Lud De Raedt, ed.), pages 2532–2538, 7 2022, International Joint Conferences on Artificial Intelligence Organization.
Note: Main Track
[bibtex] [pdf] [doi]
[341]Deontic paradoxes in \mimamsa logics: there and back again
Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Francesca Gulisano, Maya Olszewski
Journal of Logic, Language, and Information, 10 2022.
[bibtex] [doi]
[340]Just a Matter of Perspective: Intertranslating Expressive Argumentation Formalisms
Matthias König, Anna Rapberger, Markus Ulbricht
Chapter in Computational Models of Argument, pages 212–223, 2022, IOS Press.
[bibtex]
[339] GoTube: Scalable Statistical Verification of Continuous-Depth Models
Sophie A. Gruenbacher, Mathias Lechner, Ramin Hasani, Daniela Rus, Thomas A. Henzinger Scott A. Smolka, Radu Grosu
AAAI22. 36th AAAI Conference on Artificial Intelligence, Virtual, Feb 22 - Mar 1, 2022, 2022.
[bibtex] [pdf]
[338] WebMonitor: Verification of Web User Interfaces
Ennio Visconti, Christos Tsigkanos, Laura Nenzi
37th IEEE/ACM International Conference on Automated Software Engineering (ASE '22), 2022.
[bibtex] [pdf] [doi]
[337] Reuse of Introduced Symbols in Automatic Theorem Provers (short paper)
Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger
Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022 (Boris Konev, Claudia Schon, Alexander Steen, eds.), volume 3201 of CEUR Workshop Proceedings, 2022, CEUR-WS.org.
[bibtex] [pdf]
[336] First-Order Subsumption via SAT Solving
Jakob Rath, Armin Biere, Laura Kovács
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022, pages 160–169, 2022.
[bibtex] [pdf] [doi]
[335] Argumentation Frameworks Induced by Assumption-Based Argumentation: Relating Size and Complexity
Anna Rapberger, Markus Ulbricht, Johannes Peter Wallner
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022 (Ofer Arieli, Giovanni Casini, Laura Giordano, eds.), volume 3197 of CEUR Workshop Proceedings, pages 92–103, 2022, CEUR-WS.org.
[bibtex] [pdf]
[334] On Dynamics in Structured Argumentation Formalisms
Anna Rapberger, Markus Ulbricht
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel. July 31 - August 5, 2022, 2022.
[bibtex] [pdf]
[333]From Semantic Games to Provability: The Case of Gödel Logic
Alexandra Pavlova, Robert Freiman, Timo Lang
Studia Logica, volume 110, number 2, pages 429–456, 2022, Springer Verlag.
[bibtex] [doi]
[332] Efficient Knowledge Compilation Beyond Weighted Model Counting
Rafael Kiesel, Pietro Totis, Angelika Kimmig
Theory Pract. Log. Program., volume 22, number 4, pages 505–522, 2022.
[bibtex] [pdf] [doi]
[331] A Neuro-Symbolic ASP Pipeline for Visual Question Answering
Thomas Eiter, Nelson Higuera, Johannes Oetsch, Michael Pritz
Theory Pract. Log. Program., volume 22, number 5, pages 739–754, 2022.
[bibtex] [pdf] [doi]
[330] Moment-based analysis of Bayesian network properties
Miroslav Stankovic, Ezio Bartocci, Laura Kovács
Theor. Comput. Sci., volume 903, pages 113–133, 2022.
[bibtex] [pdf] [doi]
[329] Planarizing Graphs and their Drawings by Vertex Splitting
Soeren Nickel, Martin Nöllenburg, Manuel Sorge, Anaïs Villedieu, Hsiang-Yun Wu, Jules Wulms
CoRR, volume abs/2202.12293, 2022.
[bibtex] [pdf]
[328] Removing Popular Faces in Curve Arrangements
Phoebe de Nooijer, Soeren Nickel, Alexandra Weinberger, Zuzana Masárová, Tamara Mchedlidze, Maarten Löffler, Günter Rote
CoRR, volume abs/2202.12175, 2022.
[bibtex] [pdf]
[327] Pedant: A Certifying DQBF Solver
Franz-Xaver Reichl, Friedrich Slivovsky
25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel (Kuldeep S. Meel, Ofer Strichman, eds.), volume 236 of LIPIcs, pages 20:1–20:10, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
[bibtex] [pdf] [doi]
[326] ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel. July 31 - August 5, 2022 (Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds.), 2022.
[bibtex] [pdf]
[325] Large-Neighbourhood Search for Optimisation in Answer-Set Solving
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova
Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, pages 5616–5625, 2022, AAAI Press.
[bibtex] [pdf]
[324] The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View
Michael Bernreiter, Wolfgang Dvo\vrák, Anna Rapberger, Stefan Woltran
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, volume 3197 of CEUR Workshop Proceedings, pages 27–38, 2022, CEUR-WS.org.
[bibtex] [pdf]
[323] Equivalence in Argumentation Frameworks with a Claim-Centric View - Classical Results with Novel Ingredients
Ringo Baumann, Anna Rapberger, Markus Ulbricht
Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Proceedings, pages 5479–5486, 2022, AAAI Press.
[bibtex] [pdf]
[322] Multicriteria Optimization for Dynamic Demers Cartograms
Soeren Nickel, Max Sondag, Wouter Meulemans, Stephen G. Kobourov, Jaakko Peltonen, Martin Nollenburg
IEEE Transactions on Visualization and Computer Graphics, volume , number , pages 1-1, 2022.
Note: to appear, early access
[bibtex] [pdf]
2021
[321] HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings
Wolfgang Fischl, Georg Gottlob, Davide Mario Longo, Reinhard Pichler
ACM J. Exp. Algorithmics, volume 26, jul 2021, Association for Computing Machinery.
[bibtex] [pdf] [doi]
[320] Model-driven engineering city spaces via bidirectional model transformations
Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
Software and Systems Modeling, Feb 2021.
[bibtex] [pdf] [doi]
[319] Omission-Based Abstraction for Answer Set Programs
Zeynep G. Saribatur, Thomas Eiter
Theory Pract. Log. Program., volume 21, number 2, pages 145–195, 2021.
[bibtex] [pdf] [doi]
[318]A Case Study on Parametric Verification of Failure Detectors
Thanh-Hai Tran, Igor Konnov, Josef Widder
International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pages 138–156, 2021.
[bibtex]
[317] On the Verification of Neural ODEs with Stochastic Guarantees
Sophie Gruenbacher, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu
AAAI21. 35th AAAI Conference on Artificial Intelligence, Virtual, Feb 2-9, 2021, 2021.
[bibtex] [pdf]
[316] Online monitoring of spatio-temporal properties for imprecise signals
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021 (S. Arun-Kumar, Dominique Méry, Indranil Saha, Lijun Zhang, eds.), pages 78–88, 2021, ACM.
[bibtex] [pdf] [doi]
[315] Turbocharging Treewidth-Bounded Bayesian Network Structure Learning
Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
Proceeding of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021.
Note: to appear
[bibtex] [pdf]
[314]Verifying Safety of Synchronous Fault-Tolerant Algorithms Bounded Model Checking
Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
, 2021.
Note: to appear
[bibtex]
[313]Provability Games for Non-Classical Logics
Alexandra Pavlova
Chapter in Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5?8, 2021, Proceedings (Alexandra Silva, Renata Wassermann, Ruy de Queiroz, eds.), pages 408–425, 2021, Springer Verlag.
[bibtex]
[312] Integer Induction in Saturation
Petra Hozzová, Laura Kovács, Andrei Voronkov
Automated Deduction – CADE 28 (André Platzer, Geoff Sutcliffe, eds.), pages 361–377, 2021, Springer International Publishing.
[bibtex] [pdf]
[311]Automated Generation of Exam Sheets for Automated Deduction
Petra Hozzová, Laura Kovács, Jakob Rath
Intelligent Computer Mathematics (Fairouz Kamareddine, Claudio Sacerdoti Coen, eds.), pages 185–196, 2021, Springer International Publishing.
[bibtex]
[310] Computing Kemeny Rankings From d-Euclidean Preferences
Thekla Hamm, Martin Lackner, Anna Rapberger
7th International Conference on Algorithmic Decision Theory (ADT'21), Proceedings, pages 147–161, 2021, Lecture Notes in Computer Science.
[bibtex] [pdf] [doi]
[309] Induction with Recursive Definitions in Superposition
Márton Hajdu, Petra Hozzová, Laura Kovács, Andrei Voronkov
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021, pages 246–255, 2021.
[bibtex] [pdf]
[308] Inductive Benchmarks for Automated Reasoning
Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
Intelligent Computer Mathematics (Fairouz Kamareddine, Claudio Sacerdoti Coen, eds.), pages 124–129, 2021, Springer International Publishing.
[bibtex] [pdf]
[307] Input/output logic with a consistency check - the case of permission
Maya Olszewski, Xavier Parent, Leendert van der Torre
DEON2021: Deontic Logic and Normative Systems: 15th International Conference, Muenich 2021, Proceedings (A. Marra P. Portner F. Van De Putte F. Liu, ed.), pages 280-297, 2021, College Publications.
[bibtex] [pdf]
[306] Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
Loris Bozzato, Thomas Eiter, Rafael Kiesel
Theory Pract. Log. Program., volume 21, number 5, pages 593–609, 2021.
[bibtex] [pdf] [doi]
[305] Quantitative and Stream Extensions of Answer Set Programming
Rafael Kiesel
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021 (Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou, eds.), volume 345 of EPTCS, pages 267–275, 2021.
[bibtex] [pdf] [doi]
[304] First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving
Wolfgang Schreiner, Franz-Xaver Reichl
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021 (Temur Kutsia, ed.), volume 342 of EPTCS, pages 99–113, 2021.
[bibtex] [pdf] [doi]
[303] Fire!
Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid
Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021 (Joseph Y. Halpern, Andrés Perea, eds.), volume 335 of EPTCS, pages 139–153, 2021.
[bibtex] [pdf] [doi]
[302] Recognition of Unit Disk Graphs for Caterpillars, Embedded Trees, and Outerplanar Graphs
Sujoy Bhore, Soeren Nickel, Martin Nöllenburg
CoRR, volume abs/2103.08416, 2021.
[bibtex] [pdf]
[301] 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]
[300] Games for Hybrid Logic - From Semantic Games to Analytic Calculi
Robert Freiman
Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings (Alexandra Silva, Renata Wassermann, Ruy J. G. B. de Queiroz, eds.), volume 13038 of Lecture Notes in Computer Science, pages 133–149, 2021, Springer.
[bibtex] [pdf] [doi]
[299] Eliminating Message Counters in Synchronous Threshold Automata
Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
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 196–218, 2021, Springer.
[bibtex] [pdf] [doi]
[298] 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]
[297] A\(^\mbox2\)L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs
Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei
42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021, pages 1834–1851, 2021, IEEE.
[bibtex] [pdf] [doi]
[296] Certified DQBF Solving by Definition Extraction
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Chu-Min Li, Felip Manyà, eds.), volume 12831 of Lecture Notes in Computer Science, pages 499–517, 2021, Springer.
[bibtex] [pdf] [doi]
[295] Updatable Signatures and Message Authentication Codes
Valerio Cini, Sebastian Ramacher, Daniel Slamanig, Christoph Striecks, Erkan Tairi
Public-Key Cryptography - PKC 2021 - 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10-13, 2021, Proceedings, Part I (Juan A. Garay, ed.), volume 12710 of Lecture Notes in Computer Science, pages 691–723, 2021, Springer.
[bibtex] [pdf] [doi]
[294] Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting
Thomas Eiter, Markus Hecher, Rafael Kiesel
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021 (Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem, eds.), pages 269–279, 2021.
[bibtex] [pdf] [doi]
[293] Bounded Predicates in Description Logics with Counting
Sanja Lukumbuzya, Mantas Simkus
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021 (Zhi-Hua Zhou, ed.), pages 1966–1972, 2021, ijcai.org.
[bibtex] [pdf] [doi]
[292] aspmc: An Algebraic Answer Set Counter
Thomas Eiter, Markus Hecher, Rafael Kiesel
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021 (Joaquín Arias, Fabio Aurelio D'Asaro, Abeer Dyoub, Gopal Gupta, Markus Hecher, Emily LeBlanc, Rafael Peñaloza, Elmer Salazar, Ari Saptawijaya, Felix Weitkämper, Jessica Zangari, eds.), volume 2970 of CEUR Workshop Proceedings, 2021, CEUR-WS.org.
[bibtex] [pdf]
[291] Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments
Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei
Financial Cryptography and Data Security - 25th International Conference, FC 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers, Part II (Nikita Borisov, Claudia Diaz, eds.), volume 12675 of Lecture Notes in Computer Science, pages 131–150, 2021, Springer.
[bibtex] [pdf] [doi]
[290]Strong-Separation Logic
Jens Pagel, Florian Zuleger
Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg, Luxembourg, March 27-April 1, 2021, Proceedings, 2021.
[bibtex]
[289] Non-clausal Redundancy Properties
Lee A. Barnett, Armin Biere
Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (André Platzer, Geoff Sutcliffe, eds.), volume 12699 of Lecture Notes in Computer Science, pages 252–272, 2021, Springer.
[bibtex] [pdf] [doi]
[288] On the Complexity of Sum-of-Products Problems over Semirings
Thomas Eiter, Rafael Kiesel
Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pages 6304–6311, 2021, AAAI Press.
[bibtex] [pdf]
[287] The Complexity Landscape of Claim-Augmented Argumentation Frameworks
Wolfgang Dvorák, Alexander Greßler, Anna Rapberger, Stefan Woltran
Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pages 6296–6303, 2021, AAAI Press.
[bibtex] [pdf]
[286] If you want to smoke, don't buy cigarettes: near-anankastics, contexts, and hyper modality
Dov Gabbay Leendert van der Torre Kees van Berkel
DEON2021: Deontic Logic and Normative Systems: 15th International Conference, Muenich 2021, Proceedings (A. Marra P. Portner F. Van De Putte F. Liu, ed.), pages 406-426, 2021, College Publications.
[bibtex] [pdf]
[285] The Gentle Murder Paradox in Sanskrit Philosophy
Agata Ciabattoni Elisa Freschi Francesca Gulisano Maya Olszewski Kees van Berkel
DEON2021: Deontic Logic and Normative Systems: 15th International Conference, Muenich 2021, Proceedings (A. Marra P. Portner F. Van De Putte F. Liu, ed.), pages 387–405, 2021, College Publications.
[bibtex] [pdf]
2020
[284] Mathematical Model Checking Based on Semantics and SMT
Wolfgang Schreiner, Franz-Xaver Reichl
volume 16, number 2, pages 4–13, July 2020, IPSI.
[bibtex] [pdf]
[283] On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs
Wolfgang Dvořák, Anna Rapberger, Stefan Woltran
Journal of Logic and Computation, volume 30, number 5, pages 1063-1107, 06 2020.
[bibtex] [pdf] [doi]
[282] 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]
[281] Lagrangian Reachtubes: The Next Generation
Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
CDC20. 59th IEEE Conference on Decision and Control, Virtual, Dec 14-18, 2020, 2020.
[bibtex] [pdf]
[280] MaxSAT-Based Postprocessing for Treedepth
Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
Proceedings of CP 2020, the 26th International Conference on Principles and Practice of Constraint Programming (Helmut Simonis, ed.), volume 12333 of Lecture Notes in Computer Science, pages 478–495, 2020, Springer.
[bibtex] [pdf] [doi]
[279] Defining Argumentation Semantics under a Claim-centric View
Anna Rapberger
Proceedings of the 9th European Starting AI Researchers' Symposium 2020 co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago Compostela, Spain, August, 2020 (Sebastian Rudolph, Goreti Marreiros, eds.), volume 2655 of CEUR Workshop Proceedings, 2020, CEUR-WS.org.
[bibtex] [pdf]
[278] Dialogue Games for Minimal Logic
Alexandra Pavlova
Logic and Logical Philosophy, volume 30, number 2, pages 281–309, 2020.
[bibtex] [pdf]
[277]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]
[276]Proportional Belief Merging
Adrian Haret, Martin Lackner, Andreas Pfandler, Johannes P. Wallner
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 2822–2829, 2020, AAAI Press.
[bibtex]
[275] Induction with Generalization in Superposition Reasoning
Márton Hajdú, Petra Hozzová, Johannes Schoisswohl, Laura Kovács, Andrei Voronkov
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings, volume 12236 of Lecture Notes in Computer Science, pages 123–137, 2020, Springer.
[bibtex] [pdf]
[274] 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]
[273] Labelling-based Algorithms for SETAFs
Wolfgang Dvorák, Anna Rapberger, Johannes Peter Wallner
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), September 8, 2020 (Sarah Alice Gaggl, Matthias Thimm, Mauro Vallati, eds.), volume 2672 of CEUR Workshop Proceedings, pages 34–46, 2020, CEUR-WS.org.
[bibtex] [pdf]
[272] 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, Rhodes, Greece, September 12-18, 2020 (Diego Calvanese, Esra Erdem, Michael Thielscher, eds.), pages 341–350, 2020.
[bibtex] [pdf] [doi]
[271] On the Relation Between Claim-Augmented Argumentation Frameworks and Collective Attacks
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) (Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, Jérôme Lang, eds.), volume 325 of Frontiers in Artificial Intelligence and Applications, pages 721–728, 2020, IOS Press.
[bibtex] [pdf] [doi]
[270] The ASPARTIX System Suite
Wolfgang Dvorák, Sarah Alice Gaggl, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran
Computational Models of Argument - Proceedings of COMMA 2020, Perugia, Italy, September 4-11, 2020 (Henry Prakken, Stefano Bistarelli, Francesco Santini, Carlo Taticchi, eds.), volume 326 of Frontiers in Artificial Intelligence and Applications, pages 461–462, 2020, IOS Press.
[bibtex] [pdf] [doi]
[269] ASP(\unicode120016\unicode119966): Answer Set Programming with Algebraic Constraints
Thomas Eiter, Rafael Kiesel
Theory Pract. Log. Program., volume 20, number 6, pages 895–910, 2020.
[bibtex] [pdf] [doi]
[268] Extracting symbolic transitions from TLA\(^\mbox+\) specifications
Jure Kukovec, Thanh-Hai Tran, Igor Konnov
Sci. Comput. Program., volume 187, pages 102361, 2020.
[bibtex] [pdf] [doi]
[267] The Consistency strength of Long Projective Determinacy
Juan P. Aguilera, Sandra Müller
J. Symb. Log., volume 85, number 1, pages 338–366, 2020.
[bibtex] [pdf] [doi]
[266] Simulating Strong Practical Proof Systems with Extended Resolution
Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule, Armin Biere
J. Autom. Reason., volume 64, number 7, pages 1247–1267, 2020.
[bibtex] [pdf] [doi]
[265] Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
CoRR, volume abs/2011.14789, 2020.
[bibtex] [pdf]
[264] Determinate logic and the Axiom of Choice
Juan P. Aguilera
Ann. Pure Appl. Log., volume 171, number 2, 2020.
[bibtex] [pdf] [doi]
[263] 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]
[262]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]
[261] 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]
[260] Cutoffs for Symmetric Point-to-Point Distributed Algorithms
Thanh-Hai Tran, Igor Konnov, Josef Widder
Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings (Chryssis Georgiou, Rupak Majumdar, eds.), volume 12129 of Lecture Notes in Computer Science, pages 329–346, 2020, Springer.
[bibtex] [pdf] [doi]
[259] 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]
[258] Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions
Jens Pagel, Florian Zuleger
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 390–408, 2020, EasyChair.
[bibtex] [pdf]
[257] 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]
[256] Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates
Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020 (Diego Calvanese, Esra Erdem, Michael Thielscher, eds.), pages 434–444, 2020.
[bibtex] [pdf] [doi]
[255] The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts
Clara Schneidewind, Markus Scherer, Matteo Maffei
Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III (Tiziana Margaria, Bernhard Steffen, eds.), volume 12478 of Lecture Notes in Computer Science, pages 212–231, 2020, Springer.
[bibtex] [pdf] [doi]
[254] Threshold Treewidth and Hypertree Width
Robert Ganian, André Schidler, Manuel Sorge, Stefan Szeider
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 (Christian Bessiere, ed.), pages 1898–1904, 2020, ijcai.org.
[bibtex] [pdf] [doi]
[253] 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]
[252] Solving the Steiner Tree Problem with few Terminals
Johannes Klaus Fichte, Markus Hecher, André Schidler
32nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2020, Baltimore, MD, USA, November 9-11, 2020, pages 293–300, 2020, IEEE.
[bibtex] [pdf] [doi]
[251] Analysis of Bayesian Networks via Prob-Solvable Loops
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings (Violet Ka I Pun, Volker Stolz, Adenilso Simão, eds.), volume 12545 of Lecture Notes in Computer Science, pages 221–241, 2020, Springer.
[bibtex] [pdf] [doi]
[250] Weighted LARS for Quantitative Stream Reasoning
Thomas Eiter, Rafael Kiesel
ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) (Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, Jérôme Lang, eds.), volume 325 of Frontiers in Artificial Intelligence and Applications, pages 729–736, 2020, IOS Press.
[bibtex] [pdf] [doi]
[249] A Framework for Exploratory Query Answering with Ontologies
Medina Andresel, Yazmín Ibáñez-García, Magdalena Ortiz
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020 (Stefan Borgwardt, Thomas Meyer, eds.), volume 2663 of CEUR Workshop Proceedings, 2020, CEUR-WS.org.
[bibtex] [pdf]
[248] Language-Based Web Session Integrity
Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta
33rd IEEE Computer Security Foundations Symposium, CSF 2020, Boston, MA, USA, June 22-26, 2020, pages 107–122, 2020, IEEE.
[bibtex] [pdf] [doi]
[247] The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions
Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings (Emmanuel Hebrard, Nysret Musliu, eds.), volume 12296 of Lecture Notes in Computer Science, pages 3–21, 2020, Springer.
[bibtex] [pdf] [doi]
[246] Towards Faster Reasoners by Using Transparent Huge Pages
Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina, André Schidler
Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings (Helmut Simonis, ed.), volume 12333 of Lecture Notes in Computer Science, pages 304–322, 2020, Springer.
[bibtex] [pdf] [doi]
[245] 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]
[244] 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]
[243] Subsumption Demodulation in First-Order Theorem Proving
Bernhard Gleiss, Laura Kovács, Jakob Rath
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I (Nicolas Peltier, Viorica Sofronie-Stokkermans, eds.), volume 12166 of Lecture Notes in Computer Science, pages 297–315, 2020, Springer.
[bibtex] [pdf] [doi]
[242] Layered Clause Selection for Saturation-Based Theorem Proving
Bernhard Gleiss, Martin Suda
Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June-July, 2020 (Virtual) (Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer, Sophie Tourret, eds.), volume 2752 of CEUR Workshop Proceedings, pages 34–52, 2020, CEUR-WS.org.
[bibtex] [pdf]
[241] Layered Clause Selection for Theory Reasoning - (Short Paper)
Bernhard Gleiss, Martin Suda
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I (Nicolas Peltier, Viorica Sofronie-Stokkermans, eds.), volume 12166 of Lecture Notes in Computer Science, pages 402–409, 2020, Springer.
[bibtex] [pdf] [doi]
[240] Covered Clauses Are Not Propagation Redundant
Lee A. Barnett, David M. Cerna, Armin Biere
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I (Nicolas Peltier, Viorica Sofronie-Stokkermans, eds.), volume 12166 of Lecture Notes in Computer Science, pages 32–47, 2020, Springer.
[bibtex] [pdf] [doi]
[239] Eliminating Message Counters in Threshold Automata
Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings (Dang Van Hung, Oleg Sokolsky, eds.), volume 12302 of Lecture Notes in Computer Science, pages 196–212, 2020, Springer.
[bibtex] [pdf] [doi]
[238] 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]
[237] Resilient Logic Programs: Answer Set Programs Challenged by Ontologies
Sanja Lukumbuzya, 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 2917–2924, 2020, AAAI Press.
[bibtex] [pdf]
[236] 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]
[235] 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]
[234] 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]
[233] The Varieties of Ought-implies-Can and Deontic STIT Logic
Tim Lyon, Kees van Berkel
DEON2020: Deontic Logic and Normative Systems: 15th International Conference, Muenich 2021, Proceedings (A. Marra P. Portner F. Van De Putte F. Liu, ed.), pages 427-446, 2020, College Publications.
[bibtex] [pdf]
[232]From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
Christian Fermüller, Timo Lang, Alexandra Pavlova
Information Processing and Management of Uncertainty in Knowledge-Based Systems (Marie-Jeanne Lesot, Susana Vieira, Marek Z. Reformat, João Paulo Carvalho, Anna Wilbik, Bernadette Bouchon-Meunier, Ronald R. Yager, eds.), pages 257–270, 2020, Springer International Publishing.
[bibtex]
2019
[231] Abstraction for Non-Ground Answer Set Programs
Zeynep G. Saribatur, Peter Schüller, Thomas Eiter
Proc. 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, volume 11468 of Lecture Notes in Computer Science, pages 576–592, 2019, Springer.
[bibtex] [pdf]
[230] Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems
Thomas Eiter, Zeynep G. Saribatur, Peter Schüller
Proceedings of the IJCAI 2019 Workshop on Explainable Artificial Intelligence (XAI), 2019.
[bibtex] [pdf]
[229]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, volume 43, number 1, pages 213–238, 2019.
[bibtex] [doi]
[228]Manipulating Skeptical and Credulous Consequences When Merging Beliefs
Adrian Haret, Johannes P. Wallner
Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019), pages 133–150, 2019.
[bibtex]
[227]Belief Revision Operators with Varying Attitudes Towards Initial Beliefs
Adrian Haret, Stefan Woltran
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI 2019), pages 1726–1733, 2019.
[bibtex]
[226] 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] [doi]
[225]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]
[224] TLA+ model checking made symbolic
Igor Konnov, Jure Kukovec, Thanh-Hai Tran
Proc. ACM Program. Lang., volume 3, number OOPSLA, pages 123:1–123:30, 2019.
[bibtex] [pdf] [doi]
[223] Unsound Inferences Make Proofs Shorter
Juan P. Aguilera, Matthias Baaz
J. Symb. Log., volume 84, number 1, pages 102–122, 2019.
[bibtex] [pdf] [doi]
[222] 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]
[221] Integrated Algorithms for HEX-Programs and Applications in Machine Learning
Tobias Kaminski
CoRR, volume abs/1905.02428, 2019.
[bibtex] [pdf]
[220] 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]
[219] 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]
[218] 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]
[217] 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]
[216]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]
[215] 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]
[214] 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]
[213] 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]
[212] 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]
[211] 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]
[210] 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]
[209] 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]
[208] 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]
[207] 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]
[206] 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]
[205] 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]
[204] 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]
[203] 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]
[202] Autarkies for DQCNF
Oliver Kullmann, Ankit Shukla
2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019 (Clark W. Barrett, Jin Yang, eds.), pages 179–183, 2019, IEEE.
[bibtex] [pdf] [doi]
[201] 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]
[200] 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]
[199] 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]
[198] Reachability Analysis for AWS-Based Networks
John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Isil Dillig, Serdar Tasiran, eds.), volume 11562 of Lecture Notes in Computer Science, pages 231–241, 2019, Springer.
[bibtex] [pdf] [doi]
[197] 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]
[196] 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]
[195] 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
[194] Long-Distance Q-Resolution with Dependency Schemes
Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider
Journal of Automated Reasoning, Jun 2018.
[bibtex] [pdf] [doi]
[193] 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]
[192] 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]
[191] 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]
[190]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]
[189] Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Work in Progress Paper presented at ILP 2018 28th International Conference on Inductive Logic Programming September 2nd - 4th 2018, Ferrara, Italy, 2018.
[bibtex] [pdf]
[188] 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]
[187] 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]
[186] 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]
[185]Two Sides of the Same Coin: Belief Revision and Enforcing Arguments
Adrian Haret, Johannes P. Wallner, Stefan Woltran
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018), pages 1854–1860, 2018.
[bibtex]
[184]Belief Revision Operators with Varying Attitudes Towards Initial Beliefs
Adrian Haret, Stefan Woltran
Proceedings of the 17th International Workshop on Non-Monotonic Reasoning (NMR 2018), pages 156–165, 2018.
[bibtex]
[183]Preference Aggregation with Incomplete CP-Nets
Adrian Haret, Arianna Novaro, Umberto Grandi
Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), pages 308–318, 2018.
[bibtex]
[182]Ceteris paribus majority for social ranking
Adrian Haret, Hossein Khani, Stefano Moretti, Meltem Öztürk
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018), pages 303–309, 2018.
[bibtex]
[181] 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]
[180]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]
[179] 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]
[178] Applications of ASP in Formal Argumentation
Martin Diller, Wolfgang Dv\vorá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]
[177] 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]
[176] The problem of Pi2-cut-introduction
Alexander Leitsch, Michael Peter Lettmann
Theor. Comput. Sci., volume 706, pages 83–116, 2018.
[bibtex] [pdf] [doi]
[175] 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]
[174] 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]
[173] 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]
[172] 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]
[171] 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]
[170] 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]
[169] A Tableaux Calculus for Reducing Proof Size
Michael Peter Lettmann, Nicolas Peltier
CoRR, volume abs/1801.04163, 2018.
[bibtex] [pdf]
[168] 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]
[167] 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]
[166] 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]
[165] 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]
[164] 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]
[163] 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.
Note: Not peer-reviewed
[bibtex] [pdf]
[162] 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]
[161] 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]
[160] 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]
[159] 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]
[158]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]
[157] 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]
[156] 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]
[155]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]
[154]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]
[153] 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]
[152] 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]
[151] 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]
[150] 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]
[149] 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]
[148] 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]
[147] 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]
[146] 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]
[145] 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]
[144] Reachability in Parameterized Systems: All Flavors of Threshold Automata
Jure Kukovec, Igor Konnov, Josef Widder
29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China (Sven Schewe, Lijun Zhang, eds.), volume 118 of LIPIcs, pages 19:1–19:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
[bibtex] [pdf] [doi]
[143] 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]
[142] 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.
Note: Not peer-reviewed
[bibtex] [pdf] [doi]
[141] 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]
[140] 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]
[139] 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]
[138]Belief Update in the Horn Fragment
Nadia Creignou, Adrian Haret, Odile Papini, Stefan Woltran
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018), pages 1781–1787, 2018.
[bibtex]
[137] Hypersequents and Systems of Rules: Embeddings and Applications
Agata Ciabattoni, Francesco A. Genco
ACM Trans. Comput. Log., volume 19, number 2, 2018.
[bibtex] [pdf]
[136] 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
[135] 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]
[134] 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]
[133] 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]
[132]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]
[131] 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]
[130] 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]
[129] 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]
[128]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]
[127] 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]
[126] 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]
[125]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]
[124] 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]
[123] 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]
[122] Ten problems in Gödel logic
Juan P. Aguilera, Matthias Baaz
Soft Comput., volume 21, number 1, pages 149–152, 2017.
[bibtex] [pdf] [doi]
[121] On the maximization of menu-dependent interval orders
Juan P. Aguilera, Levent Ülkü
Soc. Choice Welf., volume 48, number 2, pages 357–366, 2017.
[bibtex] [pdf] [doi]
[120] Verification logic
Juan Pablo Aguilera Ozuna, David Fernández-Duque
J. Log. Comput., volume 27, number 8, pages 2451–2469, 2017.
[bibtex] [pdf] [doi]
[119] Preface
Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Stefan Hetzl, Daniel Weller
volume 27, number 2, pages 415, 2017.
[bibtex] [pdf] [doi]
[118] Strong Completeness of Provability Logic for Ordinal Spaces
Juan P. Aguilera, David Fernández-Duque
J. Symb. Log., volume 82, number 2, pages 608–628, 2017.
[bibtex] [pdf] [doi]
[117] 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]
[116] Clausal Analysis of First-order Proof Schemata
David M. Cerna, Michael Peter Lettmann
CoRR, volume abs/1702.02589, 2017.
[bibtex] [pdf]
[115] Algebraic proof theory: Hypersequents and hypercompletions
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui
volume 168, number 3, pages 693–737, 2017.
[bibtex] [pdf] [doi]
[114] 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]
[113] 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]
[112] 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]
[111] 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]
[110] 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]
[109] 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]
[108] 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]
[107] 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]
[106] 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]
[105] 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]
[104] 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]
[103] 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]
[102] 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]
[101] 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]
[100] 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]
[99] 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]
[98] 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]
[97] 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]
[96] 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]
[95] 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]
[94] 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]
[93]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]
[92] 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]
[91] 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]
[90]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]
[89] 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]
[88] 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]
[87]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]
[86] 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]
[85] 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]
[84] 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]
[83] 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]
[82] 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]
[81] 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]
[80] 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]
[79] 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]
[78]Ceres in Intuitionistic Logic
David Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner
Annals of Pure and Applied Logic, 2017.
Note: To Appear
[bibtex]
[77] 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]
[76] 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]
[75]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
[74] 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]
[73] 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]
[72]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]
[71] 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]
[70] Equimatchable Graphs on Surfaces
Eduard Eiben, Michal Kotrb\vcík
Journal of Graph Theory, volume 81, number 1, pages 35–49, 2016.
[bibtex] [pdf] [doi]
[69] 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]
[68]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]
[67]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]
[66]On the Complexity of Rainbow Coloring Problems
Eduard Eiben, Robert Ganian, Juho Lauri
Discrete Applied Mathematics, 2016.
Note: To appear
[bibtex] [doi]
[65] 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]
[64] Proof theory of witnessed Gödel logic: A negative result
Matthias Baaz, Agata Ciabattoni
volume 26, number 1, pages 51–64, 2016.
[bibtex] [pdf] [doi]
[63] 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]
[62] 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]
[61] Proof search and Co-NP completeness for many-valued logics
Mattia Bongini, Agata Ciabattoni, Franco Montagna
volume 292, pages 130–149, 2016.
[bibtex] [pdf] [doi]
[60] Encoding monotonic multi-set preferences using CI-nets: preliminary report
Martin Diller, Anthony Hunter
CoRR, volume abs/1611.02885, 2016.
[bibtex] [pdf]
[59] QBF Solving by Counterexample-guided Expansion
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic
CoRR, volume abs/1611.01553, 2016.
[bibtex] [pdf]
[58] 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]
[57] Cut Elimination for Gödel Logic with an Operator Adding a Constant
Juan P. Aguilera, Matthias Baaz
Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings (Jouko A. Väänänen, Åsa Hirvonen, Ruy J. G. B. de Queiroz, eds.), volume 9803 of Lecture Notes in Computer Science, pages 36–51, 2016, Springer.
[bibtex] [pdf] [doi]
[56] Compactness in Infinitary Gödel Logics
Juan P. Aguilera
Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings (Jouko A. Väänänen, Åsa Hirvonen, Ruy J. G. B. de Queiroz, eds.), volume 9803 of Lecture Notes in Computer Science, pages 22–35, 2016, Springer.
[bibtex] [pdf] [doi]
[55] 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]
[54] 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]
[53] 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]
[52] 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]
[51] 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]
[50] 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]
[49] 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]
[48] 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]
[47] 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]
[46] 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]
[45] 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]
[44] 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]
[43] 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]
[42] 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]
[41] 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]
[40] 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]
[39] 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]
[38] 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]
[37] 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]
[36] 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]
[35] Analytic Calculi for Non-Classical Logics: Theory and Applications
Agata Ciabattoni
(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]
[34] 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]
[33] 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]
[32] 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]
[31] 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]
[30] 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]
[29] Verification logic: An arithmetical interpretation for negative introspection
Juan P. Aguilera, David Fernández-Duque
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 1–20, 2016, College Publications.
[bibtex] [pdf]
2015
[28] Towards Comparing RDF Stream Processing Semantics
Minh Dao-Tran, Harald Beck, Thomas Eiter
HiDeSt, 2015.
[bibtex] [pdf]
[27]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]
[26] 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]
[25]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]
[24] 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]
[23] 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]
[22] Uniform proofs of standard completeness for extensions of first-order MTL
Paolo Baldi, Agata Ciabattoni
volume 603, pages 43–57, 2015.
[bibtex] [pdf] [doi]
[21] 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]
[20] 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]
[19] 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]
[18] 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]
[17] Standard Completeness for Uninorm-Based Logics
Paolo Baldi, Agata Ciabattoni
pages 78–83, 2015, IEEE Computer Society.
[bibtex] [pdf] [doi]
[16] 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]
[15] 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]
[14] 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]
[13]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]
[12] 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]
[11] 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]
[10] 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]
[9] 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]
[8] 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
[7] 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]
[6] 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]
[5] 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]
[4] 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]
[3] 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
[2] Fast byzantine agreement
Nicolas Braud-Santoni, Rachid Guerraoui, Florian Huc
PODC, pages 57–64, 2013, ACM.
[bibtex] [pdf]
[1]
.
[bibtex]