Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics

Pascal Kettmann; Jesse Heyninck; Hannes Strass

doi:10.24963/ijcai.2025/506

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics

Pascal Kettmann
, Jesse Heyninck
, Hannes Strass

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

2 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025
Publisher	ijcai.org
Pages	4544-4552
Number of pages	9
DOIs	https://doi.org/10.24963/ijcai.2025/506
Publication status	Published - 1 Oct 2025
Event	34th International Joint Conference on Artificial Intelligence: IJCAI2025 - Montreal, Canada Duration: 16 Aug 2025 → 22 Aug 2025 https://2025.ijcai.org/

Conference

Conference	34th International Joint Conference on Artificial Intelligence
Country/Territory	Canada
City	Montreal
Period	16/08/25 → 22/08/25
Internet address	https://2025.ijcai.org/

Access to Document

10.24963/ijcai.2025/506

Full TextFinal published version, 249 KBLicence: Taverne

Cite this

@inproceedings{d0730642b8fa4933b5062b6788f9e8bc,

title = "Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics",

author = "Pascal Kettmann and Jesse Heyninck and Hannes Strass",

year = "2025",

month = oct,

day = "1",

doi = "10.24963/ijcai.2025/506",

language = "English",

pages = "4544--4552",

booktitle = "Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025",

publisher = "ijcai.org",

address = "United States",

note = "34th International Joint Conference on Artificial Intelligence : IJCAI2025 ; Conference date: 16-08-2025 Through 22-08-2025",

url = "https://2025.ijcai.org/",

}

Kettmann, P, Heyninck, J & Strass, H 2025, Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics. in Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025. ijcai.org, pp. 4544-4552, 34th International Joint Conference on Artificial Intelligence, Montreal, Quebec, Canada, 16/08/25. https://doi.org/10.24963/ijcai.2025/506

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics. / Kettmann, Pascal; Heyninck, Jesse; Strass, Hannes.
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025. ijcai.org, 2025. p. 4544-4552.

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

TY - GEN

T1 - Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics

AU - Kettmann, Pascal

AU - Heyninck, Jesse

AU - Strass, Hannes

PY - 2025/10/1

Y1 - 2025/10/1

U2 - 10.24963/ijcai.2025/506

DO - 10.24963/ijcai.2025/506

M3 - Conference Article in proceeding

SP - 4544

EP - 4552

BT - Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025

PB - ijcai.org

T2 - 34th International Joint Conference on Artificial Intelligence

Y2 - 16 August 2025 through 22 August 2025

ER -