Search engine for discovering works of Art, research articles, and books related to Art and Culture
ShareThis
Javascript must be enabled to continue!

CF2-extensions as Answer-set Models

View through CrossRef
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. Since extension-based argumentation semantics were formalized in terms of relationships between atomic arguments, it has been shown that extension-based argumentation semantics based on admissible sets such as stable semantics can be characterized in terms of answer sets. In this paper, we present an approach for characterizing SCC-recursive semantics in terms of answer set models. In particular, we will show a characterization of CF2 in terms of answer set models. This result suggests that not only extension-based argumentation semantics based on admissible sets can be characterized in terms of answer sets; but also extension-based argumentation semantics based on Strongly Connected Components can be characterized in terms of answer sets.
Title: CF2-extensions as Answer-set Models
Description:
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning.
Since extension-based argumentation semantics were formalized in terms of relationships between atomic arguments, it has been shown that extension-based argumentation semantics based on admissible sets such as stable semantics can be characterized in terms of answer sets.
In this paper, we present an approach for characterizing SCC-recursive semantics in terms of answer set models.
In particular, we will show a characterization of CF2 in terms of answer set models.
This result suggests that not only extension-based argumentation semantics based on admissible sets can be characterized in terms of answer sets; but also extension-based argumentation semantics based on Strongly Connected Components can be characterized in terms of answer sets.

Related Results

Studies on sulfinatodehalogenation: XVII. The sulfinatodehalogenation of primary perfluoroalkyl iodides and bromides by Rongalite
Studies on sulfinatodehalogenation: XVII. The sulfinatodehalogenation of primary perfluoroalkyl iodides and bromides by Rongalite
AbstractUsing acetonitrile or DMF as cosolvent, both perfluoroalkyl iodides such as Cl(CF2)nI (n= 4,6,8,la—lc), CF3(CF2)nI (n= 5,6,7,ld—lf), I (CF2)nO (CF2) SO3Na(n= 2,4,6,lg—li) a...
Syntheses of Cyclic and Acyclic Bis(perfluoroalkylthio)nitronium Salts
Syntheses of Cyclic and Acyclic Bis(perfluoroalkylthio)nitronium Salts
Abstract(F3CS)3N (1) is oxidized quantitatively by AsF5 to the first bis(perfluoroalkylthio)nitronium salt (F3CS)2N+AsF−6 (2). Addition of halide ions (F−, Cl−, Br−, l−) to the cat...
“Dari Mata Turun ke Hati”: Penggunaan Eyelash Extensions di Kalangan Siswi Sekolah Menengah
“Dari Mata Turun ke Hati”: Penggunaan Eyelash Extensions di Kalangan Siswi Sekolah Menengah
Being attractive and beautiful has its own charm which will certainly increase self-confidence. For this reason, women try to improve their appearance, one of which is by doing fac...
Synthesis of a Hominal Bis(difluoromethyl) Fragment
Synthesis of a Hominal Bis(difluoromethyl) Fragment
Abstract This paper describes the synthesis of a discrete unit of hominal bis(gem-CF2). The controlled introduction of fluorine atoms is a powerful synthetic tool...
Synthesis of a Hominal Bis(difluoromethyl) Fragments
Synthesis of a Hominal Bis(difluoromethyl) Fragments
This paper describes the synthesis of discrete units of hominal bis(gem-CF2). The controlled introduction of fluorine atoms is a powerful synthetic tool to introduce dipole moment...
Selection of Injectable Drug Product Composition using Machine Learning Models (Preprint)
Selection of Injectable Drug Product Composition using Machine Learning Models (Preprint)
BACKGROUND As of July 2020, a Web of Science search of “machine learning (ML)” nested within the search of “pharmacokinetics or pharmacodynamics” yielded over 100...
cf2 Semantics Revisited
cf2 Semantics Revisited
Abstract argumentation frameworks nowadays provide the most popular formalization of argumentation on a conceptual level. Numerous semantics for this paradigm have been proposed, w...

Back to Top