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

Matti Järvisalo; Tuomo Lehtonen; Andreas Niskanen

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific

Original language	English
Title of host publication	Proceedings of the First lnternational Workshop on Argumentation and Applications (Arg&App 2023)
Editors	Oana Cocarascu, Sylvie Doutre, Jean-Guy Mailly, Antonio Rago
Number of pages	7
Publisher	CEUR-WS.org
Publication date	2023
Pages	4-10
Publication status	Published - 2023
MoE publication type	B3 Article in conference proceedings
Event	ICCMA 2023: 5th International Competition on Computational Models of Argumentation - Mila, Algeria Duration: 26 Nov 2023 → 27 Nov 2023 Conference number: 5

Publication series

Name	CEUR Workshop Proceedings
Publisher	CEUR-WS.org
Volume	3472
ISSN (Electronic)	1613-0073

Fields of Science

113 Computer and information sciences

Access to Document

paperAccepted author manuscript, 506 KB
DesignFinal published version, 8.17 MBLicence: CC BY

https://ceur-ws.org/Vol-3472/invited1.pdfLicence: CC BY

1 Active
2 Finished

Next-generation Unsatisfiabillity-based Declarative Optimization
Järvisalo, M. (Project manager), Conati, A. F. (Participant), Eskelinen, V. (Participant), Feyzbakhsh Rankooh, M. (Participant), Jabs, C. J. (Participant), Lehtonen, T. (Participant) & Sun, H. X. (Participant)
Academy of Finland
01/09/2023 → 31/08/2027
Project: Research Council of Finland: Academy Project
Inkrementaalisia logiikkapohjaisia menetelmiä yli vaativuusluokan NP
Niskanen, A. (Project manager)
Academy of Finland
01/09/2022 → 31/08/2025
Project: Research Council of Finland: Postdoctoral Researcher
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Project: Research project

Cite this

Järvisalo, M., Lehtonen, T., & Niskanen, A. (2023). Design of ICCMA 2023, 5th lnternational Competition on Computational Models of Argumentation: A Preliminary Report (invited paper). In O. Cocarascu, S. Doutre, J.-G. Mailly, & A. Rago (Eds.), Proceedings of the First lnternational Workshop on Argumentation and Applications (Arg&App 2023) (pp. 4-10). (CEUR Workshop Proceedings; Vol. 3472). CEUR-WS.org. https://ceur-ws.org/Vol-3472/invited1.pdf

Järvisalo, Matti ; Lehtonen, Tuomo ; Niskanen, Andreas. / Design of ICCMA 2023, 5th lnternational Competition on Computational Models of Argumentation : A Preliminary Report (invited paper). Proceedings of the First lnternational Workshop on Argumentation and Applications (Arg&App 2023). editor / Oana Cocarascu ; Sylvie Doutre ; Jean-Guy Mailly ; Antonio Rago. CEUR-WS.org, 2023. pp. 4-10 (CEUR Workshop Proceedings).

@inproceedings{0407809e413e4f79945114f3862ac5aa,

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

keywords = "113 Computer and information sciences",

author = "Matti J{\"a}rvisalo and Tuomo Lehtonen and Andreas Niskanen",

year = "2023",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS.org",

pages = "4--10",

editor = "Oana Cocarascu and Sylvie Doutre and Jean-Guy Mailly and Antonio Rago",

booktitle = "Proceedings of the First lnternational Workshop on Argumentation and Applications (Arg\&App 2023)",

address = "Germany",

note = "ICCMA 2023: 5th International Competition on Computational Models of Argumentation, ICCMA 2023 ; Conference date: 26-11-2023 Through 27-11-2023",

}

Järvisalo, M, Lehtonen, T & Niskanen, A 2023, Design of ICCMA 2023, 5th lnternational Competition on Computational Models of Argumentation: A Preliminary Report (invited paper). in O Cocarascu, S Doutre, J-G Mailly & A Rago (eds), Proceedings of the First lnternational Workshop on Argumentation and Applications (Arg&App 2023). CEUR Workshop Proceedings, vol. 3472, CEUR-WS.org, pp. 4-10, ICCMA 2023: 5th International Competition on Computational Models of Argumentation, Mila, Algeria, 26/11/2023. <https://ceur-ws.org/Vol-3472/invited1.pdf>

Design of ICCMA 2023, 5th lnternational Competition on Computational Models of Argumentation: A Preliminary Report (invited paper). / Järvisalo, Matti; Lehtonen, Tuomo; Niskanen, Andreas.
Proceedings of the First lnternational Workshop on Argumentation and Applications (Arg&App 2023). ed. / Oana Cocarascu; Sylvie Doutre; Jean-Guy Mailly; Antonio Rago. CEUR-WS.org, 2023. p. 4-10 (CEUR Workshop Proceedings; Vol. 3472).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific

TY - GEN

T1 - Design of ICCMA 2023, 5th lnternational Competition on Computational Models of Argumentation

T2 - ICCMA 2023: 5th International Competition on Computational Models of Argumentation

AU - Järvisalo, Matti

AU - Lehtonen, Tuomo

AU - Niskanen, Andreas

N1 - Conference code: 5

PY - 2023

Y1 - 2023

KW - 113 Computer and information sciences

M3 - Conference contribution

T3 - CEUR Workshop Proceedings

SP - 4

EP - 10

BT - Proceedings of the First lnternational Workshop on Argumentation and Applications (Arg&App 2023)

A2 - Cocarascu, Oana

A2 - Doutre, Sylvie

A2 - Mailly, Jean-Guy

A2 - Rago, Antonio

PB - CEUR-WS.org

Y2 - 26 November 2023 through 27 November 2023

ER -

Järvisalo M, Lehtonen T, Niskanen A. Design of ICCMA 2023, 5th lnternational Competition on Computational Models of Argumentation: A Preliminary Report (invited paper). In Cocarascu O, Doutre S, Mailly JG, Rago A, editors, Proceedings of the First lnternational Workshop on Argumentation and Applications (Arg&App 2023). CEUR-WS.org. 2023. p. 4-10. (CEUR Workshop Proceedings).

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

Publication series

Fields of Science

Access to Document

Projects

Next-generation Unsatisfiabillity-based Declarative Optimization

Inkrementaalisia logiikkapohjaisia menetelmiä yli vaativuusluokan NP

Declarative Boolean Optimization: Pushing the Envelope

Cite this