Search Results - Logic Programming General Terms

Refine Results
  1. 1

    Logic Programming with Extensible Types

    Authors: Ivan Perez Angel Herranz

    Subject Terms: Mathematical and Computer Sciences (General)

    Access URL: https://ntrs.nasa.gov/citations/20240010266

    View record at NASA Technical Reports Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Semantic-based arguments using logic programming rewriting systems

    Authors: Guerrero Rosero, Esteban Nieves, Juan Carlos

    Index Terms: logic programming, formal argumentation, semantic argumentation, rewriting systems, Computer Systems, Datorsystem, Conference paper, info:eu-repo/semantics/conferenceObject, text

    URL: http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-228973
    Lecture Notes in Computer Science, 0302-9743 ; 15245
    Logic Programming and Nonmonotonic Reasoning : 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings, p. 276-289

    View this record from OAIster Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    Programming Logic and Design

    Authors: Joyce Farrell

    Resource Type: eBook.

    Subjects: Logic design, Logic programming

    Categories: COMPUTERS / General

    Save to List
  4. 4

    Introduction to Logic Programming

    Authors: Michael Genesereth Vinay K. Chaudhri

    Resource Type: eBook.

    Subjects: Logic programming

    Categories: COMPUTERS / Artificial Intelligence / General, MATHEMATICS / Applied, MATHEMATICS / Probability & Statistics / General

    Save to List
  5. 5

    Introduction to Logic Programming

    Authors: Michael Michael Genesereth Vinay K. Vinay K. Chaudhri

    Resource Type: eBook.

    Subjects: Machine learning, Neural networks (Computer science)

    Categories: COMPUTERS / Artificial Intelligence / General, MATHEMATICS / Applied

    Save to List
  6. 6

    Mathematical Aspects of Logic Programming Semantics

    Authors: Pascal Hitzler Anthony Seda

    Resource Type: eBook.

    Subjects: Logic programming, Programming languages (Electronic computers)--Semantics

    Categories: COMPUTERS / Programming / Games, COMPUTERS / Information Theory, COMPUTERS / Machine Theory, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / History & Philosophy

    PDF Full Text ePub Full Text
    Save to List
  7. 7

    Programming Logic

    Authors: Frank Wellington

    Resource Type: eBook.

    Categories: COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / Computer Graphics

    Save to List
  8. 8

    A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There

    Authors: Fink, Michael

    Index Terms: Computer Science - Artificial Intelligence, text

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

    View this record from OAIster Nájsť tento článok vo Web of Science
    Save to List
  9. 9

    A dynamic approach to characterizing termination of general logic programs

    Authors: Yi-dong Shen Jia-huai You Li-yan Yuan et al.

    Contributors: Yi-dong Shen Jia-huai You Li-yan Yuan et al.

    Source: http://arxiv.org/pdf/cs/0204031v1.pdf.

    Subject Terms: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.1.2 [Programming Techniques, Automatic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—logic programming General Terms, Languages, Theory Additional Key Words and Phrases, Termination analysis, dynamic characterization, Prolog

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.1556; http://arxiv.org/pdf/cs/0204031v1.pdf

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.1556
    http://arxiv.org/pdf/cs/0204031v1.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  10. 10

    VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming

    Authors: Misino, Eleonora Marra, Giuseppe Sansone, Emanuele

    Index Terms: Computer Science - Programming Languages, Computer Science - Machine Learning, text

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

    View this record from OAIster Nájsť tento článok vo Web of Science
    Save to List
  11. 11

    Programming by Combining General Logic Programs

    Authors: Brogi, Antonio Contiero, Simone Turini, Franco

    Index Terms: INF/01 - Informatica, Book, NonPeerReviewed

    URL: http://eprints.adm.unipi.it/1966/1/TR-97-02.ps.gz
    http://eprints.adm.unipi.it/1966/
    http://compass2.di.unipi.it/TR/files/TR-97-02.ps.gz
    http://eprints.adm.unipi.it/1966
    http://compass2.di.unipi.it/TR/files/TR-97-02.ps.gz

    View this record from OAIster Nájsť tento článok vo Web of Science
    Save to List
  12. 12

    Logic Programming with Prolog

    Authors: Max Bramer

    Resource Type: eBook.

    Subjects: Compilers (Computer programs), Computer programming

    Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General

    Save to List
  13. 13

    Programming with Term Logic.

    Authors: Castro-Manzano, J. Martín Lozano-Cobos, L. Ignacio Reyes-Cárdenas, Paniel O.

    Source: BRAIN: Broad Research in Artificial Intelligence & Neuroscience; Sep2018, Vol. 9 Issue 3, p22-36, 15p, 1 Diagram, 16 Charts

    Subject Terms: LOGIC programming languages, FUNCTOR theory, ARISTOTELIANISM (Philosophy)

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  14. 14

    Programming Logic & Design, Comprehensive

    Authors: Joyce Farrell

    Resource Type: eBook.

    Subjects: Logic programming, Logic design

    Categories: COMPUTERS / General

    Save to List
  15. 15

    Bounded rationality: from fast and frugal heuristics to logic programming and back.

    Authors: Vargas, Francisco Martignon, Laura Stenning, Keith

    Source: Mind & Society; Nov2023, Vol. 22 Issue 1/2, p33-51, 19p

    Subject Terms: LOGIC programming, BOUNDED rationality, HEURISTIC, NONMONOTONIC logic, DECISION making

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  16. 16

    Logic Analyzers in Practice

    Authors: Jörg Rippel

    Resource Type: eBook.

    Categories: COMPUTERS / Programming / General, COMPUTERS / Languages / Python, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General

    Save to List
  17. 17

    Programming Logic and Design, Introductory

    Authors: Joyce Farrell

    Resource Type: eBook.

    Subjects: Logic design, Logic programming

    Categories: COMPUTERS / General

    Save to List
  18. 18

    Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings

    Authors: Jeremy Gibbons Dale Miller

    Resource Type: eBook.

    Subjects: Software engineering, Artificial intelligence, Programming languages (Electronic computers), Computer programming, Computer science, Computer systems

    Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Languages / General, COMPUTERS / Hardware / General

    Save to List
  19. 19

    A Sequent Calculus and a Theorem Prover for Standard Conditional Logics

    Authors: Gian Luca Pozzato Camilla B. Schwind The Pennsylvania State University CiteSeerX Archives

    Contributors: Gian Luca Pozzato Camilla B. Schwind The Pennsylvania State University CiteSeerX Archives

    Source: http://www.di.unito.it/~argo/papers/2005_OPS_TOCL.pdf.

    Subject Terms: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Computational Logic, Logic and Constraint Programming, Proof Theory, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Deduction, Logic Programming General Terms, Languages, Logic, Theory Additional Key Words and Phrases, Analytic Sequent Calculi, Automated Deduction, Conditional Logics, Labelled Deductive Systems

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.530; http://www.di.unito.it/~argo/papers/2005_OPS_TOCL.pdf

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.530
    http://www.di.unito.it/~argo/papers/2005_OPS_TOCL.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  20. 20

    A Sequent Calculus and a Theorem Prover for Standard Conditional Logics

    Authors: Nicola Olivetti Gian Luca Pozzato Camilla B. Schwind et al.

    Contributors: Nicola Olivetti Gian Luca Pozzato Camilla B. Schwind et al.

    Source: http://www.di.unito.it/~argo/papers/RT_8104.pdf.

    Subject Terms: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Computational Logic, Logic and Constraint Programming, Proof Theory, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Deduction, Logic Programming General Terms, Languages, Logic, Theory Additional Key Words and Phrases, Analytic Sequent Calculi, Automated Deduction, Conditional Logics, Labelled Deductive Systems

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.6636; http://www.di.unito.it/~argo/papers/RT_8104.pdf

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.6636
    http://www.di.unito.it/~argo/papers/RT_8104.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List

Search Tools: