Short Circuit Evaluations in Godel Type Logic

Simple item page
dc.contributor.authorBasbous, Raed
dc.contributor.authorNagy, Benedek
dc.contributor.authorTajti, Tibor
dc.date.accessioned2026-02-06T18:17:32Z
dc.date.issued2015
dc.departmentDoğu Akdeniz Üniversitesi
dc.description5th International Conference on Fuzzy and Neuro Computing (FANCCO) -- DEC 17-19, 2015 -- Inst Dev & Res Banking Technol, Hyderabad, INDIA
dc.description.abstractShort circuit evaluation techniques play important roles in hardware design, programming and other fields of computer science. In this paper one of the most known and used fuzzy logic system, the Godel logic is considered. Various pruning algorithms are presented to quicken the evaluations of logical formulae in Godel logic. Simulation results show the efficiency of the presented techniques.
dc.description.sponsorshipMicrosoft,Teradata,IEEE Comp Soc, Hyderabad Sect,IEEE Computat Intelligence Soc, Hyderabad Sect
dc.identifier.doi10.1007/978-3-319-27212-2_10
dc.identifier.endpage138
dc.identifier.isbn978-3-319-27212-2
dc.identifier.isbn978-3-319-27211-5
dc.identifier.issn2194-5357
dc.identifier.issn2194-5365
dc.identifier.orcid0000-0001-8057-2962
dc.identifier.scopus2-s2.0-84983097277
dc.identifier.scopusqualityN/A
dc.identifier.startpage119
dc.identifier.urihttps://doi.org/10.1007/978-3-319-27212-2_10
dc.identifier.urihttps://hdl.handle.net/11129/9043
dc.identifier.volume415
dc.identifier.wosWOS:000369539900010
dc.identifier.wosqualityN/A
dc.indekslendigikaynakWeb of Science
dc.indekslendigikaynakScopus
dc.language.isoen
dc.publisherSpringer-Verlag Berlin
dc.relation.ispartofProceedings of the Fifth International Conference on Fuzzy and Neuro Computing (Fancco - 2015)
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanı
dc.rightsinfo:eu-repo/semantics/closedAccess
dc.snmzKA_WoS_20260204
dc.subjectPruning techniques
dc.subjectFormula trees
dc.subjectFast evaluation
dc.subjectFuzzy logic
dc.subjectMany valued logic
dc.titleShort Circuit Evaluations in Godel Type Logic
dc.typeConference Object

Files

Collections

WoS Indexed Publications Collection
Scopus İndeksli Yayınlar Koleksiyonu