Author/Creator: CHARALAMBIDIS, ANGELOS - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator CHARALAMBIDIS, ANGELOS

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) ↗