This volume contains selected papers from the Fifth Portuguese Conference on Artificial Intelligence. Topics include constraints, search, knowledge representation, temporal reasoning, planning, diagnosis and repair, and learning.
Pedro Barahona
Automated Deduction Automated Theorem Proving Automatisches Beweisen Automatisches Schließen Fuzzy Knowledge Representation Learning Lernstrategien Problem Solving Wissensdarstellung artificial intelligence classification intelligence modeling semantics