The Stable Model Semantics for Higher-Order Logic Programming

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

doi:10.1017/S1471068424000231

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 proceeding › Conference paper

Original language	English
Title of host publication	Theory and Practice of Logic Programming
Publisher	Cambridge University Press
Pages	737-754
Number of pages	18
Volume	24
DOIs	https://doi.org/10.1017/S1471068424000231
Publication status	Published - 2024
Event	40th International Conference on Logic Programming - Dallas, United States Duration: 11 Oct 2024 → 17 Oct 2024 Conference number: 40 https://www.iclp24.utdallas.edu

Publication series

Name	Theory and Practice of Logic Programming
Publisher	Cambridge University Press
Volume	24
ISSN (Print)	1471-0684
ISSN (Electronic)	1475-3081

Conference

Conference	40th International Conference on Logic Programming
Abbreviated title	ICLP2024
Country/Territory	United States
City	Dallas
Period	11/10/24 → 17/10/24
Internet address	https://www.iclp24.utdallas.edu

Access to Document

10.1017/S1471068424000231

Handle.net

Persistent link

40th International Conference on Logic Programming
Pollaci, S. (Participant)
11 Oct 2024 → 17 Oct 2024
Activity: Participating in or organising an event › Participation in conference

Cite this

@inproceedings{8d08ad18069343e9a548fc74e59c32fb,

title = "The Stable Model Semantics for Higher-Order Logic Programming",

author = "Bart Bogaerts and Angelos Charalambidis and Giannos Chatziagapis and Babis Kostopoulos and Samuele Pollaci and Panagiotis Rondogiannis",

year = "2024",

doi = "10.1017/S1471068424000231",

language = "English",

volume = "24",

series = "Theory and Practice of Logic Programming",

publisher = "Cambridge University Press",

pages = "737--754",

booktitle = "Theory and Practice of Logic Programming",

note = "40th International Conference on Logic Programming, ICLP2024 ; Conference date: 11-10-2024 Through 17-10-2024",

url = "https://www.iclp24.utdallas.edu",

}

Bogaerts, B, Charalambidis, A, Chatziagapis, G, Kostopoulos, B, Pollaci, S & Rondogiannis, P 2024, The Stable Model Semantics for Higher-Order Logic Programming. in Theory and Practice of Logic Programming. vol. 24, Theory and Practice of Logic Programming, vol. 24, Cambridge University Press, pp. 737-754, 40th International Conference on Logic Programming, Dallas, Texas, United States, 11/10/24. https://doi.org/10.1017/S1471068424000231

TY - GEN

T1 - The Stable Model Semantics for Higher-Order Logic Programming

AU - Bogaerts, Bart

AU - Charalambidis, Angelos

AU - Chatziagapis, Giannos

AU - Kostopoulos, Babis

AU - Pollaci, Samuele

AU - Rondogiannis, Panagiotis

N1 - Conference code: 40

PY - 2024

Y1 - 2024

U2 - 10.1017/S1471068424000231

DO - 10.1017/S1471068424000231

M3 - Conference paper

VL - 24

T3 - Theory and Practice of Logic Programming

SP - 737

EP - 754

BT - Theory and Practice of Logic Programming

PB - Cambridge University Press

T2 - 40th International Conference on Logic Programming

Y2 - 11 October 2024 through 17 October 2024

ER -

The Stable Model Semantics for Higher-Order Logic Programming

Publication series

Conference

Access to Document

Handle.net

Activities

40th International Conference on Logic Programming

Cite this