Search Results - LOGIC PROGRAMMING

Refine Results
  1. 1

    Program Logic Foundations: Putting the Logic Back into Program Logic by Andrew J. Hawkins

    Published in Journal of MultiDisciplinary Evaluation (2020-12-01)
    Subjects: “…program logic…”
    Get full text
    Article


  2. 2

    Logic programming extensions of Horn clause logic by Ron Sigal

    Published in Le Matematiche (1988-11-01)
    “…<p>Logic programming is now firmly established as an alternative programming paradigm, distinct and arguably superior to the still dominant imperative style of, for instance, the Algol family of languages. …”
    Get full text
    Article


  3. 3

    Service-Oriented Logic Programming by Ionut Tutu, Jose Luiz Fiadeiro

    Published in Logical Methods in Computer Science (2015-08-01)
    “…We show how the denotational and the operational semantics specific to conventional logic programming can be generalized using the theory of institutions to address both static and dynamic aspects of service-oriented computing. …”
    Get full text
    Article


  4. 4

    Bialgebraic Semantics for Logic Programming by Filippo Bonchi, Fabio Zanasi

    Published in Logical Methods in Computer Science (2015-03-01)
    “…In this paper we propose a bialgebraic approach to the semantics of logic programming. Our methodology is to study logic programs as reactive systems and exploit abstract techniques developed in that setting. …”
    Get full text
    Article


  5. 5

    Logic + probabilistic programming + causal laws by Vaishak Belle

    Published in Royal Society Open Science (2023-09-01)
    Subjects: “…first-order logic…”
    Get full text
    Article


  6. 6

    ALPES: an advanced logic programming environment by Cristina Ruggieri

    Published in Le Matematiche (1988-11-01)
    “…The purpose of ALPES is to enable a logic programming paradigm to become a software engineering tool to design, develop and prototype traditional software systems, as well as artificial intelligence applications. …”
    Get full text
    Article


  7. 7

    Coalgebraic Semantics for Probabilistic Logic Programming by Tao Gu, Fabio Zanasi

    Published in Logical Methods in Computer Science (2021-04-01)
    “…Probabilistic logic programming is increasingly important in artificial intelligence and related fields as a formalism to reason about uncertainty. …”
    Get full text
    Article


  8. 8

    Teaching logic programming: a review by Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko

    Published in CTE Workshop Proceedings (2025-03-01)
    Subjects: “…logic programming…”
    Get full text
    Article


  9. 9

    Transforming Coroutining Logic Programs into Equivalent CHR Programs by Vincent Nys, Danny De Schreye

    “…The technique transforms coroutining logic programs into logic programs that, when executed under the standard left-to-right selection rule (and not using any delay features) have the same computational behavior as the coroutining program. …”
    Get full text
    Article


  10. 10

    Towards Ethical Machines Via Logic Programming by Abeer Dyoub, Stefania Costantini, Francesca A. Lisi

    Get full text
    Article


  11. 11

    DNA logic programming: From concept to construction by Yi Zhang, Ning Hu, Jiajie Xu, Zhen Wang

    Published in View (2024-02-01)
    Subjects: “…logic programming…”
    Get full text
    Article


  12. 12

    Genetic programming elements in fuzzy logic problems by J A Malyuk

    Published in RUDN Journal of Engineering Research (2009-12-01)
    Get full text
    Article


  13. 13

    Logic Programming Tools for Formal Software Specification by Halina Przymusińska

    Get full text
    Article


  14. 14

    Logic Modeling Methods in Program Evaluation by Daniela C. Schröter, Jessica L. Urschel

    Published in Journal of MultiDisciplinary Evaluation (2008-02-01)
    Subjects: “…Logic Modeling Methods in Program Evaluation…”
    Get full text
    Article


  15. 15

    The role of logical interpretations in program development by Manuel A. Martins, Alexandre Madeira, Luis S. Barbosa

    Published in Logical Methods in Computer Science (2014-01-01)
    “…The approach is first presented in the context of equational logic, and later generalised to deductive systems of arbitrary dimension. …”
    Get full text
    Article


  16. 16

    Program Logics for Homogeneous Generative Run-Time Meta-Programming by Martin Berger, Laurence Tratt

    Published in Logical Methods in Computer Science (2015-03-01)
    “…This paper provides the first program logic for homogeneous generative run-time meta-programming---using a variant of MiniML by Davies and Pfenning as its underlying meta-programming language. …”
    Get full text
    Article


  17. 17

    Traditional Logic and Computational Thinking by J.-Martín Castro-Manzano

    Published in Philosophies (2021-02-01)
    Subjects: “…logic programming…”
    Get full text
    Article


  18. 18

    Logical relations for coherence of effect subtyping by Dariusz Biernacki, Piotr Polesiuk

    Published in Logical Methods in Computer Science (2018-01-01)
    “…In this article we present heterogeneous, biorthogonal, step-indexed logical relations for establishing the coherence of coercion semantics of programming languages with subtyping. …”
    Get full text
    Article


  19. 19

    Using the Fuzzy Logic in Assessing the Programming Performance of Students by Ozan Şenkal, Nihan Arslan Namlı

    Subjects: “…fuzzy logic…”
    Get full text
    Article


  20. 20

    Plausible Description Logic Programs for Stream Reasoning by Ioan Alfred Letia, Adrian Groza

    Published in Future Internet (2012-10-01)
    Get full text
    Article


Search Tools: