forthcoming | |
[345] | From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic Logica Universalis, pages 1–15, forthcoming. |
EasyChair, 2022 | |
[344] | Towards Synthesis in Superposition EasyChair, 2022. |
2022 | |
[343] | Reasoning With and About Norms in Logical Argumentation 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. |
[342] | Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation 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 |
[341] | Deontic paradoxes in \mimamsa logics: there and back again Journal of Logic, Language, and Information, 10 2022. |
[340] | Just a Matter of Perspective: Intertranslating Expressive Argumentation Formalisms Chapter in Computational Models of Argument, pages 212–223, 2022, IOS Press. |
[339] | GoTube: Scalable Statistical Verification of Continuous-Depth Models AAAI22. 36th AAAI Conference on Artificial Intelligence, Virtual, Feb 22 - Mar 1, 2022, 2022. |
[338] | WebMonitor: Verification of Web User Interfaces 37th IEEE/ACM International Conference on Automated Software Engineering (ASE '22), 2022. |
[337] | Reuse of Introduced Symbols in Automatic Theorem Provers (short paper) 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. |
[336] | First-Order Subsumption via SAT Solving Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022, pages 160–169, 2022. |
[335] | Argumentation Frameworks Induced by Assumption-Based Argumentation: Relating Size and Complexity 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. |
[334] | On Dynamics in Structured Argumentation Formalisms Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel. July 31 - August 5, 2022, 2022. |
[333] | From Semantic Games to Provability: The Case of Gödel Logic Studia Logica, volume 110, number 2, pages 429–456, 2022, Springer Verlag. |
[332] | Efficient Knowledge Compilation Beyond Weighted Model Counting Theory Pract. Log. Program., volume 22, number 4, pages 505–522, 2022. |
[331] | A Neuro-Symbolic ASP Pipeline for Visual Question Answering Theory Pract. Log. Program., volume 22, number 5, pages 739–754, 2022. |
[330] | Moment-based analysis of Bayesian network properties Theor. Comput. Sci., volume 903, pages 113–133, 2022. |
[329] | Planarizing Graphs and their Drawings by Vertex Splitting CoRR, volume abs/2202.12293, 2022. |
[328] | Removing Popular Faces in Curve Arrangements CoRR, volume abs/2202.12175, 2022. |
[327] | Pedant: A Certifying DQBF Solver 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. |
[326] | ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser 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. |
[325] | Large-Neighbourhood Search for Optimisation in Answer-Set Solving 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. |
[324] | The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View 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. |
[323] | Equivalence in Argumentation Frameworks with a Claim-Centric View - Classical Results with Novel Ingredients Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Proceedings, pages 5479–5486, 2022, AAAI Press. |
[322] | Multicriteria Optimization for Dynamic Demers Cartograms IEEE Transactions on Visualization and Computer Graphics, volume , number , pages 1-1, 2022. Note: to appear, early access |
2021 | |
[321] | HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings ACM J. Exp. Algorithmics, volume 26, jul 2021, Association for Computing Machinery. |
[320] | Model-driven engineering city spaces via bidirectional model transformations Software and Systems Modeling, Feb 2021. |
[319] | Omission-Based Abstraction for Answer Set Programs Theory Pract. Log. Program., volume 21, number 2, pages 145–195, 2021. |
[318] | A Case Study on Parametric Verification of Failure Detectors International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pages 138–156, 2021. |
[317] | On the Verification of Neural ODEs with Stochastic Guarantees AAAI21. 35th AAAI Conference on Artificial Intelligence, Virtual, Feb 2-9, 2021, 2021. |
[316] | Online monitoring of spatio-temporal properties for imprecise signals 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. |
[315] | Turbocharging Treewidth-Bounded Bayesian Network Structure Learning Proceeding of AAAI-21, the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021. Note: to appear |
[314] | Verifying Safety of Synchronous Fault-Tolerant Algorithms Bounded Model Checking , 2021. Note: to appear |
[313] | Provability Games for Non-Classical Logics 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. |
[312] | Integer Induction in Saturation Automated Deduction – CADE 28 (André Platzer, Geoff Sutcliffe, eds.), pages 361–377, 2021, Springer International Publishing. |
[311] | Automated Generation of Exam Sheets for Automated Deduction Intelligent Computer Mathematics (Fairouz Kamareddine, Claudio Sacerdoti Coen, eds.), pages 185–196, 2021, Springer International Publishing. |
[310] | Computing Kemeny Rankings From d-Euclidean Preferences 7th International Conference on Algorithmic Decision Theory (ADT'21), Proceedings, pages 147–161, 2021, Lecture Notes in Computer Science. |
[309] | Induction with Recursive Definitions in Superposition Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021, pages 246–255, 2021. |
[308] | Inductive Benchmarks for Automated Reasoning Intelligent Computer Mathematics (Fairouz Kamareddine, Claudio Sacerdoti Coen, eds.), pages 124–129, 2021, Springer International Publishing. |
[307] | Input/output logic with a consistency check - the case of permission 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. |
[306] | Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures Theory Pract. Log. Program., volume 21, number 5, pages 593–609, 2021. |
[305] | Quantitative and Stream Extensions of Answer Set Programming 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. |
[304] | First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving 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. |
[303] | Fire! 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. |
[302] | Recognition of Unit Disk Graphs for Caterpillars, Embedded Trees, and Outerplanar Graphs CoRR, volume abs/2103.08416, 2021. |
[301] | Pruning external minimality checking for answer set programs using semantic dependencies Artif. Intell., volume 290, pages 103402, 2021. |
[300] | Games for Hybrid Logic - From Semantic Games to Analytic Calculi 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. |
[299] | Eliminating Message Counters in Synchronous Threshold Automata 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. |
[298] | Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper) 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. |
[297] | A\(^\mbox2\)L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021, pages 1834–1851, 2021, IEEE. |
[296] | Certified DQBF Solving by Definition Extraction 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. |
[295] | Updatable Signatures and Message Authentication Codes 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. |
[294] | Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting 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. |
[293] | Bounded Predicates in Description Logics with Counting 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. |
[292] | aspmc: An Algebraic Answer Set Counter 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. |
[291] | Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments 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. |
[290] | Strong-Separation Logic 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. |
[289] | Non-clausal Redundancy Properties 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. |
[288] | On the Complexity of Sum-of-Products Problems over Semirings 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. |
[287] | The Complexity Landscape of Claim-Augmented Argumentation Frameworks 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. |
[286] | If you want to smoke, don't buy cigarettes: near-anankastics, contexts, and hyper modality 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. |
[285] | The Gentle Murder Paradox in Sanskrit Philosophy 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. |
2020 | |
[284] | Mathematical Model Checking Based on Semantics and SMT volume 16, number 2, pages 4–13, July 2020, IPSI. |
[283] | On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs Journal of Logic and Computation, volume 30, number 5, pages 1063-1107, 06 2020. |
[282] | Trace Logic for Inductive Loop Reasoning 2020 Formal Methods in Computer Aided Design (FMCAD), pages 255–263, 2020. |
[281] | Lagrangian Reachtubes: The Next Generation CDC20. 59th IEEE Conference on Decision and Control, Virtual, Dec 14-18, 2020, 2020. |
[280] | MaxSAT-Based Postprocessing for Treedepth 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. |
[279] | Defining Argumentation Semantics under a Claim-centric View 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. |
[278] | Dialogue Games for Minimal Logic Logic and Logical Philosophy, volume 30, number 2, pages 281–309, 2020. |
[277] | Tutorial: Parameterized Verification with Byzantine Model Checker Formal Techniques for Distributed Objects, Components, and Systems, volume 12136 of IFIP-LNCS, 2020. |
[276] | Proportional Belief Merging 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. |
[275] | Induction with Generalization in Superposition Reasoning 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. |
[274] | ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation 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. |
[273] | Labelling-based Algorithms for SETAFs 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. |
[272] | Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs 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. |
[271] | On the Relation Between Claim-Augmented Argumentation Frameworks and Collective Attacks 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. |
[270] | The ASPARTIX System Suite 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. |
[269] | ASP(\unicode120016\unicode119966): Answer Set Programming with Algebraic Constraints Theory Pract. Log. Program., volume 20, number 6, pages 895–910, 2020. |
[268] | Extracting symbolic transitions from TLA\(^\mbox+\) specifications Sci. Comput. Program., volume 187, pages 102361, 2020. |
[267] | The Consistency strength of Long Projective Determinacy J. Symb. Log., volume 85, number 1, pages 338–366, 2020. |
[266] | Simulating Strong Practical Proof Systems with Extended Resolution J. Autom. Reason., volume 64, number 7, pages 1247–1267, 2020. |
[265] | Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker CoRR, volume abs/2011.14789, 2020. |
[264] | Determinate logic and the Axiom of Choice Ann. Pure Appl. Log., volume 171, number 2, 2020. |
[263] | Stable Model Semantics for Recursive SHACL 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. |
[262] | Language Inclusion for Finite Prime Event Structures VMCAI, volume 11990 of Lecture Notes in Computer Science, pages 314–336, 2020, Springer. |
[261] | Mora - Automatic Generation of Moment-Based Invariants 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. |
[260] | Cutoffs for Symmetric Point-to-Point Distributed Algorithms 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. |
[259] | RAT Elimination 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. |
[258] | Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions 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. |
[257] | Pebble-Intervals Automata and FO\(^\mbox2\) with Two Orders LATA, volume 12038 of Lecture Notes in Computer Science, pages 208–221, 2020, Springer. |
[256] | Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates 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. |
[255] | The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts 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. |
[254] | Threshold Treewidth and Hypertree Width Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 (Christian Bessiere, ed.), pages 1898–1904, 2020, ijcai.org. |
[253] | Algebra-Based Loop Synthesis 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. |
[252] | Solving the Steiner Tree Problem with few Terminals 32nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2020, Baltimore, MD, USA, November 9-11, 2020, pages 293–300, 2020, IEEE. |
[251] | Analysis of Bayesian Networks via Prob-Solvable Loops 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. |
[250] | Weighted LARS for Quantitative Stream Reasoning 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. |
[249] | A Framework for Exploratory Query Answering with Ontologies 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. |
[248] | Language-Based Web Session Integrity 33rd IEEE Computer Security Foundations Symposium, CSF 2020, Boston, MA, USA, June 22-26, 2020, pages 107–122, 2020, IEEE. |
[247] | The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions 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. |
[246] | Towards Faster Reasoners by Using Transparent Huge Pages 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. |
[245] | A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms 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. |
[244] | eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts 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. |
[243] | Subsumption Demodulation in First-Order Theorem Proving 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. |
[242] | Layered Clause Selection for Saturation-Based Theorem Proving 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. |
[241] | Layered Clause Selection for Theory Reasoning - (Short Paper) 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. |
[240] | Covered Clauses Are Not Propagation Redundant 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. |
[239] | Eliminating Message Counters in Threshold Automata 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. |
[238] | Computing Optimal Hypertree Decompositions 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. |
[237] | Resilient Logic Programs: Answer Set Programs Challenged by Ontologies 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. |
[236] | An Efficient Algorithm for Counting Markov Equivalent DAGs 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. |
[235] | Parameterized Complexity of Envy-Free Resource Allocation in Social Networks 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. |
[234] | Query Rewriting for Ontology-Mediated Conditional Answers 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. |
[233] | The Varieties of Ought-implies-Can and Deontic STIT Logic 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. |
[232] | From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic 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. |
2019 | |
[231] | Abstraction for Non-Ground Answer Set Programs Proc. 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, volume 11468 of Lecture Notes in Computer Science, pages 576–592, 2019, Springer. |
[230] | Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems Proceedings of the IJCAI 2019 Workshop on Explainable Artificial Intelligence (XAI), 2019. |
[229] | Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories Autonomous Robots, volume 43, number 1, pages 213–238, 2019. |
[228] | Manipulating Skeptical and Credulous Consequences When Merging Beliefs Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019), pages 133–150, 2019. |
[227] | Belief Revision Operators with Varying Attitudes Towards Initial Beliefs Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI 2019), pages 1726–1733, 2019. |
[226] | Strong Equivalence for Argumentation Frameworks with Collective Attacks 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. |
[225] | Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search ACM Trans. Embedded Comput. Syst., volume 18, number 1, pages 4:1–4:28, 2019. |
[224] | TLA+ model checking made symbolic Proc. ACM Program. Lang., volume 3, number OOPSLA, pages 123:1–123:30, 2019. |
[223] | Unsound Inferences Make Proofs Shorter J. Symb. Log., volume 84, number 1, pages 102–122, 2019. |
[222] | Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019, pages 293–312, 2019. |
[221] | Integrated Algorithms for HEX-Programs and Applications in Machine Learning CoRR, volume abs/1905.02428, 2019. |
[220] | Verifying Safety of Synchronous Fault-Tolerant Algorithms Bounded Model Checking 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. |
[219] | Effective Entailment Checking for Separation Logic with Inductive Definitions 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. |
[218] | A Game Model for Proofs with Costs 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. |
[217] | Bounded Sequent Calculi for Non-classical Logics via Hypersequents 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. |
[216] | Mutation Testing with Hyperproperties SEFM, volume 11724 of Lecture Notes in Computer Science, pages 203–221, 2019, Springer. |
[215] | Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings, pages 202–218, 2019. |
[214] | HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings 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. |
[213] | Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability 26th Annual Network and Distributed System Security Symposium, NDSS 2019, San Diego, California, USA, February 24-27, 2019, 2019, The Internet Society. |
[212] | Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth 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. |
[211] | Pruning External Minimality Checking for ASP Using Semantic Dependencies 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. |
[210] | A Neutral Temporal Deontic STIT Logic Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings, pages 340–354, 2019. |
[209] | Evaluating Networks of Arguments: A Case Study in M\=im\=a\unicode7747s\=a Dialectics Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings, pages 355–369, 2019. |
[208] | Cut-Free Calculi and Relational Semantics for Temporal STIT Logics Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pages 803–819, 2019. |
[207] | Finding Linear Arrangements of Hypergraphs with Bounded Cutwidth in Linear Time 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. |
[206] | Meta-Interpretive Learning Using HEX-Programs 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. |
[205] | Interactive Visualization of Saturation Attempts in Vampire 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. |
[204] | Additive First-Order Queries 22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal, pages 19:1–19:14, 2019. |
[203] | Epistemic Reasoning with Byzantine-Faulty Agents Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pages 259–276, 2019. |
[202] | Autarkies for DQCNF 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. |
[201] | Verifying Relational Properties using Trace Logic 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. |
[200] | Answer Set Programs Challenged by Ontologies 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. |
[199] | Under the Hood of a Stand-Alone Lagrangian Reachability Tool 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. |
[198] | Reachability Analysis for AWS-Based Networks 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. |
[197] | Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops 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. |
[196] | HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings 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. |
[195] | Relaxing and Restraining Queries for OBDA 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. |
2018 | |
[194] | Long-Distance Q-Resolution with Dependency Schemes Journal of Automated Reasoning, Jun 2018. |
[193] | Abstraction for Non-Ground Answer Set Programs Workshop on Trends and Applications of Answer Set Programming (TAASP), November 2018, 2018. |
[192] | Omission-based Abstraction for Answer Set Programs Proc. 16th International Conference on Principles of Knowledge Representation and Reasoning (KR), October 2018, 2018. |
[191] | Towards Abstraction in ASP with an Application on Reasoning about Agent Policies. Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP), July 2018, 2018. |
[190] | Harrsh: A Tool for Unified Reasoning about Symbolic-Heap Separation Logic Proceedings of the 13th International Workshop on the Implementation of Logics (IWIL), 2018. |
[189] | Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming Work in Progress Paper presented at ILP 2018 28th International Conference on Inductive Logic Programming September 2nd - 4th 2018, Ferrara, Italy, 2018. |
[188] | Polynomial-Time Validation of QCDCL Certificates Theory and Applications of Satisfiability Testing – SAT 2018 (Olaf Beyersdorff, Christoph M. Wintersteiger, eds.), pages 253–269, 2018, Springer International Publishing. |
[187] | Extracting Symbolic Transitions from TLA+ Specifications ABZ 2018, 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018. Note: (to appear) |
[186] | Portfolio-Based Algorithm Selection for Circuit QBFs Principles and Practice of Constraint Programming (John Hooker, ed.), pages 195–209, 2018, Springer International Publishing. |
[185] | Two Sides of the Same Coin: Belief Revision and Enforcing Arguments Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018), pages 1854–1860, 2018. |
[184] | Belief Revision Operators with Varying Attitudes Towards Initial Beliefs Proceedings of the 17th International Workshop on Non-Monotonic Reasoning (NMR 2018), pages 156–165, 2018. |
[183] | Preference Aggregation with Incomplete CP-Nets Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), pages 308–318, 2018. |
[182] | Ceteris paribus majority for social ranking Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018), pages 303–309, 2018. |
[181] | Solving Problems on Graphs of High Rank-Width Algorithmica, volume 80, number 2, pages 742–771, 2018. |
[180] | Improved Results for Minimum Constraint Removal Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, AAAI 2018, February 2-7, 2018, New Orleans, Louisiana, USA, 2018. Note: To appear |
[179] | Efficient translation of sequent calculus proofs into natural deduction proofs Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR) (Boris Konev, Josef Urban, Philipp Rümmer, eds.), pages 17–33, 2018. |
[178] | Applications of ASP in Formal Argumentation Proceedings of the 2nd Workshop on Trends and Applications of Answer Set Programming (TAASP 2018), 2018. |
[177] | Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning TPLP, volume 18, number 3-4, pages 571–588, 2018. |
[176] | The problem of Pi2-cut-introduction Theor. Comput. Sci., volume 706, pages 83–116, 2018. |
[175] | The DLVHEX System KI, volume 32, number 2-3, pages 187–189, 2018. |
[174] | Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access J. Artif. Intell. Res., volume 62, pages 665–727, 2018. |
[173] | An extension-based approach to belief revision in abstract argumentation Int. J. Approx. Reasoning, volume 93, pages 395–423, 2018. |
[172] | A many-sorted variant of Japaridze's polymodal provability logic Logic Journal of the IGPL, volume 26, number 5, pages 505–538, 2018. |
[171] | Classical Proofs as Parallel Programs Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pages 43–57, 2018. |
[170] | Relaxing and Restraining Queries for OBDA CoRR, volume abs/1808.02850, 2018. |
[169] | A Tableaux Calculus for Reducing Proof Size CoRR, volume abs/1801.04163, 2018. |
[168] | Invariant Generation for Multi-Path Loops with Polynomial Assignments 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. |
[167] | Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction 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. |
[166] | WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring 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. |
[165] | Lossy Kernels for Connected Dominating Set on Sparse Graphs 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. |
[164] | Small Resolution Proofs for QBF using Dependency Treewidth 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. |
[163] | Two flavors of DRAT 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 |
[162] | Local Soundness for QBF Calculi 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. |
[161] | Notions of Instrumentality in Agency Logic PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29 - November 2, 2018, Proceedings, pages 403–419, 2018. |
[160] | A Semantic Framework for the Security Analysis of Ethereum Smart Contracts 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. |
[159] | Containment for Rule-Based Ontology-Mediated Queries 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. |
[158] | Aligator.jl - A Julia Package for Loop Invariant Generation CICM, volume 11006 of Lecture Notes in Computer Science, pages 111–117, 2018, Springer. |
[157] | A Theory of Satisfiability-Preserving Proofs in SAT Solving 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. |
[156] | Loop Analysis by Quantification over Iterations LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pages 381–399, 2018. |
[155] | From Display to Labelled Proofs for Tense Logics 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. |
[154] | A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem 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. |
[153] | Relaxing and Restraining Queries for OBDA - Extended Abstract 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. |
[152] | First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., pages 1707–1713, 2018. |
[151] | Compiling Model Representations for Querying Large ABoxes in Expressive DLs Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., pages 1691–1698, 2018. |
[150] | Enumeration Complexity of Conjunctive Queries with Functional Dependencies 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. |
[149] | Rewriting Guarded Existential Rules into Small Datalog Programs 21st International Conference on Database Theory, ICDT 2018, March 26-29, 2018, Vienna, Austria, pages 4:1–4:24, 2018. |
[148] | Complete and Efficient DRAT Proof Checking 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. |
[147] | Formal Verification of Masked Hardware Implementations in the Presence of Glitches Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2018. |
[146] | Taming Complex Role Inclusions for DL-Lite 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. |
[145] | A monadic framework for relational verification: applied to information security, program equivalence, and optimizations 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. |
[144] | Reachability in Parameterized Systems: All Flavors of Threshold Automata 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. |
[143] | Investigating Subclasses of Abstract Dialectical Frameworks 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. |
[142] | Foundations and Tools for the Static Analysis of Ethereum Smart Contracts 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 |
[141] | Extended Resolution Simulates DRAT 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. |
[140] | A Separation Logic with Data: Small Models and Automation 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. |
[139] | First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, Cali, Colombia, May 21-25, 2018., 2018. |
[138] | Belief Update in the Horn Fragment Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018), pages 1781–1787, 2018. |
[137] | Hypersequents and Systems of Rules: Embeddings and Applications ACM Trans. Comput. Log., volume 19, number 2, 2018. |
[136] | Combining Rules and Ontologies into Clopen Knowledge Bases 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 |
2017 | |
[135] | Greedy pebbling for proof space compression International Journal on Software Tools for Technology Transfer, pages 1–16, 6 2017. |
[134] | Reactive Maintenance Policies over Equalized States in Dynamic Environments 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. |
[133] | Blocked Clauses in First-Order Logic 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. |
[132] | The Basics of Display Calculi Kriterion – Journal of Philosophy, volume 31, number 2, pages 55-100, 2017. |
[131] | Stream Reasoning-Based Control of Caching Strategies in CCN Routers Proceedings of the IEEE International Conference on Communications, May 21-25, 2017, Paris, France, 2017. |
[130] | Optimizing Big-Data Queries Using Program Synthesis Proceedings of the 26th Symposium on Operating Systems Principles, pages 631–646, 2017, ACM. |
[129] | Dependency Learning for QBF Theory and Applications of Satisfiability Testing – SAT 2017 (Serge Gaspers, Toby Walsh, eds.), pages 298–313, 2017, Springer International Publishing. |
[128] | SAT-Encodings for Special Treewidth and Pathwidth 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 |
[127] | Answer Set Programs with External Source Access: Integrated Evaluation and New Applications Doctoral Consortium at the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-DC 2017) (Marina De Vos, ed.), pages 11–16, 2017. |
[126] | Towards a Semantics of Unsatisfiability Proofs with Inprocessing 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. |
[125] | SAT-Based Local Improvement for Finding Tree Decompositions of Small Width 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 |
[124] | Merging in the Horn Fragment ACM Trans. Comput. Log., volume 18, number 1, pages 6:1–6:32, 2017. |
[123] | Managing Change in Graph-Structured Data Using Description Logics ACM Trans. Comput. Log., volume 18, number 4, pages 27:1–27:35, 2017. |
[122] | Ten problems in Gödel logic Soft Comput., volume 21, number 1, pages 149–152, 2017. |
[121] | On the maximization of menu-dependent interval orders Soc. Choice Welf., volume 48, number 2, pages 357–366, 2017. |
[120] | Verification logic J. Log. Comput., volume 27, number 8, pages 2451–2469, 2017. |
[119] | Preface volume 27, number 2, pages 415, 2017. |
[118] | Strong Completeness of Provability Logic for Ordinal Spaces J. Symb. Log., volume 82, number 2, pages 608–628, 2017. |
[117] | Para^2: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms Formal Methods in System Design, volume 51, number 2, pages 270–307, 2017. |
[116] | Clausal Analysis of First-order Proof Schemata CoRR, volume abs/1702.02589, 2017. |
[115] | Algebraic proof theory: Hypersequents and hypercompletions volume 168, number 3, pages 693–737, 2017. |
[114] | Skolem Function Continuation for Quantified Boolean Formulas 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. |
[113] | ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans 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. |
[112] | Interpreting Sequent Calculi as Client-Server Games 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. |
[111] | Integrating a Global Induction Mechanism into a Sequent Calculus 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. |
[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. |
[109] | Answer Set Programming with External Source Access 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. |
[108] | A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms 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. |
[107] | Synthesis of Distributed Algorithms with Parameterized Threshold Guards 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. |
[106] | Lossy Kernels for Hitting Subgraphs 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. |
[105] | Towards a Polynomial Kernel for Directed Feedback Vertex Set 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. |
[104] | Model-based, mutation-driven test case generation via heuristic-guided branching search 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. |
[103] | On the Complexity of Hard Enumeration Problems 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. |
[102] | Deviation in Belief Change on Fragments of Propositional Logic 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. |
[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. |
[100] | Defeasible AceRules: A Prototype 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. |
[99] | Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences 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. |
[98] | Hintikka Style Game Rules for Semi-Fuzzy Quantifiers 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017, pages 106–111, 2017, IEEE Computer Society. |
[97] | Resilient Control and Safety for Multi-Agent Cyber-Physical Systems 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. |
[96] | On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks 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. |
[95] | Lazy-Grounding for Answer Set Programs with External Source Access 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. |
[94] | Solving Integer Linear Programs with a Small Number of Global Variables and Constraints 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. |
[93] | First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation 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. |
[92] | Querying with Vague Quantifiers Using Probabilistic Semantics 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. |
[91] | Fuzzing and Verifying RAT Refutations with Deletion Information 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. |
[90] | Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic 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. |
[89] | Constructive Satisfiability Procedure for ALC\(^\mboxP\)(Z) (Preliminary Report) 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. |
[88] | Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming 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. |
[87] | A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017, pages 22–36, 2017, IEEE Computer Society. |
[86] | A Type System for Privacy Properties 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. |
[85] | Splitting Proofs for Interpolation 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. |
[84] | Encoding monotonic multiset preferences using CI-nets 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. |
[83] | Attacking the V: On the Resiliency of Adaptive-Horizon MPC 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. |
[82] | Logic-Based Merging in Fragments of Classical Logic with Inputs from Social Choice Theory Algorithmic Decision Theory - 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings, pages 374–378, 2017. |
[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. |
[80] | V for Verification: Intelligent Algorithm of Checking Reliability of Smart Systems 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. |
[79] | Solving Advanced Argumentation Problems with Answer-Set Programming 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. |
[78] | Ceres in Intuitionistic Logic Annals of Pure and Applied Logic, 2017. Note: To Appear |
[77] | Ticker: A system for incremental ASP-based stream reasoning TPLP, volume 17, number 5-6, pages 744–763, 2017. |
[76] | Expressive Stream Reasoning with Laser The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I, pages 87–103, 2017. |
[75] | A Framework for Automated Verification of Synchronous Fault-Tolerant Distributed Algorithms 1st Women in Logic Workshop, WiL 2017, Reykjavik, Iceland, June 19, 2017, 2017. Note: To appear |
2016 | |
[74] | Reactive Policies with Planning for Action Languages Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (NMR), pages 143–152, 2016. |
[73] | Equivalent Stream Reasoning Programs 25th International Joint Conference on Artificial Intelligence (IJCAI), July 9-15, 2016, New York, USA, 2016. |
[72] | Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks 15th European Conference on Logics in Artificial Intelligence (JELIA), November 9-11, 2016, Larnaca, Cyprus, 2016. |
[71] | Long Distance Q-Resolution with Dependency Schemes Theory and Applications of Satisfiability Testing – SAT 2016 (Nadia Creignou, Daniel Le Berre, eds.), pages 500–518, 2016, Springer International Publishing. |
[70] | Equimatchable Graphs on Surfaces Journal of Graph Theory, volume 81, number 1, pages 35–49, 2016. |
[69] | Using Decomposition-Parameters for QBF: Mind the Prefix! 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. |
[68] | A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion 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. |
[67] | Counting Linear Extensions: Parameterizations by Treewidth 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. |
[66] | On the Complexity of Rainbow Coloring Problems Discrete Applied Mathematics, 2016. Note: To appear |
[65] | Power and Limits of Structural Display Rules ACM Trans. Comput. Log., volume 17, number 3, pages 17:1–17:39, 2016. |
[64] | Proof theory of witnessed Gödel logic: A negative result volume 26, number 1, pages 51–64, 2016. |
[63] | Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs Journal of Automated Reasoning, volume 57, number 1, pages 3–36, 2016. |
[62] | The Next 700 Impossibility Results in Time-Varying Graphs IJNC, volume 6, number 1, pages 27–41, 2016. |
[61] | Proof search and Co-NP completeness for many-valued logics volume 292, pages 130–149, 2016. |
[60] | Encoding monotonic multi-set preferences using CI-nets: preliminary report CoRR, volume abs/1611.02885, 2016. |
[59] | QBF Solving by Counterexample-guided Expansion CoRR, volume abs/1611.01553, 2016. |
[58] | Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation 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 |
[57] | Cut Elimination for Gödel Logic with an Operator Adding a Constant 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. |
[56] | Compactness in Infinitary Gödel Logics 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. |
[55] | A Duality-Aware Calculus for Quantified Boolean Formulas 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. |
[54] | A SAT Approach to Branchwidth 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. |
[53] | On the Exact Learnability of Graph Parameters: The Case of Partition Functions 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. |
[52] | Hankel Matrices for Weighted Visibly Pushdown Automata 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. |
[51] | Merging of Abstract Argumentation Frameworks 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. |
[50] | Reactive Policies with Planning for Action Languages 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. |
[49] | DRAT Proofs for XOR Reasoning 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. |
[48] | Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects 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. |
[47] | Feedback Control for Statistical Model Checking of Cyber-Physical Systems 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. |
[46] | Reactive Policy Checking for Action Languages 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. |
[45] | Distributing Knowledge into Simple Bases 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. |
[44] | Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access 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. |
[43] | Ontology-Mediated Queries Distributing over Components 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. |
[42] | Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates 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. |
[41] | On the Complexity of Enumerating the Answers to Well-designed Pattern Trees 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. |
[40] | Temporal Logic as Filtering 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. |
[39] | The Challenge of Optional Matching in SPARQL 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. |
[38] | Beyond IC Postulates: Classification Criteria for Merging Operators 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. |
[37] | A Compilation Technique for Interactive Ontology-mediated Data Exploration 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. |
[36] | Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics 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. |
[35] | Analytic Calculi for Non-Classical Logics: Theory and Applications (Jean-Marc Talbot, Laurent Regnier, eds.), volume 62 of LIPIcs, pages 4:1–4:1, 2016, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. |
[34] | Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems 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. |
[33] | Super-Blocked Clauses 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. |
[32] | System Description: GAPT 2.0 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. |
[31] | Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates 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. |
[30] | Embedding formalisms: hypersequents and two-level systems of rule 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. |
[29] | Verification logic: An arithmetical interpretation for negative introspection 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. |
2015 | |
[28] | Towards Comparing RDF Stream Processing Semantics HiDeSt, 2015. |
[27] | Contrasting RDF Stream Processing Semantics 5th Joint International Semantic Technology Conference (JIST), November 11-13, 2015, YiChang, China, 2015. |
[26] | Answer Update for Rule-based Stream Reasoning 24th International Joint Conference on Artificial Intelligence (IJCAI), July 25-31, 2015, Buenos Aires, Argentinia, 2015. |
[25] | Meta-Kernelization using Well-Structured Modulators 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. |
[24] | Solving Problems on Graphs of High Rank-Width 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. |
[23] | On the Complexity of Rainbow Coloring Problems 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. |
[22] | Uniform proofs of standard completeness for extensions of first-order MTL volume 603, pages 43–57, 2015. |
[21] | Reasoning in abstract dialectical frameworks using quantified Boolean formulas Argument & Computation, volume 6, number 2, pages 149–177, 2015. |
[20] | Towards Reconciling SPARQL and Certain Answers 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. |
[19] | Mīmāṃsā Deontic Logic: Proof Theory and Applications 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. |
[18] | Diagnostic Reasoning for Robotics Using Action Languages 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. |
[17] | Standard Completeness for Uninorm-Based Logics pages 78–83, 2015, IEEE Computer Society. |
[16] | A Generic Framework for Impossibility Results in Time-Varying Graphs 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, IPDPS 2015, Hyderabad, India, May 25-29, 2015, pages 483–489, 2015, IEEE Computer Society. |
[15] | Merging in the Horn Fragment Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 3041–3047, 2015. |
[14] | An Extension-Based Approach to Belief Revision in Abstract Argumentation 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. |
[13] | Integrating hybrid diagnostic reasoning in plan execution monitoring for cognitive factories with multiple robots IEEE International Conference on Robotics and Automation, ICRA 2015, Seattle, WA, USA, 26-30 May, 2015, pages 2007–2013, 2015, IEEE. |
[12] | On Structural Analysis of Non-Ground Answer-Set Programs 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. |
[11] | DL-Lite and Conjunctive Queries Extended by Optional Matching 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. |
[10] | On the Context Dependence of Many 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. |
[9] | Logics of Finite Hankel Rank 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. |
[8] | Towards Reconciling SPARQL and Certain Answers (Extended Abstract) 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. |
2014 | |
[7] | Towards Ideal Semantics for Analyzing Stream Reasoning. International Workshop on Reactive Concepts in Knowledge Representation, August 19, 2014, Prague, Czech Republic, 2014. |
[6] | Towards a Logic-Based Framework for Analyzing Stream Reasoning. 3rd International Workshop on Ordering and Reasoning, October 19-20, 2014, Riva del Garda, Trentino, Italy, 2014. |
[5] | The Next 700 Impossibility Results in Time-Varying Graphs CoRR, volume abs/1412.6007, 2014. |
[4] | Reduction of Resolution Refutations and Interpolants via Subsumption 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. |
[3] | Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas 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. |
2013 | |
[2] | Fast byzantine agreement PODC, pages 57–64, 2013, ACM. |
[1] | . |