Search Results - "Extensional higher-order logic programming"

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation

Authors: Charalambidis, A. Ésik, Z. Rondogiannis, P.

Source: Theory and Practice of Logic Programming. 14:725-737

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/pdf/1405.3792
http://arxiv.org/abs/1405.3792
https://dblp.uni-trier.de/db/journals/corr/corr1405.html#CharalambidisER14
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S1471068414000313
https://arxiv.org/abs/1405.3792
http://www.journals.cambridge.org/abstract_S1471068414000313
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/minimum-model-semantics-for-extensional-higherorder-logic-programming-with-negation/8097D0DC4016416D06A91A1134FE7224
http://ui.adsabs.harvard.edu/abs/2014arXiv1405.3792C/abstract
https://128.84.21.199/abs/1405.3792
https://arxiv.org/abs/1405.3792
https://arxiv.org/pdf/1405.3792v1
https://pergamos.lib.uoa.gr/uoa/dl/object/3064229

Extensional Higher-Order Logic Programming

Authors: Charalambidis, A. Handjopoulos, K. Rondogiannis, P. et al.

Source: Lecture Notes in Computer Science ISBN: 9783642156748

Subject Terms: βιομηχανία πληροφορικής, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Computer Science - Artificial Intelligence, πληροφορική, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), λογισμικό, Artificial Intelligence (cs.AI), 0202 electrical engineering, electronic engineering, information engineering, Programming Languages (cs.PL)

Access URL: http://arxiv.org/pdf/1106.3457
http://arxiv.org/abs/1106.3457
https://link.springer.com/chapter/10.1007%2F978-3-642-15675-5_10
https://dblp.uni-trier.de/db/conf/jelia/jelia2010.html#CharalambidisHRW10
https://dl.acm.org/doi/10.1145/2499937.2499942
https://dl.acm.org/citation.cfm?doid=2499937.2499942
https://link.springer.com/chapter/10.1007/978-3-642-15675-5_10
https://dblp.uni-trier.de/db/journals/corr/corr1106.html#abs-1106-3457
https://rd.springer.com/chapter/10.1007/978-3-642-15675-5_10
https://arxiv.org/abs/1106.3457
https://pergamos.lib.uoa.gr/uoa/dl/object/3064776
https://pergamos.lib.uoa.gr/uoa/dl/object/3064329

Implementation of Constructive Negation in Extensional Higher-Order Logic Programming

Authors: Dona Ergys

Index Terms: Computer science, born_digital_graduate_thesis, Graduate Thesis

URL: https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:1692144

Semantics of Negation in Extensional Higher-Order Logic Programming

Authors: Symeonidou Ioanna

Index Terms: Technology - Computer science, born_digital_thesis, Doctoral Dissertation

URL: https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:2778299

Minimum model semantics for extensional higher-order logic programming with negation

Authors: Charalambidis, A. Ésik, Z. Rondogiannis, P.

Index Terms: scientific_publication_article, Scientific publication - Journal Article

URL: https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3064229

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation

Authors: Charalambidis, Angelos Ésik, Zoltán Rondogiannis, Panos

Index Terms: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/1405.3792

Proof Procedures for Extensional Higher-order Logic Programming

Index Terms: born_digital_thesis, Doctoral Dissertation

URL: https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:1309697

Prοοf procedure for extensional higher-order logic programming

Access URL: https://www.didaktorika.gr/eadd/bitstream/10442/38099/1/38099.pdf

Semantics of negation in extensional higher-order logic programming

Access URL: https://www.didaktorika.gr/eadd/bitstream/10442/44199/1/44199.pdf

Extensional higher-order logic programming

Authors: Charalambidis, A. Handjopoulos, K. Rondogiannis, P. Wadge, W.W.

Access URL: https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3064776
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3064329

Extensional higher-order logic programming

Authors: Charalambidis, A. Handjopoulos, K. Rondogiannis, P. Wadge, W.W.

Index Terms: scientific_publication_article, Scientific publication - Journal Article

