![]() | ![]() |
| 2001 | ||
|---|---|---|
| 3 | Edgar Altamirano, Gonzalo Escalada-Imaz: Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas. ECSQARU 2001: 792-804 | |
| 2000 | ||
| 2 | Edgar Altamirano, Gonzalo Escalada-Imaz: Finding Tractable Formulas in NNF. Computational Logic 2000: 493-507 | |
| 1 | Edgar Altamirano, Gonzalo Escalada-Imaz: An Efficient Proof Method for Non-clausal Reasoning. ISMIS 2000: 534-542 | |
| 1 | Gonzalo Escalada-Imaz | [1] [2] [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page