Edgar Altamirano

According to our database, Edgar Altamirano authored at least 3 papers between 2000 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2001

Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas.

Edgar Altamirano, Gonzalo Escalada-Imaz

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

2000

An Efficient Proof Method for Non-clausal Reasoning.

Edgar Altamirano, Gonzalo Escalada-Imaz

Proceedings of the Foundations of Intelligent Systems, 12th International Symposium, 2000

Finding Tractable Formulas in NNF.

Edgar Altamirano, Gonzalo Escalada-Imaz

Proceedings of the Computational Logic, 2000