"Reasoning in Fuzzy Graph-Based Clausal Form Logic" . "Miarka, Rostislav" . . "Clausal Form Logic; formal system; graph; Graph-based Clausal Form Logic; RDF model; Fuzzy logic; Fuzzy predicate logic."@en . "978-80-227-3865-1" . "Reasoning in Fuzzy Graph-Based Clausal Form Logic"@en . "17310" . . "Reasoning in Fuzzy Graph-Based Clausal Form Logic" . . . "Bratislava, Slovensk\u00E1 republika" . . "This paper follows the work of T. Richards specialization Clausal Form Logic (CFL) formal system of the first order logic. The paper presents also the way of using graph-based clausal form statements in the frame of fuzzy semantic networks. The goal of our research is to follow the direction towards graph-based clausal form knowledge representation shaped by Richards and build up a fuzzy graph-based formal system. The new formal system Fuzzy Graph-based Clausal Form Logic (FGCFL) has its own graph-based language with the expressivity similar to that one of CFL and enriched Fuzzy logic (implementation of fuzzy logic increases expressivity). The idea of the FGCFL graph-based approach is also useful in the frame of the fuzzy RDF model especially in its graph version."@en . . "2"^^ . "Proceeding of 12th Conference on Applied Mathematics" . "RIV/61988987:17310/13:A13016WF" . . . "S" . "Slovak University of Technology in Bratislava, Publishing House of STU" . . "Reasoning in Fuzzy Graph-Based Clausal Form Logic"@en . "2"^^ . . . "This paper follows the work of T. Richards specialization Clausal Form Logic (CFL) formal system of the first order logic. The paper presents also the way of using graph-based clausal form statements in the frame of fuzzy semantic networks. The goal of our research is to follow the direction towards graph-based clausal form knowledge representation shaped by Richards and build up a fuzzy graph-based formal system. The new formal system Fuzzy Graph-based Clausal Form Logic (FGCFL) has its own graph-based language with the expressivity similar to that one of CFL and enriched Fuzzy logic (implementation of fuzzy logic increases expressivity). The idea of the FGCFL graph-based approach is also useful in the frame of the fuzzy RDF model especially in its graph version." . . . . "2013-02-05+01:00"^^ . "RIV/61988987:17310/13:A13016WF!RIV13-MSM-17310___" . . "Bratislava" . "101660" . "\u017D\u00E1\u010Dek, Martin" . . . . . "[1354F6CF23B9]" . . . "12"^^ .