Search Results - "Higher Order Logic Programming"

The Stable Model Semantics for Higher-Order Logic Programming

Authors: Bogaerts, Bart Charalambidis, Angelos Chatziagapis, Giannos et al.

Contributors: Bogaerts, Bart Charalambidis, Angelos Chatziagapis, Giannos et al.

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

Subject Terms: 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)

Access URL: 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

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

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

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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: PETTOROSSI, ALBERTO Proietti, M. Pettorossi, A et al.

Contributors: PETTOROSSI, ALBERTO Proietti, M. Pettorossi, A et al.

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

Subject Terms: 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)

File Description: application/xml

Access URL: 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

Authors: Andrew W. Appel Amy P. Felty

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

Subject Terms: 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)

File Description: application/xml

Access URL: 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

Authors: David S. Warren Weidong Chen Michael Kifer

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

Subject Terms: 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

File Description: application/xml

Transformations of Logic Programs with Goals as Arguments

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

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

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

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

File Description: 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

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

Authors: Alberto Momigliano The Pennsylvania State University CiteSeerX Archives

Contributors: Alberto Momigliano The Pennsylvania State University CiteSeerX Archives

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

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

File Description: application/pdf

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

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

Authors: ARCELLI FONTANA, FRANCESCA Formato, F.

Subject Terms: program transformation, term rewriting systems, higher order logic programming

Access URL: https://hdl.handle.net/10281/38940

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

Authors: Dowek, Gilles Hardin, Thérèse Kirchner, Claude et al.

Contributors: Dowek, Gilles Hardin, Thérèse Kirchner, Claude et al.

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

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

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

Authors: Dunchev, Cvetan Sacerdoti Coen, Claudio Tassi, Enrico et al.

Contributors: Dunchev, Cvetan Sacerdoti Coen, Claudio Tassi, Enrico et al.

Source: 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⟩

Subject Terms: 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

Subject Geographic: Porto, Portugal

Time: Porto, Portugal

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

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

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

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

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

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

File Description: application/pdf

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Authors: ARCELLI FONTANA, F Formato, F ARCELLI FONTANA, FRANCESCA et al.

Index Terms: 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