Progress in Artificial Intelligence

1. Front Matter

   PDF

2. Terminological meta-reasoning by reification and multiple contexts

   • Klemens Schnattinger, Udo Hahn, Manfred Klenner

   Pages 1-16

3. A new continuous propositional logic

   • Riccardo Poli, Mark Ryan, Aaron Sloman

   Pages 17-28

4. Super-polynomial speed-ups in proof length by new tautologies

   • Uwe Egly

   Pages 29-40

5. Belief revision in non-monotonic reasoning

   • José Alferes, Luís Moniz Pereira, Teodor C. Przymusinski

   Pages 41-56

6. A new representation of JTMS

   • Truong Quoc Dung

   Pages 57-68

7. The retrieval problem in a concept language with number restrictions

   • Aida Vitória, Margarida Mamede, Luís Monteiro

   Pages 69-82

8. Formalizing local propagation in constraint maintenance systems

   • Gilles Trombettoni

   Pages 83-94

9. A dependency parser of Korean based on connectionist/symbolic techniques

   • Jong -Hyeok Lee, Geunbae Lee

   Pages 95-106

10. A symbiotic approach to arc and path consistency checking

    • Pierre Berlandier

    Pages 107-114

11. Where do intentions come from ?: A framework for goals and intentions adoption, derivation and evolution

    • Graça Gaspar, Helder Coelho

    Pages 115-127

12. A closer look to artificial learning environments

    • Helder Coelho, Augusto Eusébio, Ernesto Costa

    Pages 129-142

13. Building multi-agent societies from descriptions to systems: Inter-layer translations

    • Helder Coelho, Luis Antunes, Luis Moniz

    Pages 143-152

14. GA/TS: A hybrid approach for job shop scheduling in a production system

    • José Ramón Zubizarreta Aizpuru, Javier Arrieta Usunáriz

    Pages 153-164

15. A controlled experiment: Evolution for learning difficult image classification

    • Astro Teller, Manuela Veloso

    Pages 165-176

16. Minimal model complexity search

    • Chris McConnell

    Pages 177-187

17. Characterization of classification algorithms

    • J. Gama, P. Brazdil

    Pages 189-200

18. Neurons, glia and the borderline between subsymbolic and symbolic processing

    • J. G. Wallace, K. Bluff

    Pages 201-211

19. Arguments and defeat in argument-based nonmonotonic reasoning

    • Bart Verheij

    Pages 213-224

20. A preference semantics for ground nonmonotonic modal logics

    • Daniele Nardi, Riccardo Rosati

    Pages 225-235

This book presents the refereed proceedings of the 7th Portuguese Conference on Artificial Intelligence, EPIA'95, held in Funchal, Madeira Island, Portugal, in October 1995.
The 30 revised full papers and the 15 poster presentations included were selected during a highly competitive selection process from a total of 167 submissions from all over the world. Among the topics covered are automated reasoning and theorem proving, belief revision, constraint-based reasoning, distributed artificial intelligence, genetic algorithms, machine learning, neural networks, non-monotonic reasoning, planning and case-based reasoning, qualitative reasoning, robotics and control, and theory of computation.

• Automated Reasoning
• Automatisches Schließen
• Maschinelles Lernen
• Nich-monotones Schließen
• Verteilte Künstliche Intelligenz
• Zwangsbasiertes Schließen
• case-based reasoning
• constraint-based reasoning
• distributed artificial intelligence
• expert system
• genetic algorithms
• knowledge representation
• nonmonotonic reasoning
• optimization
• uncertainty

Policies and ethics