Logics in artificial intelligence : :: SCD d'Orléans

Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings

Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings

Enregistré dans:

Bibliografiske detaljer
Institution som forfatter:	European workshop on logics in artificial intelligence :Malaga, Espagne
Andre forfattere:	Brewka, Gerhard, 1955- (Directeur de la publication), Perez de Guzmán, Inmaculada (Directeur de la publication), Ojeda-Aciego, Manuel, 1967- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science. Lecture notes in artificial intelligence 1919
Fag:	Informatique Ordinateurs Intelligence artificielle Logique symbolique et mathématique Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logics in artificial intelligence, European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000, proceedings, Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, ... [et al.], eds, 2000, New York, Springer, 1 vol. (XI-406 p.), Lecture notes in computer science, 3-540-41131-3 • Logics in Artificial Intelligence, Texte imprimé, 9783662203910

Lignende værker

Logics in artificial intelligence : 8th European Conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : Proceedings

Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
af: Alferes, José Júlio, 1966-

Logics in artificial intelligence : European Workshop, JELIA 98, Dagstuhl, Germany, October 12 15, 1998 : proceedings

Logics in artificial intelligence : [6th] European Workshop, JELIA '96, Évora, Portugal September 30-October 3, 1996 : proceedings
af: Alferes, José Júlio, 1966-

Logics in artificial intelligence : [4th] European Workshop JELIA '94, York, UK, September 5 8, 1994 : proceedings
af: MacNish, Craig, 19..-

Logics in AI : European Workshop JELIA'92, Berlin, Germany, September 7 10, 1992 : proceedings
af: Pearce, David A, 1952-

Computational logic - CL 2000 : First International Conference, London, UK, July 24 28, 2000 : proceedings

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Fuzzy logic in artificial intelligence : IJCAI 97 workshop, Nagoya, Japan, August 23-24, 1997 : selected and invited papers
af: Ralescu, Anca

Distributed artificial intelligence : architecture and modelling : First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995 : proceedings
af: Zhang, Chengqi, 1957-

Fuzzy logic in artificial intelligence : 8th Austrian Artificial Intelligence Conference, FLAI '93, Linz, Austria, June 28-30, 1993 : proceedings
af: Klement, Erich Peter

Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings

Logics in AI : [2nd] European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 14, 1990 : proceedings
af: Eijck, Jan van, informaticien

Advances in artificial intelligence : SBIA 2004 : 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29-October 1, 2004 : proceedings

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20 22, 1995 : proceedings

Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995 : selected papers
af: Martin, Trevor P., 1957-

Logic based program synthesis and transformation : 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29 April 1, 1993 Proceedings

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
af: Dyckhoff, Roy, 1948-

Fundamentals of artificial intelligence research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991 : proceedings
af: Jorrand, Philippe, 19..-...., informaticien

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

Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR 99, Venice, Italy, September 22-24, 1999 : selected papers

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11 14, 1994 : proceedings
af: Gabbay, Dov M., 1945-

Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings

Programming language implementation and logic programming : 6th International Symposium, PLILP '94 Madrid, Spain, September 14 16, 1994 : proceedings

Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28 30, 2001 : Selected papers

Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR 98 Manchester, UK, June 15 19, 1998 : selected papers

Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9 11, 2001 : proceedings

Computer science logic : 14th International Workshop, CSL 2000 : [9th] Annual Conference of the EACSL, Fischbachau, Germany, August 21 26, 2000 : proceedings

Logic programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 August 1, 2002 : proceedings

Logic programming and knowledge representation : Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers

Advances in artificial intelligence : 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002 : proceedings

The logic of theory change : workshop, Konstanz, FRG, October 13 15, 1989 : proceedings
af: Fuhrmann, André

© 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