[Lecture Notes in Computer Science] Grammatical Inference and Applications Volume 862 || Grammatical inference: An introductory survey
- 作者Carrasco, Rafael C.; Oncina, Jose
- 文件大小338.56KB
- 发表时间1994
- DOI10.1007/3-540-58473-0_131
- 页码1-4
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