4. EPIA 1989: Lisbon, Portugal

João P. Martins, Ernesto M. Morgado (Eds.): EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings. Lecture Notes in Computer Science 390 Springer 1989, ISBN 3-540-51665-4

@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
Mireille Blay-Fornarino, Anne-Marie Pinna-Dery, Brigitte Trousse: An Original Object-Oriented Approach for Relation Management. 13-26
Gian Piero Zarri: Conceptural Representation Techniques in the Framework of Large Knowledge Based Systems. 27-38
Dario A. Giuse: Efficient Frame Systems. 39-50
Arkady Rabinov: First Order Theories of Quantification. 51-62
Stephen G. Pimentel, John L. Cuadrado: A Horn Clause Theory of Inheritance and Temporal Reasoning. 63-72

Automated Deduction

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

Non-Standard Logics

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

Logic Programming

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

Natural Language Understanding

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

Learning

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

Planning

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

Architectures and Languages

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

Knowledge Engineering

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

Applications

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

Invited Talks

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

Last update Tue Feb 14 03:54:52 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page