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

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

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

Studying Ideal Semantics via Logic Programming Semantics Autor 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…”
Získat plný text

Expressing p-stable semantics based on stable semantics Autor 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…”
Získat plný text