Characterization of Silicate Ceramics Using Ultrasonics Test Method
- 期刊名称Advances in Science and Technology
- 作者Kurama, Semra; Eren Gültekin, Elif
- 卷第92卷
- 电子ISSN1662-0356
- 文件大小2258.09KB
- 发表时间2014-10
- DOI10.4028/www.scientific.net/AST.92.194
- 页码194-202
Dynamic policy adaptation for inference control of queries to a propositional information system1Biskup, Joachim; Li, Yingjiu · Journal of Computer Security · 2012
[Lecture Notes in Computer Science] Foundations of Information and Knowledge Systems Volume 4932 || Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph ApproachHartmann, Sven; Kern-Isberner, Gabriele · 2008
[IEEE 2009 International Conference on Information Engineering and Computer Science - Wuhan, China (2009.12.19-2009.12.20)] 2009 International Conference on Information Engineering and Computer Science - A Revision System Based on Delegate Model for Propositional LogicJiang, Dongchen; Lou, Yihua; Jin, Yi · 2009
[Advances in Intelligent Systems and Computing] Proceedings of the Second International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’17) Volume 679 || A Fuzzy Propositional Logic with Temporal IntervalsAbraham, Ajith; Kovalev, Sergey; Tarassov, Valery; Snasel, Vaclav; Vasileva, Margreta; Sukhanov, Andrey · 2018
[IEEE 2009 WRI World Congress on Computer Science and Information Engineering - Los Angeles, California USA (2009.03.31-2009.04.2)] 2009 WRI World Congress on Computer Science and Information Engineering - Consistency of Finite Theory in Three Types of Many-Valued Propositional Logic SystemsLi, Li-Feng · 2009
[World Scientific Proceedings Series on Computer Engineering and Information Science] Uncertainty Modeling in Knowledge Engineering and Decision Making Volume 7 || INTUITIONISTIC FUZZY PROPOSITIONAL SYSTEM BASED ON LINGUISTIC TRUTH-VALUED INTUITIONISTIC FUZZY LATTICEKahraman, Cengiz; Kerre, Etienne E; Bozbura, Faik Tunc · 2012
Allocation of arguments and evidence theoryJürg Kohlas · 1997
Information Algebras and Consequence OperatorsJürg Kohlas; Robert F. Stärk · 2007
Generic local computationJürg Kohlas; Marc Pouly; Cesar Schneuwly · 2012
Conditional Belief StructuresKohlas, Jürg · Probability in the Engineering and Informational Sciences · 1988
The reliability of reasoning with unreliable argumentsJürg Kohlas · 1991
Uncertain information: Random variables in graded semilatticesJürg Kohlas · 2007
Propagating belief functions through constraint systemsJürg Kohlas; Paul-André Monney · 1991
Linearity: A RoadmapAlves, S.; Fernandez, M.; Florido, M.; Mackie, I. · Journal of Logic and Computation · 2012
Elementary Diagrams in InstitutionsDiaconescu, R. · Journal of Logic and Computation · 2004
A Linear Spine CalculusCervesato, I. · Journal of Logic and Computation · 2003
Propositional primal logic with disjunctionBeklemishev, L.; Gurevich, Y. · Journal of Logic and Computation · 2014
Basic primal infon logicCotrini, C.; Gurevich, Y. · Journal of Logic and Computation · 2013
Computational logic and the socialMartin, U. · Journal of Logic and Computation · 2014
Hoops and Fuzzy LogicEsteva, F. · Journal of Logic and Computation · 2003
Linear Types and LocalityTorrini, P. · Journal of Logic and Computation · 2014