Výsledky vyhledávání - "Higher-Order Logic Programming"

The Stable Model Semantics for Higher-Order Logic Programming

Autoři: Bogaerts, Bart Charalambidis, Angelos Chatziagapis, Giannos a další

Přispěvatelé: Bogaerts, Bart Charalambidis, Angelos Chatziagapis, Giannos a další

Zdroj: Theory and Practice of Logic Programming. 24:737-754

Témata: FOS: Computer and information sciences, Technology, Computer Science - Logic in Computer Science, Logic, Computer Science - Artificial Intelligence, LANGUAGE, NP, Computation Theory & Mathematics, Computer Science, Theory & Methods, 0801 Artificial Intelligence and Image Processing, 0802 Computation Theory and Mathematics, stable model semantics, 4613 Theory of computation, approximation fixpoint theory, I.2.3, Science & Technology, Computer Science - Programming Languages, I.2.5, 4602 Artificial intelligence, F.3.2, 0803 Computer Software, Computer Science, Software Engineering, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Computer Science, Science & Technology - Other Topics, FIXPOINT SEMANTICS, higher-order logic programming, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/abs/2408.10563
https://lirias.kuleuven.be/handle/20.500.12942/760291
https://doi.org/10.1017/s1471068424000231
https://biblio.vub.ac.be/vubir/the-stable-model-semantics-for-higherorder-logic-programming(8d08ad18-0693-43e9-a548-fc74e59c32fb).html
https://hdl.handle.net/20.500.14017/8d08ad18-0693-43e9-a548-fc74e59c32fb
https://doi.org/10.1017/s1471068424000231

Implementing HOL in an Higher Order Logic Programming Language

Autoři: DUNCHEV, TSVETAN CHAVDAROV SACERDOTI COEN, CLAUDIO Tassi, Enrico

Přispěvatelé: DUNCHEV, TSVETAN CHAVDAROV SACERDOTI COEN, CLAUDIO Tassi, Enrico

Zdroj: Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. :1-10

Témata: Constraints, Higher Order Logic Programming, HOL, λProlog, Human-Computer Interaction, Computer Networks and Communications, 1707, Software, CR-number [subcategory], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], 0202 electrical engineering, electronic engineering, information engineering, third-level, 0102 computer and information sciences, 02 engineering and technology, Keywords λProlog, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-01394686/file/holsuperlight.pdf
https://hal.inria.fr/hal-01394686/document
https://cris.unibo.it/handle/11585/585517
https://hal.inria.fr/hal-01394686
https://dblp.uni-trier.de/db/conf/lfmtp/lfmtp2016.html#DunchevCT16
https://dl.acm.org/doi/10.1145/2966268.2966272
https://doi.org/10.1145/2966268.2966272

Transformations of logic programs with goals as arguments

Autoři: PETTOROSSI, ALBERTO Proietti, M. Pettorossi, A a další

Přispěvatelé: PETTOROSSI, ALBERTO Proietti, M. Pettorossi, A a další

Zdroj: Theory and practice of logic programming 4 (2004): 495–537. doi:10.1017/S147106840400198X
info:cnr-pdr/source/autori:Pettorossi, A.; Proietti, M./titolo:Transformations of logic programs with goals as arguments/doi:10.1017%2FS147106840400198X/rivista:Theory and practice of logic programming/anno:2004/pagina_da:495/pagina_a:537/intervallo_pagine:495–537/volume:4

Témata: FOS: Computer and information sciences, program transformation, Computer Science - Logic in Computer Science, 0102 computer and information sciences, 02 engineering and technology, Continuations, Higher order logic programming, Program transformation, Unfold/fold transformation rules, Logic programming, 01 natural sciences, D.1.2, D.1.6, I.2.2, F.3.1, continuations, 0202 electrical engineering, electronic engineering, information engineering, unfold/fold transformation rules, Computer Science - Programming Languages, higher order logic programming, Continuation, Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, Logic in Computer Science (cs.LO), higher-order logic programming, Programming Languages (cs.PL)

Popis souboru: application/xml

