Skip to content
cs-conference-ranking.org

Dusan Guller

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

5

Active years

2001–2016

Best venue rank

C

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2016IJCCIHyperresolution for Propositional Product Logic.Dusan Guller
2015IJCCIAn Order Hyperresolution Calculus for G\"{o}del Logic with Truth Constants and Equality, Strict Order, Delta.Dusan Guller
2015IJCCIExpanding Gdel Logic with Truth Constants and the Equality, Strict Order, Delta Operators.Dusan Guller
2014IJCCIAn Order Hyperresolution Calculus for Gdel Logic with Truth Constants.Dusan Guller
2014IJCCIUnsatisfiable Formulae of Gdel Logic with Truth Constants and \varDelta Are Recursively Enumerable.Dusan Guller
2013IJCCIA DPLL Procedure for the Propositional Product Logic.Dusan Guller
2012IJCCIAn Order Hyperresolution Calculus for Gdel Logic - General First-order Case.Dusan Guller
2012IJCCIA Generalisation of the Hyperresolution Principle to First Order Gdel Logic.Dusan Guller
2010IJCCIA DPLL Procedure for the Propositional Gdel Logic.Dusan Guller
2010IJCCIOn the Satisfiability and Validity Problems in the Propositional Gdel Logic.Dusan Guller
2004LATINProcedural Semantics for Fuzzy Disjunctive Programs on Residuated Lattices.Dusan Guller
2002ISAIMSemantics for fuzzy disjunctive programs with similarity.Dusan Guller
2002LPARProcedural Semantics for Fuzzy Disjunctive Programs.Dusan Guller
2001HISSemantics for Fuzzy Disjunctive Programs with Weak Similarity.Dusan Guller