Complexity Issues in Basic Logic

0405291 - UIVT-O 330612 RIV DE eng J - Článek v odborném periodiku
Aguzzoli, S. - Gerla, B. - Haniková, Zuzana
Complexity Issues in Basic Logic.
[Logika BL z hlediska výpočetní složitosti.]
Soft Computing. Roč. 9, - (2005), s. 919-934. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA MŠMT LN00A056
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: basic fuzzy logic (BL) * computational complexity * functional representation
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.538, rok: 2005

Citováno: 22

--- HORCIK, R. Decidability of cancellative extension of monoidal t-norm based logic. LOGIC JOURNAL OF THE IGPL. ISSN 1367-0751, DEC 2006, vol. 14, no. 6, p. 827-843. [WOS]
--- LI, Y.M. Fuzzy Turing Machines: Variants and Universality. IEEE TRANSACTIONS ON FUZZY SYSTEMS. ISSN 1063-6706, DEC 2008, vol. 16, no. 6, p. 1491-1502. [WOS]
--- MARCHIONI, E. On Computational Complexity of Semilinear Varieties. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, DEC 2008, vol. 18, no. 6, p. 941-958. [WOS]
--- LI, Y.M. Approximation and universality of fuzzy Turing machines. SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES. ISSN 1009-2757, OCT 2008, vol. 51, no. 10, p. 1445-1465. [WOS]
--- LI, Y. Approximation and robustness of fuzzy finite automata. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING. ISSN 0888-613X, FEB 2008, vol. 47, no. 2, p. 247-257. [WOS]
--- LI, Y.M. Lattice-Valued Fuzzy Turing Machines and Their Computing Power. 2009 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3. 2009, p. 1650-1655. [WOS]
--- LI, Y.M. Lattice-valued fuzzy Turing machines: Computing power, universality and efficiency. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, DEC 1 2009, vol. 160, no. 23, p. 3453-3474. [WOS]
--- EL-ZEKEY, M.S. - LOTFALLAH, W.B. - MORSI, N.N. Computational complexities of axiomatic extensions of monoidal t-norm based logic. SOFT COMPUTING. ISSN 1432-7643, SEP 2009, vol. 13, no. 11, p. 1089-1097. [WOS]
--- BOVA, S. - MONTAGNA, F. The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, MAR 17 2009, vol. 410, no. 12-13, p. 1143-1158. [WOS]
--- LI, Y.M. Some results of fuzzy turing machines. WCICA 2006: Sixth World Congress on Intelligent Control and Automation, Vols 1-12, Conference Proceedings. 2006, p. 3406-3409. [WOS]
--- HORCIK, R. - TERUI, K. Disjunction property and complexity of substructural logics. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, JUL 15 2011, vol. 412, no. 31, p. 3992-4006. [WOS]
--- Vidal, A. - Bou, F. - Godo, L. An SMT-Based Solver for Continuous t-norm Based Logics. Scalable Uncertainty Management. ISSN 0302-9743, 2012, vol. 7520, p. 633-640
--- CASALI, A. - GODO, L. - SIERRA, C. A language for the execution of graded BDI agents. LOGIC JOURNAL OF THE IGPL. ISSN 1367-0751, JUN 2013, vol. 21, no. 3, SI, p. 332-354. [WOS]
--- GOTTWALD, S. Local and relativized local finiteness in t-norm based structures. INFORMATION SCIENCES. ISSN 0020-0255, APR 10 2013, vol. 228, p. 26-36. [WOS]
--- ANSOTEGUI, C. - BOFILL, M. - MANYA, F. - VILLARET, M. Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. 2012 42ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL). ISSN 0195-623X, 2012, p. 25-30. [WOS]
--- BOU, F. - ESTEVA, F. - FONT, J.M. - GIL, A.J. - GODO, L. - TORRENS, A. - VERDU, V. Logics Preserving Degrees of Truth from Varieties of Residuated Lattices. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, DEC 2009, vol. 19, no. 6, p. 1031-1069. [WOS]
--- DUBOIS, D. - ESTEVA, F. - GODO, L. - PRADE, H. FUZZY-SET BASED LOGICS - AN HISTORY-ORIENTED PRESENTATION OF THEIR MAIN DEVELOPMENTS. MANY VALUED AND NONMONOTONIC TURN IN LOGIC. ISSN 1874-5857, 2007, vol. 8, p. 325-449. [WOS]
--- FRIGERI, A. - PASQUALE, L. - SPOLETINI, P. Fuzzy Time in Linear Temporal Logic. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. ISSN 1529-3785, NOV 2014, vol. 15, no. 4. [WOS]
--- VIDAL, A. MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions. INFORMATION SCIENCES. ISSN 0020-0255, DEC 1 2016, vol. 372, p. 709-730. [WOS]
--- ANSOTEGUI, C. - BOFILL, M. - MANYA, F. - VILLARET, M. Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, JUN 1 2016, vol. 292, SI, p. 32-48. [WOS]
--- BOFILL, M. - MANYA, F. - VIDAL, A. - VILLARET, M. Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015 IEEE 45TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC. ISSN 0195-623X, 2015, p. 30-35. [WOS]
--- LIU, X.X. - LI, X. - XIANG, H.Y. Turing Machine Algorithm Implementation of Arc-sin Function in Real Number. 2ND INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGY FOR EDUCATION (ICTE 2015). 2015, p. 373-378. [WOS]

Trvalý link: http://hdl.handle.net/11104/0125472