Gonzalo E. Imaz

Proceedings of the Pattern Recognition - 6th Mexican Conference, 2014

2012

Phonetic Unification of Multiple Accents for Spanish and Arabic Languages.

[BibT_eX]

[DOI]

Saad Tanveer

Proceedings of the Pattern Recognition - 4th Mexican Conference, 2012

2011

A hybrid system for reliability centered maintenance\m{1}.

[BibT_eX]

[DOI]

Maliha Saleem Bakhshi

Int. J. Hybrid Intell. Syst., 2011

Diagnosis in Sonogram of Gall Bladder.

[BibT_eX]

[DOI]

Afraz Zahra Syed

Proceedings of the Advances in Artificial Intelligence, 2011

2010

Text-Independent Speaker Identification Using VQ-HMM Model Based Multiple Classifier System.

[BibT_eX]

[DOI]

Ali Zulfiqar

Proceedings of the Advances in Soft Computing, 2010

A Rule Based System for Reliability Centered Maintenance.

[BibT_eX]

[DOI]

B. Maliha Saleem

Proceedings of the 9th Mexican International Conference on Artificial Intelligence, 2010

Sensing WithSense - An Intelligent Interface for Participatory Sensing.

[BibT_eX]

[DOI]

Wasif Tanveer

Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

2009

Contextual awareness based communication and coauthoring proximity in the internet.

[BibT_eX]

[DOI]

Dominique Decouchant

Sonia Mendoza

Expert Syst. Appl., 2009

Collaborative Assistant to Handle MathML Expressions.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2009

2001

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

[BibT_eX]

[DOI]

Edgar Altamirano

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

2000

An Efficient Proof Method for Non-clausal Reasoning.

[BibT_eX]

[DOI]

Edgar Altamirano

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

Finding Tractable Formulas in NNF.

[BibT_eX]

[DOI]

Edgar Altamirano

Proceedings of the Computational Logic, 2000

Complexity Issues in the Davis and Putnam Scheme.

[BibT_eX]

[DOI]

Rodolfo Torres-Velázquez

Proceedings of the Artificial Intelligence: Methodology, 2000

A Temporal Many-Valued Logic for Real Time Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2000

1998

The satisfiability problem in regular CNF-formulas.

[BibT_eX]

[DOI]

Felip Manyà

Ramón Béjar

Soft Comput., 1998

Simplification of Many-Valued Logic Formulas Using Anti-Links.

[BibT_eX]

[DOI]

Bernhard Beckert

Reiner Hähnle

J. Log. Comput., 1998

1997

Algoritmos genéticos genéricos y basados en orden.

[BibT_eX]

[DOI]

Rodolfo Torres-Velázquez

Inteligencia Artif., 1997

1994

The Satisfiability Problem in Multiple-Valued Horn Formulae.

[BibT_eX]

[DOI]

Felip Manyà

Proceedings of the 24th IEEE International Symposium on Multiple-Valued Logic, 1994

Efficient Interpretation of Propositional Multiple-valued Logic Programs.

[BibT_eX]

[DOI]

Felip Manyà

Proceedings of the Advances in Intelligent Computing, 1994

Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based.

[BibT_eX]

Lluís Vila

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1991

A Linear Control Algorithm for a Class of Rule-Based Systems.

[BibT_eX]

[DOI]

Malik Ghallab

J. Log. Program., 1991

1988

A Practically Efficient and Almost Linear Unification Algorithm.

[BibT_eX]

[DOI]