Luis M. Laita

José-Antonio Alonso

Math. Comput. Simul., 2011

A Polynomial Model for Logics with a Prime Power Number of Truth Values.

[BibT_eX]

[DOI]

J. Autom. Reason., 2011

2010

An algebraic approach to Parkinson disease diagnosis.

[BibT_eX]

[DOI]

Carlos Rodríguez-Solano

Expert Syst. Appl., 2010

2009

Evolution of railway network flexibility: The Spanish broad gauge case.

[BibT_eX]

[DOI]

Michael J. Wester

José Luis Ruiz-Lozano

Carlos Roncero

Math. Comput. Simul., 2009

Showing the non-existence of solutions in systems of linear Diophantine equations.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2009

A Groebner bases-based approach to backward reasoning in rule based expert systems.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2009

2008

A system simulating representation change phenomena while problem solving.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2008

Knowledge representation for diagnosis of care problems through an expert system: Model of the auto-care deficit situations.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2008

A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

An Approach to Representation Changes While Executing Problem Solver Intelligent Systems.

[BibT_eX]

[DOI]

Proceedings of the Six IEEE International Conference on Cognitive Informatics, 2007

2006

A computational system for diagnosis of depressive situations.

[BibT_eX]

[DOI]

Carlos Rodríguez-Solano

Luis López-Corral

Expert Syst. Appl., 2006

2005

<i>Meta-Petro</i>: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies.

[BibT_eX]

[DOI]

R. García

Alfredo Aparicio Yagüe

Proceedings of the Computer Algebra in Scientific Computing, 8th International Workshop, 2005

2004

An accelerated-time simulation of departing passengers' flow in airport terminals.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2004

Some applications of Grobner bases.

[BibT_eX]

[DOI]

Comput. Sci. Eng., 2004

The geometry of algebraic systems and their exact solving using Grobner bases.

[BibT_eX]

[DOI]

Comput. Sci. Eng., 2004

A Rule-Based Knowledge System for Diagnosis of Mental Retardation.

[BibT_eX]

[DOI]

R. Sánchez-Morgado

Proceedings of the Biological and Medical Data Analysis, 5th International Symposium, 2004

An Expert System on Detection, Evaluation and Treatment of Hypertension.

[BibT_eX]

[DOI]

E. López-Vidriero Jr.

E. López-Vidriero

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003

An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma.

[BibT_eX]

[DOI]

I. Rodríguez-Daza

Proceedings of the Medical Data Analysis, 4th International Symposium, 2003

2002

A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2002

A logic and computer algebra-based expert system for diagnosis of anorexia.

[BibT_eX]

[DOI]

Cristina Pérez-Carretero

Luis Lázaro

Jesús González-Cajal

Math. Comput. Simul., 2002

A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis.

[BibT_eX]

[DOI]

Begoña Herrero

Proceedings of the Artificial Intelligence, 2002

2001

A Methodology for Constructing Expert Systems for Medical Diagnosis.

[BibT_eX]

[DOI]

G. González-Páez

Proceedings of the Medical Data Analysis, Second International Symposium, 2001

A Method of Logic Deduction and Verification in KBS Using Positive Integers.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing, 2001

A Computer Algebra Approach to Relational Systems Using Gröbner Bases.

[BibT_eX]

[DOI]

Juliette Dibie-Barthélemy

Tomasa Calvo

León González-Sotos

Proceedings of the Relational Methods in Computer Science, 2001

2000

Validation and verification of knowledge-based systems: report on EUROVAV99.

[BibT_eX]

[DOI]

Frans Coenen

Trevor J. M. Bench-Capon

Robin Boswell

Knowl. Eng. Rev., 2000

A New Computerized Method to Verify and Disseminate Medical Appropriateness Criteria.

[BibT_eX]

[DOI]

José Crespo

Juan Rodríguez-Pedrosa

Proceedings of the Medical Data Analysis, First International Symposium, 2000

George Boole, a Forerunner of Symbolic Computation.

[BibT_eX]

[DOI]

Alberto Brunori

Proceedings of the Artificial Intelligence and Symbolic Computation, 2000

1999

A computer algebra approach to verification and deduction in many-valued knowledge systems.

[BibT_eX]

[DOI]

José-Antonio Alonso

Soft Comput., 1999

Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria.

[BibT_eX]

Proceedings of the Validation and Verification of Knowledge Based Systems, 1999

Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, 1999

1998

An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra.

[BibT_eX]

[DOI]

Proceedings of the Tasks and Methods in Applied Artificial Intelligence, 1998

Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

1997

A Computational Approach to George Boole's Discovery of Mathematical Logic.

[BibT_eX]

[DOI]

Artif. Intell., 1997

1996

An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

1994

A formal model for knowledge-based systems verification.

[BibT_eX]

[DOI]

Julia Couto

Alejandro Fernández-Margarit

Int. J. Intell. Syst., 1994

An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus.

[BibT_eX]

[DOI]

Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994

1993

A Formal Study of Forward Reasoning Consistency on KBSs.

[BibT_eX]

Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, 1993

1991

A Formal Study of Consistency of KBSs.

[BibT_eX]

Julia Couto

Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, 1991

1987

N-Categories in Logic.

[BibT_eX]

[DOI]

Agustin Riscos

Math. Log. Q., 1987

Abraham Robinson's Meta-Algebra Revisited.

[BibT_eX]

[DOI]

Alejandro Margarit

Math. Log. Q., 1987

1976

A study of algebraic logic from the point of view of category theory.

[BibT_eX]

[DOI]