Skip to main content
SpringerLink
Log in
Book cover

Logics in Artificial Intelligence

European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Craig MacNish
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. David Pearce
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Luís Moniz Pereira
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 838)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: JELIA 1994.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Download chapter PDF

  2. From Carnap's modal logic to autoepistemic logic

    • Georg Gottlob
    Pages 1-18

  3. Compactness properties of nonmonotonic inference operations

    • Heinrich Herre
    Pages 19-33

  4. Around a powerful property of circumscriptions

    • Yves Moinard, Raymond Rolland
    Pages 34-49

  5. The computational value of joint consistency

    • Yannis Dimopoulos
    Pages 50-65

  6. Belief dynamics, abduction, and databases

    • Chandrabose Aravindan, Phan Minh Dung
    Pages 66-85

  7. On the logic of theory base change

    • Mary-Anne Williams
    Pages 86-105

  8. Belief, provability, and logic programs

    • José Júlio Alferes, Luís Moniz Pereira
    Pages 106-121

  9. Revision specifications by means of programs

    • Victor W. Marek, Mirosław Truszczyński
    Pages 122-136

  10. Revision of non-monotonic theories

    • Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle
    Pages 137-151

  11. A complete connection calculus with rigid E-unification

    • Uwe Petermann
    Pages 152-166

  12. Equality and constrained resolution

    • Richard Scherl
    Pages 167-181

  13. Efficient strategies for Automated reasoning in modal logics

    • Stéphane Demri
    Pages 182-197

  14. TAS-D++: Syntactic trees transformations for Automated Theorem Proving

    • Gabriel Aguilera, Inma P. de Guzmán, Manuel Ojeda
    Pages 198-216

  15. A unification of ordering refinements of resolution in classical logic

    • Hans de Nivelle
    Pages 217-230

  16. Two logical dimensions

    • Ewa Orlowska
    Pages 231-231

  17. Prioritized autoepistemic logic

    • Jussi Rintanen
    Pages 232-246

  18. Adding priorities and specificity to default logic

    • Gerhard Brewka
    Pages 247-260

  19. Viewing hypothesis theories as constrained graded theories

    • Philippe Chatalic
    Pages 261-278

  20. Temporal theories of reasoning

    • Joeri Engelfriet, Jan Treur
    Pages 279-299
Back to top

Other volumes

  1. Logics in Artificial Intelligence

Keywords

About this book

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 presentation by Georg Gottlob. The papers point out that, with the depth and maturity of formalisms and methodologies available in AI today, logics provide a formal basis for the study of the whole field of AI. The volume offers sections on nonmonotonic reasoning, automated reasoning, logic programming, knowledge representation, and belief revision.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation