Výsledky vyhledávání - Extensional higher-order logic programming

Extensional Higher-Order Logic Programming

Autoři: Charalambidis, A. Handjopoulos, K. Rondogiannis, P. a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783642156748

Témata: βιομηχανία πληροφορικής, 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)

Přístupová URL adresa: 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

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

Autoři: Charalambidis, A. Ésik, Z. Rondogiannis, P.

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

Témata: 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)

Přístupová URL adresa: 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

Semantics of Negation in Extensional Higher-Order Logic Programming

Autoři: Symeonidou Ioanna

Témata: Technology - Computer science, born_digital_thesis, Doctoral Dissertation

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

Implementation of Constructive Negation in Extensional Higher-Order Logic Programming

Autoři: Dona Ergys

Témata: Computer science, born_digital_graduate_thesis, Graduate Thesis

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

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

Autoři: Charalambidis, Angelos Ésik, Zoltán Rondogiannis, Panos

Témata: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, text

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

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

Autoři: Charalambidis, A. Ésik, Z. Rondogiannis, P.

Témata: scientific_publication_article, Scientific publication - Journal Article

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

Extensional Higher-Order Logic Programming

Autoři: Charalambidis, A. Handjopoulos, K. Rondogiannis, P. a další

Témata: 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

Témata: born_digital_thesis, Doctoral Dissertation

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

Extensional higher-order logic programming

Autoři: Charalambidis, A. Handjopoulos, K. Rondogiannis, P. Wadge, W.W.

Témata: scientific_publication_article, Scientific publication - Journal Article

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

Extensional higher-order logic programming

Autoři: Charalambidis, A. Handjopoulos, K. Rondogiannis, P. Wadge, W.W.

Témata: scientific_publication_article, Scientific publication - Journal Article

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

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

Přístupová URL adresa: https://www.didaktorika.gr/eadd/bitstream/10442/38099/1/38099.pdf

Semantics of negation in extensional higher-order logic programming

Přístupová URL adresa: https://www.didaktorika.gr/eadd/bitstream/10442/44199/1/44199.pdf

The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs

Autoři: Rondogiannis, Panos Symeonidou, Ioanna

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/1707.04704

The Power of Negation in Higher-Order Datalog.

Autoři: CHARALAMBIDIS, ANGELOS KOSTOPOULOS, BABIS NOMIKOS, CHRISTOS a další

Zdroj: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p595-611, 17p

Témata: NEGATION (Logic), LOGIC programming, NONMONOTONIC logic, COMPUTATIONAL complexity

The Stable Model Semantics for Higher-Order Logic Programming.

Autoři: BOGAERTS, BART CHARALAMBIDIS, ANGELOS CHATZIAGAPIS, GIANNOS a další

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

Témata: SEMANTICS (Philosophy), LOGIC programming, APPROXIMATION theory, SEMANTICS, LOGIC

Extensional semantics for higher-order logic programs with negation

Autoři: Rondogiannis, P. Symeonidou, I.

Témata: scientific_publication_article, Scientific publication - Journal Article

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

The intricacies of three-valued extensional semantics for higher-order logic programs.

Autoři: RONDOGIANNIS, PANOS SYMEONIDOU, IOANNA

Zdroj: Theory & Practice of Logic Programming; Sep2017, Vol. 17 Issue 5/6, p974-991, 18p

Témata: LOGIC programming, NEGATION (Logic), LOGIC programming languages, PROGRAMMING language semantics, TRUTH functions (Mathematical logic)

Extensional Semantics for Higher-Order Logic Programs with Negation

Autoři: Rondogiannis, Panos Symeonidou, Ioanna

Témata: Computer Science - Logic in Computer Science, text

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

Extensional Semantics for Higher-Order Logic Programs with Negation

Autoři: Panos Rondogiannis Ioanna Symeonidou

Zdroj: Logical Methods in Computer Science, Vol 14, Issue 2 (2018)

Témata: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: https://lmcs.episciences.org/2675/pdf; https://doaj.org/toc/1860-5974

Přístupová URL adresa: https://doaj.org/article/30142ef685e94359b3691bd172506461

Extensional Higher-Order Logic Programming.

Autoři: CHARALAMBIDIS, ANGELOS HANDJOPOULOS, KONSTANTINOS RONDOGIANNIS, PANAGIOTIS a další

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

Témata: LOGIC programming, SEMANTICS, SET theory, MATHEMATICAL bounds, FIXED point theory, MATHEMATICAL proofs, GENERALIZATION