Dusan Guller

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 7

Top Topics

Fuzzy Inference

First Order Logic

Top Venues

IJCCI (Selected Papers)

Publications

Dusan Guller
Hyperresolution for Multi-step Fuzzy Inference in Goedel Logic. CoRR (2023)
Dusan Guller
On Multi-step Fuzzy Inference in Goedel Logic. CoRR (2023)
Dusan Guller
A DPLL Procedure with Dichotomous Branching for Propositional Product Logic. CoRR (2023)
Dusan Guller
Hyperresolution for Gödel logic with truth constants. Fuzzy Sets Syst. 363 (2019)
Dusan Guller
Automated Deduction in Gödel Logic. ACM Trans. Comput. Log. 19 (3) (2018)
Dusan Guller
Technical Foundations of a DPLL-Based SAT Solver for Propositional Gödel Logic. IEEE Trans. Fuzzy Syst. 26 (1) (2018)
Dusan Guller
Hyperresolution for Propositional Product Logic. IJCCI (FCTA) (2016)
Dusan Guller
Expanding Gödel Logic with Truth Constants and the Equality, Strict Order, Delta Operators. IJCCI (Selected Papers) (2015)
Dusan Guller
Unsatisfiable Formulae of Gödel Logic with Truth Constants and , \prec , \Delta Are Recursively Enumerable. ICSI (3) (2015)
Dusan Guller
An Order Hyperresolution Calculus for G\"{o}del Logic with Truth Constants and Equality, Strict Order, Delta. IJCCI (FCTA) (2015)
Dusan Guller
Unsatisfiable Formulae of Gödel Logic with Truth Constants and \varDelta Are Recursively Enumerable. IJCCI (Selected Papers) (2014)
Dusan Guller
An Order Hyperresolution Calculus for Gödel Logic with Truth Constants. IJCCI (FCTA) (2014)
Dusan Guller
A DPLL Procedure for the Propositional Product Logic. IJCCI (2013)
Dusan Guller
An Order Hyperresolution Calculus for Gödel Logic - General First-order Case. IJCCI (2012)
Dusan Guller
A Generalisation of the Hyperresolution Principle to First Order Gödel Logic. IJCCI (Selected Papers) (2012)
Dusan Guller
A DPLL Procedure for the Propositional Gödel Logic. IJCCI (ICFC-ICNC) (2010)
Dusan Guller
On the Satisfiability and Validity Problems in the Propositional Gödel Logic. IJCCI (Selected Papers) (2010)
Dusan Guller
On the refutational completeness of signed binary resolution and hyperresolution. Fuzzy Sets Syst. 160 (8) (2009)
Dusan Guller
Binary resolution over complete residuated Stone lattices. Fuzzy Sets Syst. 159 (9) (2008)
Dusan Guller
Binary resolution over Boolean lattices. Fuzzy Sets Syst. 157 (15) (2006)
Dusan Guller
Erratum to "Binary resolution over Boolean lattices": [Fuzzy Sets and Systems 157 (2006) 2100-2127]. Fuzzy Sets Syst. 157 (18) (2006)
Dusan Guller
Procedural Semantics for Fuzzy Disjunctive Programs on Residuated Lattices. LATIN (2004)
Dusan Guller
Semantics for fuzzy disjunctive programs with similarity. AI&M (2002)
Dusan Guller
Procedural Semantics for Fuzzy Disjunctive Programs. LPAR (2002)
Dusan Guller
Semantics for Fuzzy Disjunctive Programs with Weak Similarity. HIS (2001)