Declarative Boolean Optimization: Pushing the Envelope

Forskningsresultat

Forskningsresultat per år 2020 2020 2021 2022 2023 2023

• 29 Konferensbidrag
• 4 Artikel
• 2 Kapitel
• 1 Antologi eller special utgåva

Forskningsresultat per år

Forskningsresultat per år

Sökresultat

• 2023

  Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity

  Lehtonen, T., Rapberger, A., Ulbricht, M. & Wallner, J. P., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). Marquis, P., Cao Son, T. & Kern-Isberner, G. (red.). International Joint Conference on Artificial Intelligence, Inc, s. 440-450

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Argumentative Reasoning in ASPIC+ under Incomplete Information

  Odekerken, D., Lehtonen, T., Borg, A., Wallner, J. P. & Järvisalo, M., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). Marquis, P., Cao Son, T. & Kern-Isberne, G. (red.). International Joint Conference on Artificial Intelligence, Inc

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Computing MUS-Based Inconsistency Measures

  Kuhlmann, I., Niskanen, A. & Järvisalo, M., 24 sep. 2023, Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings. Ortiz, M., Martinez, M. V. & Gaggl, S. (red.). Springer, s. 745-755 11 s. (Lecture Notes in Computer Science; vol. 14281).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Design of ICCMA 2023, 5th lnternational Competition on Computational Models of Argumentation: A Preliminary Report (invited paper)

  Järvisalo, M., Lehtonen, T. & Niskanen, A., 2023, Proceedings of the First lnternational Workshop on Argumentation and Applications (Arg&App 2023). Cocarascu, O., Doutre, S., Mailly, J.-G. & Rago, A. (red.). CEUR-WS.org, s. 4-10 7 s. (CEUR Workshop Proceedings; vol. 3472).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig

  Öppen tillgång

  Fil

• MaxSAT-Based Inconsistency Measurement

  Niskanen, A., Kuhlmann, I., Thimm, M. & Järvisalo, M., 2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Gal, K., Nowé, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (red.). IOS PRESS, s. 1779-1786 8 s. (Frontiers in Artificial Intelligence and Applications; vol. 372).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• MaxSAT Evaluation 2023: Solver and Benchmark Descriptions

  Berg, J. (Redaktör), Järvisalo, M. (Redaktör), Martins, R. (Redaktör) & Niskanen, A. (Redaktör), 2023, Helsinki: Department of Computer Science, University of Helsinki. 41 s. (Department of Computer Science Series of Publications B; vol. B-2023-2)

  Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig

  Öppen tillgång

  Fil

• Oracle-Based Local Search for Pseudo-Boolean Optimization

  Iser, M., Berg, J. & Järvisalo, M., 2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Gal, K., Nowé, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (red.). IOS PRESS, s. 1124-1131 8 s. (Frontiers in Artificial Intelligence and Applications; vol. 372).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization

  Jabs, C., Berg, J., Ihalainen, H. E. & Järvisalo, M., 2023, 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 18:1-18:20 (Leibniz International Proceedings in Informatics (LIPIcs); vol. 280).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• SAT-based Judgment Aggregation

  Conati, A. F., Niskanen, A. & Järvisalo, M., 2023, Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023. Agmon, N., Ricci, A. & Yeoh, W. (red.). ACM, s. 1412-1420 9 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Unifying Core-Guided and Implicit Hitting Set based Optimization

  Ihalainen, H. E., Berg, J. & Järvisalo, M., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023). International Joint Conference on Artificial Intelligence, Inc, s. 1935-1943 9 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil
• 2022

  Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation

  Lehtonen, T., Wallner, J. P. & Järvisalo, M., 2022, Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022). Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (red.). IOS PRESS, s. 236-247 12 s. (Frontiers in Artificial Intelligence and Applications; vol. 353).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Clause Redundancy and Preprocessing in Maximum Satisfiability

  Ihalainen, H. E., Berg, J. & Järvisalo, M., 2022, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings. Blachette, J., Kovács, L. & Pattinson, D. (red.). Springer International Publishing AG, s. 75-94 20 s. (Lecture Notes in Computer Science; vol. 13385).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism

  Lehtonen, T., Wallner, J. P. & Järvisalo, M., 2022, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel. July 31 - August 5, 2022. Kern-Isberner, G., Lakemeyer, G. & Meyer, T. (red.). International Joint Conference on Artificial Intelligence, Inc, s. 215–225 11 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization

  Smirnov, P., Berg, J. & Järvisalo, M., 2022, 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel. Meel, K. & Strichman, O. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 13:1-13:18 18 s. (LIPIcs; vol. 236).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Incremental Maximum Satisfiability

  Niskanen, A., Berg, J. & Järvisalo, M., 2022, 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel. Meel, K. & Strichman, O. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 14:1-14:19 19 s. (LIPIcs; vol. 236).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• MaxSAT-Based Bi-Objective Boolean Optimization

  Jabs, C. J., Berg, J., Niskanen, A. & Järvisalo, M., 2022, 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel. Meel, K. & Strichman, O. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 12:1-12:23 23 s. (LIPIcs; vol. 236).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil
