Truth maintenance systems : :: SCD d'Orléans

Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings

Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings

The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: - Meta-level control: the...

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Martins, João P.
Müşterek Yazar:	European Conference on Artificial Intelligence (Yazar)
Diğer Yazarlar:	Reinfrank, Michael, 1958- (Yayın yönetmeni)
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seri Bilgileri:	Lecture notes in computer science. Lecture notes in artificial intelligence 515
Konular:	Informatique Intelligence artificielle Systèmes de maintien de la cohérence Actes de congrès
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Truth maintenance systems, ECAI-90 workshop, Stockholm, Sweden, August 6, 1990, proceedings, J.P. Martins, M. Reinfrank (eds.), Berlin, Springer-Verlag, 1991, 1 vol. (VI-177 p.), Lecture notes in computer science, 3-540-54305-8 • Truth Maintenance Systems, Texte imprimé, 9783662204542

Benzer Materyaller

Intelligent agents for telecommunication applications : Third International Workshop, IATA 99, Stockholm, Sweden, August 9-10, 1999 : proceedings
Yazar:: Albayrak, Sahin

Intelligent agents. agent theories, architectures, and languages : ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996 : proceedings
Yazar:: Müller, Jörg P., 1965-

Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings

EPIA 89 : 4th Portuguese conference on artificial intelligence, Lisbon, Portugal, September 26-29, 1989 : proceedings
Yazar:: Martins, João P.

Database and expert systems applications : 9th International Conference, DEXA'98 Vienna, Austria, August 24-28, 1998 : proceedings

Database and expert systems applications : 10th International Conference, DEXA'99, Florence, Italy, August 30-September 3, 1999 : proceedings

Learning robots : 6th European Workshop, EWLR-6, Brighton, England, August 1-2, 1997 : proceedings

Methodologies for intelligent systems : 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15 18, 1993 : proceedings
Yazar:: Komorowski, Jan, 1952-

Uncertainty and intelligent systems : 2nd International conference on information processing and management of uncertainty in knowledge-based systems, IPMU '88, Urbino, Italy, July 4-7, 1988 : proceedings

Intelligent agents : ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands August 8-9, 1994 : proceedings
Yazar:: Wooldridge, Michael J., 1966-

Knowledge based computer systems : International Conference KBCS '89, Bombay, India, December 11-13, 1989 : proceedings
Yazar:: Ramani, Srinivasan, 1939-

Analysis of dynamical and cognitive systems : advanced course, Stockholm, Sweden, August 9-14, 1993 : proceedings

Database and expert systems applications : 5th international conference, DEXA '94, Athens, Greece, September 7-9, 1994 : proceedings

Foundations of intelligent systems : 11th International Symposium, ISMIS 99, Warsaw, Poland, June 8-11, 1999 : proceedings
Yazar:: Ras, Zbigniew W., 1947-

Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings

Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings
Yazar:: Eriksson, Lars-Henrik, 19..-

Dialogue processing in spoken language systems : ECAI'96 workshop, Budapest, Hungary, August 13, 1996 : revised papers
Yazar:: Maier, Elisabeth

Database and expert systems applications : 4th international conference, Prague, Czech Republic, September 6-8, 1993 : proceedings
Yazar:: Lazansky, Jiri, ve diğerleri

Database and expert systems applications : 13th International Conference, DEXA 2002, Aix-en-Provence, France, September 2-6, 2002 : proceedings

Uncertainty in knowledge bases : 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90, Paris, France, July 2-6, 1990 : proceedings

The next generation of information systems : from data to knowledge : a selection of papers presented at Two IJCAI-91 workshops, Sydney, Australia, August 26, 1991
Yazar:: Papazoglou, Michael P., 1953-

Artificial social systems : 4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '92, S. Martino al Cimino, Italy, July 29-31, 1992 : selected papers
Yazar:: Castelfranchi, Cristiano, 1944-

Database and expert systems applications : 15th International Conference, DEXA 2004, Zaragoza, Spain, August 30-September 3, 2004 : proceedings
Yazar:: Galindo, Fernando

Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers
Yazar:: Muggleton, Stephen H.

Progress in case-based reasoning : first United Kingdom workshop, Salford, UK, January 12, 1995 : proceedings
Yazar:: Watson, Ian Duncan, 1960-

Foundations of intelligent systems : 10th international symposium, ISMIS'97, Charlotte, North Carolina, USA October 15-18, 1997 : proceedings
Yazar:: Ras, Zbigniew W., 1947-

Database and expert systems applications : 6th International Conference, DEXA '95, London, United Kingdom, September 1995 : proceedings

Cooperative information agents III : Third International Workshop, CIA 99, Uppsala, Sweden, July 31 August 2, 1999 : proceedings

Advances in case-based reasoning : Third European Workshop EWCBR-96 Lausanne, Switzerland, November 14-16, 1996 : proceedings
Yazar:: Smith, Ian F. C.

Multi-agent systems : methodologies and applications : second Australian Workshop on Distributed Artificial Intelligence, Cairns, QLD, Australia, August 27, 1996 : selected papers
Yazar:: Zhang, Chengqi, 1957-

Distributed reason maintenance for multiagent systems
Yazar:: Kraetzschmar, Gerhard

Methodologies for intelligent systems : 6th International Symposium, ISMIS '91, Charlotte, N. C., USA, October 16 19, 1991 : proceedings
Yazar:: Ras, Zbigniew W., 1947-

Natural language processing and information systems : 6th International Conference on Applications of Natural Language to Information Systems, NLDB 2002, Stockholm, Sweden, June 27 28, 2002 : revised papers

Foundations of intelligent systems : 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003 : proceedings

Information systems and artificial intelligence : integration aspects : first workshop, Ulm, FRG, March 19-21, 1990 : proceedings

Database and expert systems applications : 12th international conference, DEXA 2001, Munich, Gemany, September 3-5, 2001 : proceedings

Database and expert systems applications : 7th International Conference, DEXA '96 Zurich, Switzerland, September 9 13, 1996 : proceedings

Database and expert systems applications : 11th international conference, DEXA 2000, London, UK, September 4-8, 2000 : proceedings

System development and Ada : CRAI Workshop on software factories and Ada, Capri, Italy, May 26 30, 1986 : proceedings

Eurofuse 2011 : workshop on fuzzy methods for knowledge-based systems

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales