 | 2010 |
|---|
| 11 |       | Dusan Guller:
A DPLL Procedure for the Propositional Gödel Logic.
IJCCI (ICFC-ICNC) 2010: 31-42 |
| 10 |  | Dusan Guller:
On the Satisfiability and Validity Problems in the Propositional Gödel Logic.
IJCCI (Selected Papers) 2010: 211-227 |
| 2009 |
|---|
| 9 | | Dusan Guller:
On the refutational completeness of signed binary resolution and hyperresolution.
Fuzzy Sets and Systems 160(8): 1162-1176 (2009) |
| 2008 |
|---|
| 8 | | Dusan Guller:
Binary resolution over complete residuated Stone lattices.
Fuzzy Sets and Systems 159(9): 1031-1041 (2008) |
| 2006 |
|---|
| 7 | | Dusan Guller:
Binary resolution over Boolean lattices.
Fuzzy Sets and Systems 157(15): 2100-2127 (2006) |
| 6 | | Dusan Guller:
Erratum to "Binary resolution over Boolean lattices": [Fuzzy Sets and Systems 157 (2006) 2100-2127].
Fuzzy Sets and Systems 157(18): 2540 (2006) |
| 2004 |
|---|
| 5 | | Dusan Guller:
Procedural Semantics for Fuzzy Disjunctive Programs on Residuated Lattices.
LATIN 2004: 519-529 |
| 2002 |
|---|
| 4 | | Dusan Guller:
Semantics for fuzzy disjunctive programs with similarity.
AMAI 2002 |
| 3 | | Dusan Guller:
Semantics for fuzzy disjunctive programs with similarity.
ISAIM 2002 |
| 2 | | Dusan Guller:
Procedural Semantics for Fuzzy Disjunctive Programs.
LPAR 2002: 247-261 |
| 2001 |
|---|
| 1 | | Dusan Guller:
Semantics for Fuzzy Disjunctive Programs with Weak Similarity.
HIS 2001: 285-299 |
Data released under the ODC-BY 1.0 license — See also our legal information page