Progress in Artificial Intelligence

1. Front Matter

   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

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.

• Distributed Artificial Intelligence
• Knowledge Representation
• Logic Programming
• Logisches Programmieren
• Natural Language Processing
• Natürlichsprachliche Verarbeitung
• Nicht-Standard Logiken
• Verteilte künstliche Intelligenz
• algorithms
• automated reasoning
• automated theorem proving
• complexity
• intelligence
• natural language
• programming

Policies and ethics