Výsledky vyhledávání - Logic Programming semantics

Mathematical Aspects of Logic Programming Semantics Autor Hitzler, Pascal, Seda, Anthony

“…Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs…”
Získat plný text

Proceedings 38th International Conference on Logic Programming: Probabilistic Logic Programming: Semantics, Inference and Learning Autor Riguzzi, Fabrizio

Získat plný text

On the equivalence between logic programming semantics and argumentation semantics Autor Caminada, Martin, Sá, Samy, Alcântara, João, Dvořák, Wolfgang

“…In the current paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics…”
Získat plný text

Learning from interpretation transition using differentiable logic programming semantics Autor Gao, Kun, Wang, Hanpin, Cao, Yongzhi, Inoue, Katsumi

“… Differentiable inductive logic programming is a technique for learning a symbolic knowledge representation from either complete, mislabeled, or incomplete observed facts using neural networks…”
Získat plný text

Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning Autor Riguzzi, Fabrizio

“…Probabilistic Logic Programming extends Logic Programming by enabling the representation of uncertain information by means of probability theory…”
Získat plný text

Multi-valued logic programming semantics an algebraic approach Autor Mobasher, Bamshad, Pigozzi, Don, Slutzki, Giora

“…In this paper we introduce the notion of join-irreducibility in the context of bilattices and present a procedural semantics for bilattice based logic programs which uses, as its basis, the join…”
Získat plný text

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types: Category Theoretic Semantics for Logic Programming: Laxness and Saturation (Extended Abstract) Autor Power, John

Získat plný text

Proceedings 40th International Conference on Logic Programming: Semantic Argumentation using Rewriting Systems (Extended Abstract) Autor Guerrero, Esteban, Nieves, Juan Carlos

Získat plný text

The Expressive Powers of the Logic Programming Semantics Autor Schlipf, J.S.

“…We study the expressive of two semantics far deductive databases and logic programming…”
Získat plný text

Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics Autor RIGUZZI, FABRIZIO, SWIFT, TERRANCE

“…Distribution semantics is one of the most prominent approaches for the combination of logic programming and probability theory…”
Získat plný text

Bialgebraic Semantics for Logic Programming Autor Bonchi, Filippo, Zanasi, Fabio

“… 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…”
Získat plný text

Interdefinability of defeasible logic and logic programming under the well-founded semantics Autor MAIER, FREDERICK

“… Under certain natural restrictions, the conclusions of defeasible theories under the ambiguity propagating defeasible logic ADL correspond to those of the well-founded semantics for normal logic…”
Získat plný text

Fixpoint semantics for logic programming a survey Autor Fitting, Melvin

“… Nonetheless, much of the work on logic programming semantics seems to exist side by side with similar work done for imperative and functional programming, with relatively minimal contact between communities…”
Získat plný text

Applying Constraint Logic Programming to SQL Semantic Analysis Autor SÁENZ-PÉREZ, FERNANDO

“…This paper proposes the use of Constraint Logic Programming (CLP) to model SQL queries in a data-independent abstract layer by focusing on some semantic properties for signalling possible errors in such queries…”
Získat plný text

Abduction with probabilistic logic programming under the distribution semantics Autor Azzolini, Damiano, Bellodi, Elena, Ferilli, Stefano, Riguzzi, Fabrizio, Zese, Riccardo

“…In Probabilistic Abductive Logic Programming we are given a probabilistic logic program, a set of abducible facts, and a set of constraints…”
Získat plný text

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

“… This paper proposes a coalgebraic semantics on probabilistic logic programming. Programs are modelled as coalgebras for a certain functor F, and two semantics are given in terms of cofree coalgebras…”
Získat plný text

Extending the Grounded Semantics by Logic Programming Semantics

Získat plný text

The Stable Model Semantics for Higher-Order Logic Programming Autor BOGAERTS, BART, CHARALAMBIDIS, ANGELOS, CHATZIAGAPIS, GIANNOS, KOSTOPOULOS, BABIS, POLLACI, SAMUELE, RONDOGIANNIS, PANOS

“…We propose a stable model semantics for higher-order logic programs. Our semantics is developed using Approximation Fixpoint Theory (AFT…”
Získat plný text

On the Equivalence between Logic Programming and SETAF Autor ALCÂNTARA, JOÃO, CORDEIRO, RENAN, SÁ, SAMY

“…$ -stable and semi-stable semantics. Furthermore, for a class of $\textit{NLP}$ s called Redundancy-Free Atomic Logic Programs ( $\textit{RFALP…”
Získat plný text

Mathematical Aspects of Logic Programming Semantics Autor Hitzler, Pascal, Seda, Anthony

“…Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs…”
Získat plný text