Dušan Guller

Comenius University in Bratislava - Bratislava / Slovakia

Engineering & Technology / Computer Science

AD Scientific Index ID: 5893874

Univerzita Komenského v Bratislave

Registration, Add Profile,
Premium Membership

Print Your Certificate

Dušan Guller's MOST POPULAR ARTICLES

1-) On the refutational completeness of signed binary resolution and hyperresolutionD GullerFuzzy Sets and Systems 160 (8), 1162-1176, 2009232009

2-) On the satisfiability and validity problems in the propositional Gödel logicD GullerComputational Intelligence, 211-227, 2012152012

3-) A DPLL Procedure for the Propositional Gödel Logic.D Guller, J Filipe, J KacprzykIJCCI (ICFC-ICNC), 31-42, 2010142010

4-) Binary resolution over complete residuated Stone latticesD GullerFuzzy Sets and Systems 159 (9), 1031-1041, 2008132008

5-) Semantics for fuzzy disjunctive programs with weak similarityD GullerHybrid Information Systems, 285-299, 2002112002

ARTICLES

Add your articles