EPIA 91 : 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings

The Portuguese Association for Artificial Intelligence has been organizing Portuguese Conferences on Artificial Intelligence, now held every second year, since 1985. This volume contains selected papers from the Fifth Conference on Artificial Intelligence. The conference has an international status:...

全面介绍

Enregistré dans:
书目详细资料
主要作者: Barahona, Pedro, 1954-
企业作者: Portuguese conference on artificial intelligence (Auteur)
其他作者: Pereira, Luís Moniz, 1947-...., auteur en informatique (Directeur de la publication), Porto, António, 1952- (Directeur de la publication)
格式: Livre numérique
语言:Anglais
出版: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
丛编:Lecture notes in computer science. Lecture notes in artificial intelligence 541
主题:
在线阅读:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
提示: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• EPIA '91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, proceedings, P. Barahona, L. Moniz Pereira, A. Porto (eds.), Berlin, Springer-Verlag, 1991, 1 vol. (viii, 292 p.), Lecture notes in computer science, 3-540-54535-2
• EPIA'91, Texte imprimé, 9783662171257
书本目录:
  • Solving linear constraints on finite domains through parsing
  • Constraint solving in finite domains under user control
  • A new method for solving linear constraints on the natural numbers
  • A constraint-based fuzzy inference system
  • A constraint-based language for querying taxonomic systems
  • Heuristic parsing and search space pruning
  • Wave-shaping in multiprocessor bidirectional heuristic state space search
  • The extended stable models of contradiction removal semantics
  • Modeling a rational cognitive agent in SNePS
  • Semantics of property inheritance in a hierarchic system with explicit negation
  • Time in confluences: Dealing with delays for consistency-checking
  • A temporal representation for imperatively structured plans of actions
  • Maximal intervals: An approach to temporal reasoning
  • Consistency driven planning
  • An efficient approach to planning in assembly tasks
  • Towards a theory of the repair process
  • Declarative source debugging
  • A neural approach to data compression and classification
  • Generalization for a propositional calculus: a constraints-based approach
  • Adaptive learning using a qualitative feedback loop.