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...
Сохранить в:
| Главный автор: | |
|---|---|
| Соавтор: | |
| Другие авторы: | , |
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science. Lecture notes in artificial intelligence
1126 |
| Предметы: | |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
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 |
| LEADER | 04839nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 973252 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15523790X | ||
| 020 | |a 9783540706434 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Alferes, José Júlio, |d 1966- | |
| 245 | 1 | 0 | |a Logics in artificial intelligence : |b [6th] European Workshop, JELIA '96, Évora, Portugal September 30-October 3, 1996 : proceedings |c [edited by] José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 1126 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Hyper tableaux -- An algorithm for the retrieval of unifiers from discrimination trees -- Building proofs or counterexamples by analogy in a resolution framework -- What you always wanted to know about rigid E-unification -- Labelled proofs for quantified modal logic -- A uniform tableaux method for nonmonotonic modal logics -- Design and implementation of diagnostic strategies using modal logic -- A modal action logic based framework for organization specification and analysis -- McCarthy's idea -- Strong and explicit negation in non-monotonic reasoning and logic programming -- Only persistence makes nonmonotonicity monotonous -- Ordering-based representations of rational inference -- Semi-representability of default theories in rational default logic -- A query answering algorithm for Lukaszewicz' general open default theory -- Infinitary default logic for specification of nonmonotonic reasoning -- A system for computing constrained default logic extensions -- The Oz programming model -- An abductive framework for negation in disjunctive logic programming -- Characterizing D-WFS: Confluence and iterated GCWA -- Modules and specifications -- Logic programming with integrity constraints -- Temporal reasoning over linear discrete time -- Similarity saturation for first order linear temporal logic with UNLESS -- Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions -- Informational logic for automated reasoning -- Extensions for open default theories via the domain closure assumption -- Revising and updating using a back-up semantics -- A simple signed system for paraconsistent reasoning. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a 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 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Pereira, Luís Moniz, |d 1947-...., |c auteur en informatique. |4 pbd | |
| 700 | 1 | |a Orłowska, Ewa, |d 1935- |4 pbd | |
| 711 | 2 | |a European workshop on logics in artificial intelligence |n (06 |d :1996 |c :Evora, Portugal). |4 aut | |
| 776 | 0 | |0 026011085 |t Logics in artificial intelligence |o European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996, proceedings |f José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, eds |d 1996 |c New York |n Springer |p 1 vol. (IX-416 p.) |s Lecture notes in computer science |z 3-540-61630-6 | |
| 776 | 0 | |t Logics in Artificial Intelligence |b Texte imprimé |z 9783662171165 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-61630-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-F8S47M54-7 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750627956 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-61630-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753984903 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-61630-6 |z Accès INSA CVL | |
| 997 | |0 973252 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||