Výsledky vyhľadávania - "Higher-order Logic Programming"

The Stable Model Semantics for Higher-Order Logic Programming

Autori: Bogaerts, Bart Charalambidis, Angelos Chatziagapis, Giannos a ďalší

Prispievatelia: Bogaerts, Bart Charalambidis, Angelos Chatziagapis, Giannos a ďalší

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

Predmety: 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)

Prí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

Autori: DUNCHEV, TSVETAN CHAVDAROV SACERDOTI COEN, CLAUDIO Tassi, Enrico

Prispievatelia: 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

Predmety: 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 súboru: application/pdf

Prí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

Autori: PETTOROSSI, ALBERTO Proietti, M. Pettorossi, A a ďalší

Prispievatelia: PETTOROSSI, ALBERTO Proietti, M. Pettorossi, A a ďalší

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

Predmety: 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 súboru: application/xml

Prí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

Autori: Andrew W. Appel Amy P. Felty

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

Predmety: 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 súboru: application/xml

Prí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

Autori: David S. Warren Weidong Chen Michael Kifer

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

Predmety: 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 súboru: application/xml

Transformations of Logic Programs with Goals as Arguments

Autori: Alberto Pettorossi Maurizio Proietti The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Alberto Pettorossi Maurizio Proietti The Pennsylvania State University CiteSeerX Archives

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

Predmety: program transformation, unfold/fold transformation rules, higher order logic programming, continuations

Popis súboru: 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

Dostupnosť: 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

Autori: Alberto Momigliano The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Alberto Momigliano The Pennsylvania State University CiteSeerX Archives

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

Predmety: logical frameworks, higher-order logic programming, negation, negation-as-failure

Popis súboru: application/pdf

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

Dostupnosť: 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

Autori: ARCELLI FONTANA, FRANCESCA Formato, F.

Predmety: program transformation, term rewriting systems, higher order logic programming

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

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

Autori: Dowek, Gilles Hardin, Thérèse Kirchner, Claude a ďalší

Prispievatelia: Dowek, Gilles Hardin, Thérèse Kirchner, Claude a ďalší

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

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

Dostupnosť: 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

Autori: Dunchev, Cvetan Sacerdoti Coen, Claudio Tassi, Enrico a ďalší

Prispievatelia: Dunchev, Cvetan Sacerdoti Coen, Claudio Tassi, Enrico a ďalší

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⟩

Predmety: 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

Dostupnosť: 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

Autori: Nittaya Kerdprasop Kittisak Kerdprasop The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Nittaya Kerdprasop Kittisak Kerdprasop The Pennsylvania State University CiteSeerX Archives

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

Predmety: Knowledge Mining, Association Mining, Decisiontree Induction, Higher-order Logic Programming, Medical Expert System

Popis súboru: application/pdf

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

Dostupnosť: 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

Autori: A. Charalambidis K. Handjopoulos P. Rondogiannis a ďalší

Prispievatelia: A. Charalambidis K. Handjopoulos P. Rondogiannis a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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 ; Επεκτάσεις του λογικού προγραμματισμού για την αναπαράσταση προτιμήσεων

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

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

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

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

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

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

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

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

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

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

Autori: ARCELLI FONTANA, F Formato, F ARCELLI FONTANA, FRANCESCA a ďalší

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