• 2021

  Acceptance in Incomplete Argumentation Frameworks

  Baumeister, D., Järvisalo, M., Neugebauer, D., Niskanen, A. & Rothe, J., juni 2021, I: Artificial Intelligence. 295, 35 s., 103470.

  Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Controllability of Control Argumentation Frameworks

  Niskanen, A., Neugebauer, D. & Järvisalo, M., jan. 2021, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020). Bessiere, C. (red.). International Joint Conference on Artificial Intelligence, Inc, s. 1855-1861 7 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Declarative Algorithms and Complexity Results for Assumption-Based Argumentation

  Lehtonen, T., Wallner, J. P. & Järvisalo, M., 2021, I: Journal of Artificial Intelligence Research. 71, s. 265-318 54 s.

  Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT under Changing Weights

  Niskanen, A., Berg, J. & Järvisalo, M., 2021, Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming (CP 2021). Michel, L. D. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 44:1-44:19 19 s. (LIPIcs-Leibniz International Proceedings in Informatics; vol. 210).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation

  Lehtonen, T., Wallner, J. P. & Järvisalo, M., 2021, I: Theory and Practice of Logic Programming. 21, 6, s. 717–734 18 s.

  Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters

  Korhonen, T. & Järvisalo, M., 2021, 27th International Conference on Principles and Practice of Constraint Programming (CP 2021). Michel, L. D. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 8:1-8:11 11 s. (LIPIcs-Leibniz International Proceedings in Informatics; vol. 210).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Maximal Ancestral Graph Structure Learning via Exact Search

  Rantanen, K., Hyttinen, A. & Järvisalo, M., 2021, Proceedings of the 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021). de Campos, C. P., Maathuis, M. H. & Quaeghebeur, E. (red.). AUAI Press, s. 1237-1247 11 s. (Proceedings of Machine Learning Research; vol. 161).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Maximum Satisfiability

  Bacchus, F., Järvisalo, M. & Martins, R., 2021, Handbook of Satisfiability. Biere, A., Heule, M., van Maaren, H. & Walsh, T. (red.). 2 red. IOS PRESS, s. 929 - 991 (Frontiers in Artificial Intelligence and Applications; vol. 336).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig › Peer review

• Preprocessing in SAT Solving

  Biere, A., Järvisalo, M. & Kiesl, B., 2021, Handbook of Satisfiability. Biere, A., Heule, M., van Maaren, H. & Walsh, T. (red.). 2 red. IOS PRESS, s. 391 - 435 (Frontiers in Artificial Intelligence and Applications; vol. 336).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig › Peer review

• Pseudo-Boolean Optimization by Implicit Hitting Sets

  Smirnov, P., Berg, J. & Järvisalo, M., 2021, 27th International Conference on Principles and Practice of Constraint Programming (CP 2021). Michel, L. D. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 51:1-51:20 20 s. (LIPIcs-Leibniz International Proceedings in Informatics; vol. 210).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Refined Core Relaxation for Core-Guided MaxSAT Solving

  Ihalainen, H. E., Berg, J. & Järvisalo, M., 2021, Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming (CP 2021),. Michel, L. D. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 28:1-28:19 19 s. (LIPIcs-Leibniz International Proceedings in Informatics; vol. 210).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• SAT Competition 2020

  Froleyks, N., Heule, M., Iser, M., Järvisalo, M. & Suda, M., dec. 2021, I: Artificial Intelligence. 301, 25 s., 103572.

  Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

  Öppen tillgång

  Fil
• 2020

  An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework

  Lehtonen, T., Wallner, J. P. & Järvisalo, M., 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). Calvanese, D., Erdem, E. & Thielscher, M. (red.). International Joint Conference on Artificial Intelligence, Inc, s. 636-646 11 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Deciding Acceptance in Incomplete Argumentation Frameworks

  Niskanen, A., Neugebauer, D., Järvisalo, M. & Rothe, J., 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). AAAI Press, s. 2942-2949 8 s. (Proceedings of the AAAI Conference on Artificial Intelligence).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Finding Most Compatible Phylogenetic Trees over Multi-State Characters

  Korhonen, T. & Järvisalo, M., 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). 2 red. AAAI Press, Vol. 34. s. 1544-1551 8 s. (AAAI Conference on Artificial Intelligence; vol. 34, nr. 2).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation

  Savela, J., Oikarinen, E. & Järvisalo, M., 27 maj 2020, LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Albert, E. & Kovács, L. (red.). EasyChair Publications, s. 465-482 18 s. (EPiC Series in Computing; vol. 73).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Learning Optimal Cyclic Causal Graphs from Interventional Data

  Rantanen, K., Hyttinen, A. & Järvisalo, M., 2020, Proceedings of the 10th International Conference on Probabilistic Graphical Models (PGM 2020). Jaeger, M. & Nielsen, T. D. (red.). Journal of Machine Learning Research, s. 365-376 12 s. (Proceedings of Machine Learning Research; vol. 138).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Preprocessing in Incomplete MaxSAT Solving

  Leivo, M. J., Berg, J. & Järvisalo, M., 2020, Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). IOS PRESS, s. 347-354 8 s. (Frontiers in Artificial Intelligence and Applications; vol. 325).

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation

  Niskanen, A. & Järvisalo, M., 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). Calvanese, D., Erdem, E. & Thielscher, M. (red.). International Joint Conference on Artificial Intelligence, Inc, s. 667-671 5 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

• μ-toksia: An Efficient Abstract Argumentation Reasoner

  Niskanen, A. & Järvisalo, M., 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). Calvanese, D., Erdem, E. & Thielscher, M. (red.). International Joint Conference on Artificial Intelligence, Inc, s. 800-804 5 s.

  Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  Öppen tillgång

  Fil