Computing MUS-Based Inconsistency Measures

Isabelle Kuhlmann; Andreas Niskanen; Matti Järvisalo

doi:10.1007/978-3-031-43619-2_50

Computing MUS-Based Inconsistency Measures

Isabelle Kuhlmann, Andreas Niskanen, Matti Järvisalo

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

Originalspråk	engelska
Titel på värdpublikation	Logics in Artificial Intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
Redaktörer	Magdalena Ortiz, Maria Vanina Martinez, Sarah Gaggl
Antal sidor	11
Förlag	Springer
Utgivningsdatum	24 sep. 2023
Sidor	745-755
ISBN (tryckt)	978-3-031-43618-5
DOI	https://doi.org/10.1007/978-3-031-43619-2_50
Status	Publicerad - 24 sep. 2023
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	European Conference on Logics in Artificial Intelligence - Dresden, Tyskland Varaktighet: 20 sep. 2023 → 22 sep. 2023 Konferensnummer: 18

Publikationsserier

Namn	Lecture Notes in Computer Science
Förlag	Springer
Volym	14281
ISSN (elektroniskt)	1611-3349

Vetenskapsgrenar

113 Data- och informationsvetenskap

Åtkomst av dokument

10.1007/978-3-031-43619-2_50

paperAccepterat manuskript från författare, 532 KB

1 Slutfört
2 Aktiv

Next-generation Unsatisfiabillity-based Declarative Optimization
Järvisalo, M. (Projektledare), Conati, A. F. (deltagare), Eskelinen, V. (deltagare), Feyzbakhsh Rankooh, M. (deltagare), Jabs, C. J. (deltagare), Lehtonen, T. (deltagare) & Sun, H. X. (deltagare)
Finlands Akademi
01/09/2023 → 31/08/2027
Projekt: Finlands Akademi: Akademiprojektsbidrag
Inkrementaalisia logiikkapohjaisia menetelmiä yli vaativuusluokan NP
Niskanen, A. (Projektledare)
Finlands Akademi
01/09/2022 → 31/08/2025
Projekt: Finlands Akademi: Forskardoktor
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Projekt: Forskningsprojekt

Citera det här

Kuhlmann, I., Niskanen, A., & Järvisalo, M. (2023). Computing MUS-Based Inconsistency Measures. I M. Ortiz, M. V. Martinez, & S. Gaggl (Red.), Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings (s. 745-755). (Lecture Notes in Computer Science; Vol. 14281). Springer. https://doi.org/10.1007/978-3-031-43619-2_50

@inproceedings{ce091e1a61854d688e8c916091cf45d6,

title = "Computing MUS-Based Inconsistency Measures",

keywords = "113 Computer and information sciences",

author = "Isabelle Kuhlmann and Andreas Niskanen and Matti J{\"a}rvisalo",

year = "2023",

month = sep,

day = "24",

doi = "10.1007/978-3-031-43619-2_50",

language = "English",

isbn = "978-3-031-43618-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "745--755",

editor = "Magdalena Ortiz and Martinez, {Maria Vanina} and Sarah Gaggl",

booktitle = "Logics in Artificial Intelligence",

address = "United States",

note = "European Conference on Logics in Artificial Intelligence, JELIA ; Conference date: 20-09-2023 Through 22-09-2023",

}

Kuhlmann, I, Niskanen, A & Järvisalo, M 2023, Computing MUS-Based Inconsistency Measures. i M Ortiz, MV Martinez & S Gaggl (red), Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science, vol. 14281, Springer, s. 745-755, European Conference on Logics in Artificial Intelligence, Dresden, Tyskland, 20/09/2023. https://doi.org/10.1007/978-3-031-43619-2_50

Computing MUS-Based Inconsistency Measures. / Kuhlmann, Isabelle; Niskanen, Andreas ; Järvisalo, Matti.
Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings. red. / Magdalena Ortiz; Maria Vanina Martinez; Sarah Gaggl. Springer, 2023. s. 745-755 (Lecture Notes in Computer Science; Vol. 14281).

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

TY - GEN

T1 - Computing MUS-Based Inconsistency Measures

AU - Kuhlmann, Isabelle

AU - Niskanen, Andreas

AU - Järvisalo, Matti

N1 - Conference code: 18

PY - 2023/9/24

Y1 - 2023/9/24

KW - 113 Computer and information sciences

U2 - 10.1007/978-3-031-43619-2_50

DO - 10.1007/978-3-031-43619-2_50

M3 - Conference contribution

SN - 978-3-031-43618-5

T3 - Lecture Notes in Computer Science

SP - 745

EP - 755

BT - Logics in Artificial Intelligence

A2 - Ortiz, Magdalena

A2 - Martinez, Maria Vanina

A2 - Gaggl, Sarah

PB - Springer

T2 - European Conference on Logics in Artificial Intelligence

Y2 - 20 September 2023 through 22 September 2023

ER -

Computing MUS-Based Inconsistency Measures

Publikationsserier

Vetenskapsgrenar

Åtkomst av dokument

Projekt

Next-generation Unsatisfiabillity-based Declarative Optimization

Inkrementaalisia logiikkapohjaisia menetelmiä yli vaativuusluokan NP

Declarative Boolean Optimization: Pushing the Envelope

Citera det här