Export 2134 results:
Autor Títol Tipus [ Any(Asc)]
1996
Dellunde P.  1996.  Characterization Theorems for Infinitary Universal Horn Logic. Truth, Logic, Representation and World. :193-199.
Plaza E, Arcos JLluis, Martin F.  1996.  Cooperation Modes among Case-Based Reasoning Agents. Proceedings of the ECAI'96 Workshop on Learning in Distributed AI Systems. :90-99.
Prased M.VNagendr, Plaza E.  1996.  Corporate Memories as Distributed Case Libraries. Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems Workshop. 2:40:1-19.
Sierra C, Godo L, de Mántaras RLópez, Manzano M.  1996.  Descriptive Dynamic Logic and its Applications to Reflexive Architectures. Future Generation computer Systems Journal. 12:157-171.
Meseguer P, Verdaguer A.  1996.  Expert system validation through knowedge base refinement. International Journal of Intelligent Systems. 11:429-462.
Arcos JLluis, Plaza E.  1996.  Inference and reflection in the object-centered representation language Noos. Future Generation Computer Systems Journal.
Levy J.  1996.  Linear Second Order Unification. Lecture Notes in Computer Science. 1103:332-346.
Puyol-Gruart J.  1996.  MILORD II: A Language for Knowledge-Based Systems. Monografies del IIIA - CSIC. 1:238.
Casanovas E, Dellunde P, Jansana R.  1996.  On Elementary Equivalence for Equality-free Logic. Notre Dame Journal of Formal Logic,. 37:506-522.
Plaza E, de Mántaras RLópez, Armengol E.  1996.  On the Importance of Similitude: An Entropy-based Assessment. Lecture Notes in Artificial Intelligence. 1168
Noriega P.  1996.  Reflexiones Pragmáticas en torno al desciframiento del Códice de Santa María Asunción. Butlletí de l'ACIA. 4:7-16..
Dellunde P, Jansana R.  1996.  Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality. The Journal of Symbolic Logic. 61:1242-1260.
Noriega P, Sierra C.  1996.  Towards layered dialogical agents. Lecture Notes in Computer Science. 1193:173-188.
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.