1. A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction. Issue 5 (23rd September 2021) Authors: CHARALAMBIDIS, ANGELOS; RONDOGIANNIS, PANOS; TROUMPOUKIS, ANTONIS Journal: Theory and practice of logic programming Issue: Volume 21:Issue 5(2021) Page Start: 629 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. Issue 3 (10th August 2018) Authors: CHARALAMBIDIS, ANGELOS; RONDOGIANNIS, PANOS; SYMEONIDOU, IOANNA Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 421 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation*. Issue 4 (21st July 2014) Authors: CHARALAMBIDIS, ANGELOS; ÉSIK, ZOLTÁN; RONDOGIANNIS, PANOS; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 725 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective. Issue 5 (1st September 2022) Authors: CHARALAMBIDIS, ANGELOS; NOMIKOS, CHRISTOS; RONDOGIANNIS, PANOS Journal: Theory and practice of logic programming Issue: Volume 22:Issue 5(2022) Page Start: 708 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. The Expressive Power of Higher-Order Datalog. Issue 5 (September 2019) Authors: CHARALAMBIDIS, ANGELOS; NOMIKOS, CHRISTOS; RONDOGIANNIS, PANOS Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 925 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. The intricacies of three-valued extensional semantics for higher-order logic programs. Issue 5 (23rd August 2017) Authors: RONDOGIANNIS, PANOS; SYMEONIDOU, IOANNA Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 974 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