Skip to main content
Springer Nature Link
Log in

Progress in Artificial Intelligence

6th Portuguese Conference on AI, EPIA `93, Porto, Portugal, October 6-8, 1993. Proceedings

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Miguel Filgueiras
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luís Damas
    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 727)

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

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

About this book

This volume presents the proceedings of the 6th Portuguese Conference on Artificial Intelligence, EPIA '93, organized by the Portuguese Artificial Intelligence Association. Like the last two conferences in this series, it was run as an international event with strict requirements as to the quality of accepted submissions. Fifty-one submissions were receivedfrom 9 countries, the largest numbers coming from Portugal (18), Germany (10), and France (8). The volume contains 25 selected papers, together with 7 poster abstracts and one invited lecture: "Organizations as complex, dynamic design problems" by L. Gasser, I. Hulthage, B. Leverich, J. Lieb, and A. Majchrzak, all from the University of Southern California. The papersare grouped into parts on: distributed artificial intelligence, natural language processing, knowledge representation, logic programming, non-standard logics, automated reasoning, constraints, planning, and learning.

Similar content being viewed by others

Keywords

Table of contents (33 papers)

  1. Front Matter

    Download chapter PDF

  2. Organizations as complex, dynamic design problems

    • Les Gasser, Ingemar Hulthage, Brian Leverich, Jon Lieb, Ann Majchrzak
    Pages 1-12

  3. Specifying and verifying distributed Intelligent systems

    • Michael Fisher, Michael Wooldridge
    Pages 13-28

  4. A logical approach for distributed truth maintenance

    • Thilo C. Horstmann
    Pages 29-44

  5. Building text temporal structure

    • Irene Pimenta Rodrigues, José Gabriel Lopes
    Pages 45-60

  6. Resolution of constraints in algebras of rational trees

    • Luis Damas, Nelma Moreira, Sabine Broda
    Pages 61-76

  7. Inheritance in a hierarchy of theories

    • Gabriel David, António Porto
    Pages 77-92

  8. Semantics of interworking knowledge based systems

    • Georg Reichwein, José Fiadeiro
    Pages 93-104

  9. Combining terminological logics with tense logic

    • Klaus Schild
    Pages 105-120

  10. Towards complete answers in concept languages

    • Margarida Mamede, Luís Monteiro
    Pages 121-135

  11. Version space algorithms on hierarchies with exceptions

    • Grigoris Antoniou
    Pages 136-149

  12. Regular languages and a class of logic programs

    • Armando B. Matos
    Pages 150-157

  13. Some results on the complexity of SLD-derivations

    • Armando B. Matos
    Pages 158-169

  14. An or-parallel prolog execution model for a distributed shared memory machine

    • Fernando M. A. Silva
    Pages 170-182

  15. Diagnosis and debugging as contradiction removal in logic programs

    • Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
    Pages 183-197

  16. Well-founded approximations of autoepistemic logic

    • Jürgen Kalinski
    Pages 198-212

  17. A process model for default logic and its realization in logic programming

    • Grigoris Antoniou, Elmar Langetepe
    Pages 213-225

  18. A unified approach to default reasoning and belief revision

    • Maria R. Cravo, João P. Martins
    Pages 226-241

  19. Second order E-matching as a tool for automated theorem proving

    • Régis Curien
    Pages 242-257

  20. Attribute-specific interchangeability in constraint satisfaction problems

    • Alois Haselböck, Markus Stumptner
    Pages 258-270
Back to top

Bibliographic Information

  • Book Title: Progress in Artificial Intelligence

  • Book Subtitle: 6th Portuguese Conference on AI, EPIA `93, Porto, Portugal, October 6-8, 1993. Proceedings

  • Editors: Miguel Filgueiras, Luís Damas

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-57287-2

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1993

  • Softcover ISBN: 978-3-540-57287-9Published: 21 September 1993

  • eBook ISBN: 978-3-540-48036-5Published: 02 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 368

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top