Výsledky vyhledávání - "Logic programming semantics"

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

“… (the one described by Wu, Caminada and Gabbay) is able to serve as a basis for describing various equivalences between logic programming semantics and argumentation semantics…”
Získat plný text

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

“…The combination of learning and reasoning is an essential and challenging topic in neuro-symbolic research. Differentiable inductive logic programming is a…”
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…”
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

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

Probabilistic Logic Programming Semantics For Procedural Content Generation Autor Madkour, Abdelrahman, Martens, Chris, Holtzen, Steven, Harteveld, Casper, Marsella, Stacy

“…Research in procedural content generation (PCG) has recently heralded two major methodologies: machine learning (PCGML) and declarative programming. The former…”
Získat plný text

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

“…A framework with sets of attacking arguments ( $\textit{SETAF}$ ) is an extension of the well-known Dung’s Abstract Argumentation Frameworks ( $\mathit{AAF}$…”
Získat plný text

A uniform approach to logic programming semantics Autor HITZLER, PASCAL, WENDT, MATTHIAS

“…Part of the theory of logic programming and nonmonotonic reasoning concerns the study of fixed-point semantics for these paradigms. Several different semantics…”
Získat plný text

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

“… We discuss a feature of certain logic programming semantics, which we call the Principle of Stratification, a feature allowing a program to be built easily in modules…”
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…”
Získat plný text

Extending the Grounded Semantics by Logic Programming Semantics

Získat plný text

Range-based argumentation semantics as two-valued models Autor OSORIO, MAURICIO, NIEVES, JUAN CARLOS

“…Characterizations of semi-stable and stage extensions in terms of two-valued logical models are presented. To this end, the so-called GL-supported and GL-stage…”
Získat plný text

A lemma on closures and its application to modularity in logic programming semantics Autor Maher, Michael J

“…This note points out a lemma on closures of monotonic increasing functions and shows how it is applicable to decomposition and modularity for semantics defined…”
Získat plný text

Studying Ideal Semantics via Logic Programming Semantics Autor Nieves, J. C., Osorio, M.

“… On the other hand, we introduce a new logic programming semantics which is able to characterize the ideal sets of an argumentation framework…”
Získat plný text

A game semantics for disjunctive logic programming Autor Tsouanas, Thanos

“…Denotational semantics of logic programming and its extensions (by allowing negation, disjunctions, or both) have been studied thoroughly for many years. In…”
Získat plný text

Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts Autor Osorio, Mauricio, Zepeda, Claudia

“…We introduce three 5-valued paraconsistent logics that we name FiveASP1, FiveASP2 and FiveASP3. Each of these logics is genuine and paracomplete. The new value…”
Získat plný text

RTT+ – Time Validity Constraints in RTT Language Autor Anna Felkner, Adam Kozakiewicz

“…Most of the traditional access control models, like mandatory, discretionary and role based access control make authorization decisions based on the identity,…”
Získat plný text

Defining Stage Argumentation Semantics in Terms of an Abducible Semantics Autor Osorio, Mauricio, Carballido, José Luis, Zepeda, Claudia

“…We define a new logic programming semantics in terms of abducible atoms. We use it to characterize the stage extensions of an argumentation framework AF by means of an associated normal program PAF…”
Získat plný text

A uniform approach to logic programming semantics Autor Hitzler, Pascal, Wendt, Matthias

“…Part of the theory of logic programming and nonmonotonic reasoning concerns the study of fixed-point semantics for these paradigms. Several different semantics…”
Získat plný text

Topological characterizations for logic programming semantics Autor Ferry, Audrey Piltch

“…In terms of the arithmetic hierarchy, the complexity of the set of minimal models, the set of stable models, and the set of supported models of a propositional…”
Získat plný text