Export 2127 results:
Autor Títol Tipus [ Any(Asc)]
1995
Sierra C, Godo L, de Mántaras RLópez.  1995.  A Dynamic logic framework for relfective architectures. IJCAI 95 Workshop: On reflection and meta-level architectures and their applications. :94-102.
Dellunde P.  1995.  A finitary 1-equivalential logic not finitely equivalential. Butlletin of the Section of Logic. 24:120-122.
Plaza E.  1995.  Aprender con Inteligencia Artificial. Arbor. 595:119-154.
Plaza E.  1995.  Cases as terms: A feature term approach to the structured representation of cases. Lecture Notes in Artficial Intelligence. 1010:265-276.
Amat J, de Mántaras RLópez, Sierra C.  1995.  Cooperative Automous Low-Cost robots for exploring unknown environments. 4th international Symposium on Experimental Robotics, ISER 95. :28-33.
Armengol E, Plaza E.  1995.  Explanation-based Learning: A Knowledge Level Analysis. AI Review. 9:19-35.
Armengol E, Plaza E.  1995.  Integrating induction in a Case-based Reasoner. Lecture Notes in Artificial Intelligence. 984:3-17.
Godo L, van der Hoek W, Meyer JJules, Sierra C.  1995.  Many valued epistemic states. Application to a reflective architecture MILORD II. Lecture Note in Computer Science. :440-452.
Larrosa J, Meseguer P.  1995.  Optimization-based heuristics for maximal constraint satisfaction. Lecture notes in computer science. 976:103-120.
Arcos JLluis, Plaza E.  1995.  Reflection in Noos: An object-centered representation language for knowledge modelling. IJCAI'95 Workshop: On Reflection and Meta-Level Architecture and their Applications in AI. :1-10.
1994
Armengol E, Plaza E.  1994.  A Knowledge Level Model of Knowledge -Based Reasoning. Lecture Notes in Artificial Intelligence. 837:53-64.
Arcos JLluis, Plaza E.  1994.  A Reflective Architecture for Integrated Memory-Based Learning and Reasoning. Lecture Notes in Artificial Intelligence. 837:289-300.
Levy J.  1994.  The Calculus of Refinements, a Formal Specification Model Based on Inclusions. Universitat Politècnica de Catalunya.
Aamodt A, Plaza E.  1994.  Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches. Artificial Intelligence Communications. 7:39-59.
Robertson DStuart, Agustí-Cullell J, Hesketh J, Levy J.  1994.  Expressing Program Requirements Using Refinement Lattices. Fundamenta Informaticae. 21(3):163–182.
Plaza E, Arcos JLluis.  1994.  Flexible Integration of Multiple Learning Methods into a Problem-Solving Architecture. Lecture Notes in Artificial Intelligence. 784:403-406.
Arcos JLluis, Plaza E.  1994.  Integration of Learning into a Knowledge modelling framework. Lecture Notes in Artificial Intelligence. 867:355-373.
Agustí-Cullell J, Esteva F, García P, Godo L, de Mántaras RLópez, Sierra C.  1994.  Logical multi-valued logics in modular expert systems. Journal of Experimental and Theoretical Artificial Intelligence. 6:303-321.
Godo L, van der Hoek W, Meyer JJules, Sierra C.  1994.  Many valued epistemic states. Application to a reflective architecture MILORD II. 5th International Conference on Information Processing and Management of Uncertainty. IPMU. 2:950-956.
Puyol-Gruart J, Sierra C.  1994.  MILORD II. IV Congreso de la Asociacion española de tecnologia y logica. :353-354.
Sierra C, Godo L.  1994.  On Knowledge base refinement. 14th IMACS World Congress. :1477-1479.
Belmonte MAngel, Sierra C, de Mántaras RLópez.  1994.  RENOIR An Expert System using Fuzzy Logic for rheumatology diagnosis. International Journal of Intelligent Systems. 9:985-1000.
Sierra C.  1994.  Tecniques de programació en inteligència artificial. TIA. 2
Meseguer P, Plaza E.  1994.  The VALID Project: Goals, Development, and Results. International Journal of Intelligent Systems. 9:867-892.
Henández C, Sancho J, Belmonte MAngel, Patak A, Sanz F, Sierra C.  1994.  Validation of the medical Expert Sytem RENOIR. Moving Towards expert systems globally in the 21st century. :510-518.
Henández C, Sancho J, Belmonte MAngel, Sierra C, Sanz F.  1994.  Validation of the medical Expert Sytem RENOIR. Computers and Biomedical Research. 27:456-471.
1993
Plaza E, Arcos JLluis.  1993.  A Reflective Architecture for Integrated Memory-based Learning and Reasoning. EWCBR-93: First European Workshop on Case-Based Reasoning. :329-334.
Levy J, Agustí-Cullell J.  1993.  Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations. Proc. of the 5th Int. Conf. on Rewriting Techniques and Applications, RTA'93.
Besnard P., Clarke M., Delgado M., Dubois D, Fox J., Froidevaux C., de Mántaras RLópez, al. et.  1993.  Defeasible Reasoning and Uncertainty Management Systems. AI Communications. 6:27-46.
Dellunde P.  1993.  El fragmento universal de Horn sin identidad. I Congreso de la Sociedad de Lógica. :36-39.
Robertson DStuart, Agustí-Cullell J, Hesketh J, Levy J.  1993.  Expressing Program Requirements Using Refinement Lattices. Proc. of the 7th Int. Symp. on Metodologies for Intelligent Systems, ISMIS'93.
Hoppe T, Meseguer P.  1993.  On the terminology of VVT: A Proposal. IEEE Expert. :48-55.
Dubois D, Godo L, de Mántaras RLópez, Prade H.  1993.  Qualitative Reasoning with Imprecise Probabilities. Journal of Intelligent Information Systems. 2:319-362.
Plaza E, Arcos JLluis.  1993.  Reflection and Analogy in Memory-based Learning. MSL-93 Second International Workshop on Multistrategy Learning. :42-49.
Belmonte MAngel, Sierra C, de Mántaras RLópez, Sanz F, Sancho J, Miravitlles M.J..  1993.  RENOIR: Development and Validation of an Expert System for Inflamatory Arthropaties and Collagean Diseases. Arthritis and Rheumatism. 36
Plaza E, Arcos JLluis.  1993.  Using Reflection Principles in the Integration of Learning and Problem Solving. ECML-93 Workshop on Integrated Learning Architectures, ILA-93.
1992
Puyol-Gruart J, Godo L, Sierra C.  1992.  A Specialisation Calculus to Improve Expert Systems Communication.
Puyol-Gruart J, Godo L, Sierra C.  1992.  A specialization calculus to improve expert systems communication. 10th European conference on Artificial Intelligence, ECAI. :144-148.
Puyol-Gruart J.  1992.  An inference engine based on specialisation with uncertainty. International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems, IPMU’92. :725-728.
Meseguer P, Plaza E.  1992.  An overview on the VALID project. Personal Computers and Intelligent Systems. III:238-244.
Plaza E.  1992.  Aprendizaje basado en casos y razonamiento aproximado en A.R.C. Nuevas tendencias en Inteligencia Artificial. :225-236.
de Mántaras RLópez, Sierra C, Agustí-Cullell J.  1992.  COLAPSES: A modular architecture and languaje for modelling metacontrol and uncertainty. New Directions for Intelligent Tutoring Systems. :28-37.
Pastor X, Jaureguízar J, Palomeque A, Sierra C.  1992.  Development of a decision support system in a pediatric intensive care unit. LATIDO research project. Intensive Care Medicine. 18
Sierra C.  1992.  Estructuras de control en Inteligencia Artificial. Arquitecturas reflexivas y de meta-nivel. Nuevas tendencias en Inteligencia Artificial. :91-110.