Toward Defeasible Reasoning Using Knowledge Compilation Techniques

Luke Slater; Thomas Meyer; Jesse Heyninck

Toward Defeasible Reasoning Using Knowledge Compilation Techniques

Luke Slater^*
, Thomas Meyer
, Jesse Heyninck

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

12 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), Melbourne, Australia, November 11-13, 2025
Editors	Anna Rapberger, Sebastian Rudolph
Publisher	CEUR-WS.org
Pages	239-252
Number of pages	14
Volume	4071
Publication status	Published - 2025

Publication series

Series	CEUR Workshop Proceedings
ISSN	1613-0073

Access to Document

Full TextFinal published version, 1.55 MBLicence: Taverne

Cite this

Slater, L., Meyer, T., & Heyninck, J. (2025). Toward Defeasible Reasoning Using Knowledge Compilation Techniques. In A. Rapberger, & S. Rudolph (Eds.), Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), Melbourne, Australia, November 11-13, 2025 (Vol. 4071, pp. 239-252). CEUR-WS.org.

Slater, Luke ; Meyer, Thomas ; Heyninck, Jesse. / Toward Defeasible Reasoning Using Knowledge Compilation Techniques. Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), Melbourne, Australia, November 11-13, 2025. editor / Anna Rapberger ; Sebastian Rudolph. Vol. 4071 CEUR-WS.org, 2025. pp. 239-252 (CEUR Workshop Proceedings).

@inproceedings{d4fef2a6785748fb8701f2597ef69e20,

title = "Toward Defeasible Reasoning Using Knowledge Compilation Techniques",

author = "Luke Slater and Thomas Meyer and Jesse Heyninck",

year = "2025",

language = "English",

volume = "4071",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS.org",

pages = "239--252",

editor = "Anna Rapberger and Sebastian Rudolph",

booktitle = "Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), Melbourne, Australia, November 11-13, 2025",

address = "Germany",

}

Slater, L, Meyer, T & Heyninck, J 2025, Toward Defeasible Reasoning Using Knowledge Compilation Techniques. in A Rapberger & S Rudolph (eds), Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), Melbourne, Australia, November 11-13, 2025. vol. 4071, CEUR-WS.org, CEUR Workshop Proceedings, pp. 239-252.

Toward Defeasible Reasoning Using Knowledge Compilation Techniques. / Slater, Luke; Meyer, Thomas; Heyninck, Jesse.
Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), Melbourne, Australia, November 11-13, 2025. ed. / Anna Rapberger; Sebastian Rudolph. Vol. 4071 CEUR-WS.org, 2025. p. 239-252 (CEUR Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - Toward Defeasible Reasoning Using Knowledge Compilation Techniques

AU - Slater, Luke

AU - Meyer, Thomas

AU - Heyninck, Jesse

PY - 2025

Y1 - 2025

M3 - Conference Article in proceeding

VL - 4071

T3 - CEUR Workshop Proceedings

SP - 239

EP - 252

BT - Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), Melbourne, Australia, November 11-13, 2025

A2 - Rapberger, Anna

A2 - Rudolph, Sebastian

PB - CEUR-WS.org

ER -

Slater L, Meyer T, Heyninck J. Toward Defeasible Reasoning Using Knowledge Compilation Techniques. In Rapberger A, Rudolph S, editors, Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), Melbourne, Australia, November 11-13, 2025. Vol. 4071. CEUR-WS.org. 2025. p. 239-252. (CEUR Workshop Proceedings).