URL: https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3064329

Extensional Higher-Order Logic Programming

Authors: Charalambidis, A. Handjopoulos, K. Rondogiannis, P. et al.

Index Terms: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/1106.3457

Proof Procedures for Extensional Higher-order Logic Programming

Access URL: https://pergamos.lib.uoa.gr/uoa/dl/object/1309697

Extensional Higher-Order Logic Programming

Authors: Charalambidis, Angelos Handjopoulos, Konstantinos Rondogiannis, Panos et al.

Source: Lecture Notes in Computer Science ; Logics in Artificial Intelligence ; page 91-103 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642156748 9783642156755

Availability: http://dx.doi.org/10.1007/978-3-642-15675-5_10
http://link.springer.com/content/pdf/10.1007/978-3-642-15675-5_10

Constructive Negation in Extensional Higher-Order Logic Programming

Authors: Angelos Charalambidis Panos Rondogiannis The Pennsylvania State University CiteSeerX Archives

Contributors: Angelos Charalambidis Panos Rondogiannis The Pennsylvania State University CiteSeerX Archives

Source: http://cgi.di.uoa.gr/%7Eprondo/papers/kr2014-long.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1054.1557

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1054.1557
http://cgi.di.uoa.gr/%7Eprondo/papers/kr2014-long.pdf

A Extensional Higher-Order Logic Programming

Authors: A. Charalambidis K. Handjopoulos P. Rondogiannis et al.

Contributors: A. Charalambidis K. Handjopoulos P. Rondogiannis et al.

Source: http://tocl.acm.org/accepted/charalambidis-handjopoulos_extensional.pdf.

Subject Terms: Categories and Subject Descriptors, D.1.6 [Software, Programming Techniques-Logic Programming, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages-Denotational Semantics, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic-Logic and constraint programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving-Logic Programming General Terms, Design, Languages, Theory Additional Key Words and Phrases, Higher-Order Logic Programming, Denotational Semantics, Extensionality, Algebraic Lattices ACM Reference Format

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.5734

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.5734
http://tocl.acm.org/accepted/charalambidis-handjopoulos_extensional.pdf

Extensional Higher-Order Logic Programming.

Authors: CHARALAMBIDIS, ANGELOS HANDJOPOULOS, KONSTANTINOS RONDOGIANNIS, PANAGIOTIS et al.

Source: ACM Transactions on Computational Logic; Aug2013, Vol. 14 Issue 3, p1-40, 40p

Subject Terms: LOGIC programming, SEMANTICS, SET theory, MATHEMATICAL bounds, FIXED point theory, MATHEMATICAL proofs, GENERALIZATION

Equivalence of two fixed-point semantics for definitional higher-order logic programs.

Authors: Charalambidis, Angelos Rondogiannis, Panos Symeonidou, Ioanna

Source: Theoretical Computer Science. Mar2017, Vol. 668, p27-42. 16p.

Subject Terms: *MATHEMATICAL equivalence, *FIXED point theory, *SEMANTICS, *EXTENSION (Logic), *LOGIC programming, *COINCIDENCE theory

The Stable Model Semantics for Higher-Order Logic Programming.

Authors: BOGAERTS, BART CHARALAMBIDIS, ANGELOS CHATZIAGAPIS, GIANNOS et al.

Source: Theory & Practice of Logic Programming; Jul2024, Vol. 24 Issue 4, p737-754, 18p

Subject Terms: SEMANTICS (Philosophy), LOGIC programming, APPROXIMATION theory, SEMANTICS, LOGIC

The Expressive Power of Higher-Order Datalog.

Authors: CHARALAMBIDIS, ANGELOS NOMIKOS, CHRISTOS RONDOGIANNIS, PANOS

Source: Theory & Practice of Logic Programming; Sep2019, Vol. 19 Issue 5/6, p925-940, 16p

Subject Terms: COMPLEXITY (Philosophy), LOGIC programming, THEORY-practice relationship