Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26 28, 1995 : proceedings

This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferen...

Fuld beskrivelse

Enregistré dans:
Bibliografiske detaljer
Hovedforfatter: Marek, Victor W., 1943-
Institution som forfatter: International Conference on Logic Programming and NonMonotonic Reasoning (Auteur)
Andre forfattere: Nerode, Anil, 1932- (Directeur de la publication), Truszczyński, Mirosław, 1955- (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 928
Fag:
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:• Logic programming and non-monotonic reasoning, third international conference, LPNMR '95, Lexington, KY, USA, June 24-26, 1995, proceedings, W.M. Marek, A. Nerode, M. Truszczyński, eds, Berlin, Springer Verlag, 1995, 1 vol. (VIII-415 p.), Lecture notes in computer science, 3-540-59487-6
• Logic Programming and Nonmonotonic Reasoning, Texte imprimé, 9783662192351
Beskrivelse
Summary:This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest.
Emne beskrivelse:Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
ISBN:9783540492825 (PDF)
ISSN:1611-3349
2945-9141
Adgang: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