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...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Institution som forfatter: | |
| Andre forfattere: | , |
| 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
1126 |
| 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: | • 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 |
Indholdsfortegnelse:
- 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.