4. EPIA 1989: Lisbon, Portugal

@proceedings{DBLP:conf/epia/1989,
  editor    = {Jo{\~a}o P. Martins and
               Ernesto M. Morgado},
  title     = {EPIA 89, 4th Portuguese Conference on Artificial Intelligence,
               Lisbon, Portugal, September 26-29, 1989, Proceedings},
  booktitle = {EPIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {390},
  year      = {1989},
  isbn      = {3-540-51665-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Knowledge Representation

• Jacob L. Mey: A Pragmatic Look at Artificial Intelligence Or: The Proper Proper Treatment of Connectionism. 1-12 BibTeX
• Mireille Blay-Fornarino, Anne-Marie Pinna-Dery, Brigitte Trousse: An Original Object-Oriented Approach for Relation Management. 13-26 BibTeX
• Gian Piero Zarri: Conceptural Representation Techniques in the Framework of Large Knowledge Based Systems. 27-38 BibTeX
• Dario A. Giuse: Efficient Frame Systems. 39-50 BibTeX
• Arkady Rabinov: First Order Theories of Quantification. 51-62 BibTeX
• Stephen G. Pimentel, John L. Cuadrado: A Horn Clause Theory of Inheritance and Temporal Reasoning. 63-72 BibTeX

Automated Deduction

• Cheng-Seen Ho: Explicit Context-Based Blackboards Enhancing Blackboard Systems Performance. 73-84 BibTeX
• Nuno J. Mamede, Carlos A. Pinto-Ferreira, João P. Martins: Reasoning with the Unknown. 85-96 BibTeX
• Maria R. Cravo, João P. Martins: Path-Based Inference in SNeBr. 97-106 BibTeX
• Luís Moniz Pereira, Joaquim Nunes Aparício: Relevant Counterfactuals. 107-118 BibTeX

Non-Standard Logics

• F. Zetzsche: Non-monotonic Reasoning with the ATMS. 119-128 BibTeX
• Aidong Zhang, V. Wiktor Marek: On the Classification and Existence of Structures in Default Logic. 129-140 BibTeX
• Carlos A. Pinto-Ferreira, João P. Martins: Inscription - A Rule of Conjecture. 141-150 BibTeX

Logic Programming

• Luís Moniz Pereira, Miguel Calejo: Algorithmic Debugging of Prolog Side-Effects. 151-162 BibTeX

Natural Language Understanding

• Miguel Filgueiras: Cooperating Rewrite Processes Revisited. 163-174 BibTeX
• Luís Damas, Giovanni B. Varile: CLG: A Grammar Formalism Based on Constraint Reslution. 175-186 BibTeX
• Ana Paula Tomás, Miguel Filgueiras: Some Comments on a Logic Programming Approach to Natural Language Semantics. 187-197 BibTeX
• Nelma Moreira: Semantic Analysis of Time and Tense in Natural Language: An Implementation. 198-209 BibTeX
• Tomek Strzalkowski: Extra-sentential Dependencies, Meaning Representation, and Generics. 210-221 BibTeX
• Clarisse Sieckenius de Souza, Donia Scott, Maria das Graças Volpe Nunes: Enhancing Text Quality ina Question-Answering System. 222-233 BibTeX

Learning

• Hong Zhu, Lingzi Jin: A Knowledge-Based System to Synthesize FP Programs from Examples. 234-245 BibTeX

Planning

• José Távora, Helder Coelho: A Path Planner for the Cutting of Nested Irregular Layouts. 246-256 BibTeX

Architectures and Languages

• Christoph Welsch, Gerhard Barth: Reasoning Objects with Dynamic Knowledge Bases. 257-268 BibTeX
• Pierre Berlandier: PROSE: A Constraint Language with Control Structures. 269-275 BibTeX
• José Paulo Leal: An External Database for Prolog. 276-285 BibTeX

Knowledge Engineering

• Harald Kjellin, Bassam Michel El-Khouri: Non Exact Matching. 286-296 BibTeX
• George C. McGregor: RDA: The Risk Advisor Expert System. 297-307 BibTeX

Applications

• Weiqing Tian: Run-Through Algorithms for Applications of Autonomous Mobile Robots. 308-319 BibTeX

Invited Talks

• Robert C. Moore: Events, Situations, and Adverbs. 320-332 BibTeX
• António G. Portela: LING2: A System for Induction. 333-347 BibTeX
• Michael Reinfrank: Logical Foundations of Nonmonotonic Truth Maintencance. 348-361 BibTeX
• Stuart C. Shapiro: The CASSIE Projects: An Approach to Natural Language Competence. 362-380 BibTeX
• John F. Sowa: Knowledge Acquisition by Teachable Systems. 381-396 BibTeX