Dusan Guller

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