Extensional Semantics for Higher-Order Logic Programs with Negation - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Panos Rondogiannis, Ioanna Symeonidou. Extensional Semantics for Higher-Order Logic Programs with Negation. Logical Methods in Computer Science, 14(2), 2018. [doi]

The following publications are possibly variants of this publication:

Semantics of negation in extensional higher-order logic programmingIoanna Symeonidou. PhD thesis, National and Kapodistrian University of Athens, Greece, 2018. [doi]

Extensional Semantics for Higher-Order Logic Programs with NegationPanos Rondogiannis, Ioanna Symeonidou. jelia 2016: 447-462 [doi]

Minimum Model Semantics for Extensional Higher-order Logic Programming with NegationAngelos Charalambidis, Zoltán Ésik, Panos Rondogiannis. tplp, 14(4-5):725-737, 2014. [doi]

An Infinite-Valued Semantics for Logic Programs with NegationPanos Rondogiannis, William W. Wadge. jelia 2002: 456-467 [doi]

runs on WebDSL