Logics in artificial intelligence : [6th] European Workshop, JELIA '96, Évora, Portugal September 30-October 3, 1996 : proceedings

This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996. The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant...

Täydet tiedot

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Alferes, José Júlio, 1966-
Yhteisötekijä: European workshop on logics in artificial intelligence (Tekijä)
Muut tekijät: Pereira, Luís Moniz, 1947-...., auteur en informatique (Päätoimittaja), Orłowska, Ewa, 1935- (Päätoimittaja)
Aineistotyyppi: Livre numérique
Kieli:Anglais
Julkaistu: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Sarja:Lecture notes in computer science. Lecture notes in artificial intelligence 1126
Aiheet:
Linkit:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Huomautus: 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 '96, Évora, Portugal, September 30-October 3, 1996, proceedings, José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, eds, 1996, New York, Springer, 1 vol. (IX-416 p.), Lecture notes in computer science, 3-540-61630-6
• Logics in Artificial Intelligence, Texte imprimé, 9783662171165
Kuvaus
Yhteenveto:This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996. The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency.
Huomautukset:Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
ISBN:9783540706434 (PDF)
ISSN:1611-3349
2945-9141
Pääsy:Accès en ligne pour les établissements français bénéficiaires des licences nationales
Accès soumis à abonnement pour tout autre établissement
Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017