On the refutational completeness of signed binary resolution and hyperresolution D Guller Fuzzy Sets and Systems 160 (8), 1162-1176, 2009 | 23 | 2009 |
On the satisfiability and validity problems in the propositional Gödel logic D Guller Computational Intelligence, 211-227, 2012 | 15 | 2012 |
A DPLL Procedure for the Propositional Gödel Logic. D Guller, J Filipe, J Kacprzyk IJCCI (ICFC-ICNC), 31-42, 2010 | 14 | 2010 |
Binary resolution over complete residuated Stone lattices D Guller Fuzzy Sets and Systems 159 (9), 1031-1041, 2008 | 13 | 2008 |
Semantics for fuzzy disjunctive programs with weak similarity D Guller Hybrid Information Systems, 285-299, 2002 | 11 | 2002 |
Procedural semantics for fuzzy disjunctive programs D Guller International Conference on Logic for Programming Artificial Intelligence …, 2002 | 9 | 2002 |
An Order Hyperresolution Calculus for Gödel Logic-General First-order Case. D Guller, AC Rosa, AD Correia, K Madani, J Filipe, J Kacprzyk IJCCI, 329-342, 2012 | 8 | 2012 |
An order hyperresolution calculus for Gödel logic with truth constants and equality, strict order, Delta D Guller Computational Intelligence (IJCCI), 2015 7th International Joint Conference …, 2015 | 6 | 2015 |
A generalisation of the hyperresolution principle to first order Gödel logic D Guller Computational Intelligence, 159-182, 2015 | 6 | 2015 |
Binary resolution over Boolean lattices D Guller Fuzzy sets and systems 157 (15), 2100-2127, 2006 | 6 | 2006 |
Technical Foundations of a DPLL-Based SAT Solver for Propositional Gödel Logic D Guller IEEE Transactions on Fuzzy Systems 26 (1), 84-100, 2018 | 5 | 2018 |
On the Deduction Problem in Gödel and Product Logics D Guller Computational Intelligence, 299-321, 2016 | 5 | 2016 |
Expanding Gödel Logic with Truth Constants and the Equality, Strict Order, Delta Operators D Guller International Joint Conference on Computational Intelligence, 241-269, 2015 | 5 | 2015 |
Unsatisfiable Formulae of Gödel Logic with Truth Constants and Are Recursively Enumerable D Guller Computational Intelligence, 213-234, 2016 | 4 | 2016 |
Unsatisfiable Formulae of Gödel Logic with Truth Constants and 𝜟 Are Recursively Enumerable D Guller Computational Intelligence: International Joint Conference, IJCCI 2014 Rome …, 2015 | 4* | 2015 |
Unsatisfiable Formulae of Gödel Logic with Truth Constants and , , Are Recursively Enumerable D Guller International Conference in Swarm Intelligence, 242-250, 2015 | 4* | 2015 |
Model and fixpoint semantics for fuzzy disjunctive programs with weak similarity D Guller Innovations in Intelligent Systems, 151-202, 2004 | 4 | 2004 |
Automated Deduction in Gödel Logic D Guller ACM Transactions on Computational Logic (TOCL) 19 (3), 18, 2018 | 1 | 2018 |
Semantics for fuzzy disjunctive programs D Guller Proceedings of the WSES Conference: Automation and Information: Theory and …, 2001 | 1 | 2001 |
Erratum to “Binary resolution over Boolean lattices” D Guller Fuzzy Sets and Systems 18 (157), 2540, 2006 | | 2006 |