Search engine for discovering works of Art, research articles, and books related to Art and Culture
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
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...
Evaluation of CF2 Radical as a Precursor for Fluorocarbon Film Formation in Highly Selective SiO2 Etching Process Using Radical Injection Technique
Evaluation of CF2 Radical as a Precursor for Fluorocarbon Film Formation in Highly Selective SiO2 Etching Process Using Radical Injection Technique
A radical injection technique (RIT) was developed to evaluate CF2 radical as a precursor for fluorocarbon film formation in a highly selective SiO2 etching process. Using RIT, th...
The decomposition mechanism of C4F7N-Cu gas mixtures
The decomposition mechanism of C4F7N-Cu gas mixtures
C4F7N is one of the most remarkable replacements for SF6, and its decomposition mechanism has a great influence on insulating performance and environmental properties. It is notewo...
Metaphoric and Metonymic Operations for the Iron Expressions
Metaphoric and Metonymic Operations for the Iron Expressions
This study uses the word iron as an example to analyze the phenomena of meaning extensions and function shifts from a cognitive semantic perspective. The analysis shows that the me...
Positive Ions in RF Discharge Plasma of CF 4 Gas in a Planar Diode
Positive Ions in RF Discharge Plasma of CF 4 Gas in a Planar Diode
Positive ions were measured in situ by direct sampling from CF4 discharge space at 13.56 MHz using a quadrupole mass spectrometer. CF3
+ is observed predominant...
Spatial Distribution Measurement of Absolute Densities of CF and CF 2 Radicals in a High Density Plasma Reactor Using a Combination of Single-Path Infrared Diode Laser Absorption Spectroscopy and Laser-Induced Fluorescence Technique
Spatial Distribution Measurement of Absolute Densities of CF and CF 2 Radicals in a High Density Plasma Reactor Using a Combination of Single-Path Infrared Diode Laser Absorption Spectroscopy and Laser-Induced Fluorescence Technique
We have developed a measurement method for obtaining spatial
distributions of absolute densities of CF and CF2 radicals in a plasma
reactor by combining single-path infrare...
Exploring the topical structure of short text through probability models : from tasks to fundamentals
Exploring the topical structure of short text through probability models : from tasks to fundamentals
Recent technological advances have radically changed the way we communicate. Today’s
communication has become ubiquitous and it has fostered the need for information that is easie...
Generación de modelos de procesos y decisiones a partir de documentos de texto
Generación de modelos de procesos y decisiones a partir de documentos de texto
(English) This thesis addresses the importance of formal models for the efficient management of business processes (BPM) and business decision management (BDM) in a constantly evol...