id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
bracis-19038	Cordeiro, Renan; Fernandes, Guilherme; Alcântara, João; Viana, Henrique	A Systematic Approach to Define Semantics for Prioritised Logic Programs	2021		.htm	text/html	9715	528	60	For each \(o_1, o_2\) in \(\mathcal {O}_P\), the closure \(\varPhi ^*\) of \(\varPhi \) is defined as follows: \(o_1 \preceq o_1 \in \varPhi ^*\); if \(o_1 \preceq o_2 \in \varPhi \), then \(o_1 \preceq o_2 \in \varPhi ^*\); if \(o_1 \preceq o_2 \in \varPhi ^*\) and \(o_2 \preceq o_3 \in \varPhi ^*\), then \(o_1 \preceq o_3 \in \varPhi ^*\). Then for any \(x \in \{ st , opt ,\) \( pes , opp \}\), \(\forall o \in \mathcal X\) and \(\forall o' \in \mathcal Y\), it holds \(o' \not \prec o \in \varPhi \) iff \(\forall o \in \mathcal X\), it holds \(\exists o' \in \mathcal Y\) such that \(o' \not \prec o \in \varPhi \) iff \(o_2 \not \prec o_1 \in \varPhi \) iff \(\exists o \in \mathcal X\) such that \(\forall o' \in \mathcal Y\), it holds \(o' \not \prec o \in \varPhi \) iff \(o_2 \not \prec o_1 \in \varPhi \) iff \(\exists o \in \mathcal X\) and \(\exists o' \in \mathcal Y\) such that \(o' \not \prec o \in \varPhi \).	cache/bracis-19038.htm	txt/bracis-19038.txt