Search Results - "logic programming semantics"

On the equivalence between logic programming semantics and argumentation semantics by 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…”
Get full text

Learning from interpretation transition using differentiable logic programming semantics by 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…”
Get full text

Mathematical Aspects of Logic Programming Semantics by 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…”
Get full text

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

Get full text

Mathematical Aspects of Logic Programming Semantics by 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…”
Get full text

Probabilistic Logic Programming Semantics For Procedural Content Generation by 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…”
Get full text

On the Equivalence between Logic Programming and SETAF by 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}$…”
Get full text

A uniform approach to logic programming semantics by 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…”
Get full text

The Expressive Powers of the Logic Programming Semantics by 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…”
Get full text

Multi-valued logic programming semantics an algebraic approach by 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…”
Get full text

Extending the Grounded Semantics by Logic Programming Semantics

Get full text

Range-based argumentation semantics as two-valued models by 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…”
Get full text

A lemma on closures and its application to modularity in logic programming semantics by 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…”
Get full text

Studying Ideal Semantics via Logic Programming Semantics by 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…”
Get full text

A game semantics for disjunctive logic programming by Tsouanas, Thanos

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

Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts by 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…”
Get full text

RTT+ – Time Validity Constraints in RTT Language by 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,…”
Get full text

Defining Stage Argumentation Semantics in Terms of an Abducible Semantics by 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…”
Get full text

A uniform approach to logic programming semantics by 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…”
Get full text

Topological characterizations for logic programming semantics by 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…”
Get full text