Přístupová URL adresa: http://arxiv.org/pdf/cs/0307022
http://arxiv.org/abs/cs/0307022
https://zbmath.org/2102953
https://doi.org/10.1017/s147106840400198x
http://dblp.uni-trier.de/db/journals/corr/corr0307.html#cs-PL-0307022
https://arxiv.org/abs/cs/0307022
https://dblp.uni-trier.de/db/journals/corr/corr0307.html#cs-PL-0307022
https://art.torvergata.it/handle/2108/32843
http://www.journals.cambridge.org/abstract_S147106840400198X
https://doi.org/10.1017/S147106840400198X
https://hdl.handle.net/20.500.14243/169428
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=227665
https://doi.org/10.1017/S147106840400198X

Polymorphic lemmas and definitions in $\lambda$Prolog and Twelf: Polymorphic lemmas and definitions in \(\lambda\)Prolog and Twelf

Autoři: Andrew W. Appel Amy P. Felty

Zdroj: Theory and Practice of Logic Programming. 4:1-39

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, I.2.3, Computer Science - Programming Languages, Lambda Prolog, D.1.6, D.2.4, logical frameworks, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, polymorphism, Logic in Computer Science (cs.LO), theorem proving, F.3.1, Twelf, 0202 electrical engineering, electronic engineering, information engineering, proof-carrying code, Functional programming and lambda calculus, higher-order logic programming, Programming Languages (cs.PL)

Popis souboru: application/xml

Přístupová URL adresa: http://arxiv.org/pdf/cs/0403010
http://arxiv.org/abs/cs/0403010
https://zbmath.org/2102945
https://doi.org/10.1017/s1471068403001698
http://www.journals.cambridge.org/abstract_S1471068403001698
https://ui.adsabs.harvard.edu/abs/2004cs........3010A/abstract
https://collaborate.princeton.edu/en/publications/polymorphic-lemmas-and-definitions-in-λprolog-and-twelf
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/polymorphic-lemmas-and-definitions-in-lambdaprolog-and-twelf/B9F544B6CEF79FABC5617F116F2E27FD
http://ui.adsabs.harvard.edu/abs/2004cs........3010A/abstract
https://dblp.uni-trier.de/db/journals/tplp/tplp4.html#AppelF04

HiLog: A foundation for higher-order logic programming

Autoři: David S. Warren Weidong Chen Michael Kifer

Zdroj: The Journal of Logic Programming. 15:187-230

Témata: Logic, 0202 electrical engineering, electronic engineering, information engineering, deductive databases, 0102 computer and information sciences, 02 engineering and technology, Logic programming, semantics, 01 natural sciences, higher-order logic programming

Popis souboru: application/xml

Transformations of Logic Programs with Goals as Arguments

Autoři: Alberto Pettorossi Maurizio Proietti The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Alberto Pettorossi Maurizio Proietti The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.iasi.rm.cnr.it/%7Eproietti/papers/Pettorossi_TPLP04_long.ps.gz.

Témata: program transformation, unfold/fold transformation rules, higher order logic programming, continuations

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.2759; http://www.iasi.rm.cnr.it/%7Eproietti/papers/Pettorossi_TPLP04_long.ps.gz

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.2759
http://www.iasi.rm.cnr.it/%7Eproietti/papers/Pettorossi_TPLP04_long.ps.gz

Elimination of Negation in a Logical Framework

Autoři: Alberto Momigliano The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Alberto Momigliano The Pennsylvania State University CiteSeerX Archives

Zdroj: http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-175.pdf.

Témata: logical frameworks, higher-order logic programming, negation, negation-as-failure

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.1760
http://reports-archive.adm.cs.cmu.edu/anon/2000/CMU-CS-00-175.pdf

An Approach to Higher-Order Term-Rewriting Using lambda-Prolog

Autoři: ARCELLI FONTANA, FRANCESCA Formato, F.

Témata: program transformation, term rewriting systems, higher order logic programming

Přístupová URL adresa: https://hdl.handle.net/10281/38940

Unification via Explicit Substitutions: The Case of Higher-Order Patterns

Autoři: Dowek, Gilles Hardin, Thérèse Kirchner, Claude a další

Přispěvatelé: Dowek, Gilles Hardin, Thérèse Kirchner, Claude a další

Zdroj: https://inria.hal.science/inria-00077203 ; [Research Report] RR-3591, INRIA. 1998, pp.33.

