Logics in artificial intelligence : [4th] European Workshop JELIA '94, York, UK, September 5 8, 1994 : proceedings
This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited p...
Salvato in:
| Autore principale: | |
|---|---|
| Ente Autore: | |
| Altri autori: | , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science. Lecture notes in artificial intelligence
838 |
| Soggetti: | |
| Accesso 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 |
| Nota: |
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 '94, York, UK, September 5-8, 1994, proceedings, Craig MacNish, David Pearce, Luís Moniz Pereira (eds.), Berlin, Springer-Verlag, 1994, 1 vol. (IX-413 p.), Lecture notes in computer science, 3-540-58332-7 • Logics in Artificial Intelligence, Texte imprimé, 9783662168349 |
Sommario:
- From Carnap's modal logic to autoepistemic logic
- Compactness properties of nonmonotonic inference operations
- Around a powerful property of circumscriptions
- The computational value of joint consistency
- Belief dynamics, abduction, and databases
- On the logic of theory base change
- Belief, provability, and logic programs
- Revision specifications by means of programs
- Revision of non-monotonic theories
- A complete connection calculus with rigid E-unification
- Equality and constrained resolution
- Efficient strategies for Automated reasoning in modal logics
- TAS-D++: Syntactic trees transformations for Automated Theorem Proving
- A unification of ordering refinements of resolution in classical logic
- Two logical dimensions
- Prioritized autoepistemic logic
- Adding priorities and specificity to default logic
- Viewing hypothesis theories as constrained graded theories
- Temporal theories of reasoning
- Reasoning about knowledge on computation trees
- Prepositional state event logic
- Description Logics with inverse roles, functional restrictions, and n-ary relations
- On the concept of generic object: A nonmonotonic reasoning approach and examples
- Autoepistemic logic of minimal beliefs
- How to use modalities and sorts in Prolog
- Towards resource handling in logic programming: The PPL framework and its semantics
- Extending Horn clause theories by reflection principles.