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

“…In the current paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We observe that one…”
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

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 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…”
Get full text

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

“…In this paper, we show that by using extensions of the Well-Founded Semantics (WFS) which were defined in terms of rewriting systems, one can characterize…”
Get full text

Expressing p-stable semantics based on stable semantics by Osorio, Mauricio, Carballido, Jose Luis, Zepeda, Claudia

“…We study one of the semantics that is useful to formalize NMR, called the p-stable semantics. We explore the relation between the p-stable and the stable…”
Get full text