Témata: explicit substitutions, higher order unification, pattern unification, constraint simplification, higher-order logic programming, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Dostupnost: https://inria.hal.science/inria-00077203
https://inria.hal.science/inria-00077203v1/document
https://inria.hal.science/inria-00077203v1/file/RR-3591.pdf

Implementing HOL in an Higher Order Logic Programming Language

Autoři: Dunchev, Cvetan Sacerdoti Coen, Claudio Tassi, Enrico a další

Přispěvatelé: Dunchev, Cvetan Sacerdoti Coen, Claudio Tassi, Enrico a další

Zdroj: Logical Frameworks and Meta Languages: Theory and Practice ; https://hal.inria.fr/hal-01394686 ; Logical Frameworks and Meta Languages: Theory and Practice, Jun 2016, Porto, Portugal. pp.10, ⟨10.1145/2966268.2966272⟩

Témata: Higher Order Logic Programming, HOL, CR-number [subcategory], third-level, Keywords λProlog, Constraints, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], lang, edu

Geografické téma: Porto, Portugal

Time: Porto, Portugal

Relation: https://hal.inria.fr/hal-01394686/file/holsuperlight.pdf; https://hal.inria.fr/hal-01394686

Dostupnost: https://hal.inria.fr/hal-01394686/file/holsuperlight.pdf
https://hal.inria.fr/hal-01394686

Higher Order Programming to Mine Knowledge for a Modern Medical Expert System

Autoři: Nittaya Kerdprasop Kittisak Kerdprasop The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Nittaya Kerdprasop Kittisak Kerdprasop The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.ijcsi.org/papers/IJCSI-8-3-1-64-72.pdf.

Témata: Knowledge Mining, Association Mining, Decisiontree Induction, Higher-order Logic Programming, Medical Expert System

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.402.5242
http://www.ijcsi.org/papers/IJCSI-8-3-1-64-72.pdf

A Extensional Higher-Order Logic Programming

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

Přispěvatelé: A. Charalambidis K. Handjopoulos P. Rondogiannis a další

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

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

Popis souboru: application/pdf

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

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

Extensions of logic programming for preference representation ; Επεκτάσεις του λογικού προγραμματισμού για την αναπαράσταση προτιμήσεων

Autoři: Troumpoukis, Antonios Τρουμπούκης, Αντώνιος

Témata: Αναπαράσταση προτιμήσεων, Απειρότιμος λογικός προγραμματισμός, Λογικός προγραμματισμός υψηλής τάξης, Preference representation, Infinite-valued logic programming, Higher-order logic programming, Φυσικές Επιστήμες, Επιστήμη Ηλεκτρονικών Υπολογιστών και Πληροφορική, Natural Sciences, Computer and Information Sciences

Relation: https://hdl.handle.net/10442/hedi/46117

Dostupnost: https://hdl.handle.net/10442/hedi/46117
https://doi.org/10.12681/eadd/46117

Semantics of negation in extensional higher-order logic programming ; Σημασιολογία της άρνησης στον εκτατικό λογικό προγραμματισμό ανώτερης τάξης

Autoři: Symeonidou, Ioanna Συμεωνίδου, Ιωάννα

Témata: Λογικός προγραμματισμός ανώτερης τάξης, Άρνηση στον λογικό προγραμματισμό, Εκτατική σημασιολογία, Higher-order logic programming, Negation in logic programming, Extensional semantics, Φυσικές Επιστήμες, Επιστήμη Ηλεκτρονικών Υπολογιστών και Πληροφορική, Natural Sciences, Computer and Information Sciences

Relation: https://hdl.handle.net/10442/hedi/44199

Dostupnost: https://hdl.handle.net/10442/hedi/44199
https://doi.org/10.12681/eadd/44199

An Approach to Higher-Order Term-Rewriting Using lambda-Prolog

Autoři: ARCELLI FONTANA, F Formato, F ARCELLI FONTANA, FRANCESCA a další

Témata: program transformation, term rewriting system, higher order logic programming, info:eu-repo/semantics/conferenceObject

URL: http://hdl.handle.net/10281/38940
ispartofbook:Proceedings of the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting