The Stable Model Semantics for Higher-Order Logic Programming

Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panagiotis Rondogiannis

Research output: Chapter in Book/Report/Conference proceedingConference paper

Original languageEnglish
Title of host publicationTheory and Practice of Logic Programming
PublisherCambridge University Press
Pages737-754
Number of pages18
Volume24
DOIs
Publication statusPublished - 2024
Event40th International Conference on Logic Programming - Dallas, United States
Duration: 11 Oct 202417 Oct 2024
Conference number: 40
https://www.iclp24.utdallas.edu

Publication series

NameTheory and Practice of Logic Programming
PublisherCambridge University Press
Volume24
ISSN (Print)1471-0684
ISSN (Electronic)1475-3081

Conference

Conference40th International Conference on Logic Programming
Abbreviated titleICLP2024
Country/TerritoryUnited States
CityDallas
Period11/10/2417/10/24
Internet address

Cite this