Abstract is missing.
- A Pragmatic Look at Artificial Intelligence Or: The Proper Proper Treatment of ConnectionismJacob L. Mey. 1-12
- An Original Object-Oriented Approach for Relation ManagementMireille Blay-Fornarino, Anne-Marie Pinna-Dery, Brigitte Trousse. 13-26
- Conceptural Representation Techniques in the Framework of Large Knowledge Based SystemsGian Piero Zarri. 27-38
- Efficient Frame SystemsDario A. Giuse. 39-50
- First Order Theories of QuantificationArkady Rabinov. 51-62
- A Horn Clause Theory of Inheritance and Temporal ReasoningStephen G. Pimentel, John L. Cuadrado. 63-72
- Explicit Context-Based Blackboards Enhancing Blackboard Systems PerformanceCheng-Seen Ho. 73-84
- Reasoning with the UnknownNuno J. Mamede, Carlos A. Pinto-Ferreira, João P. Martins. 85-96
- Path-Based Inference in SNeBrMaria R. Cravo, João P. Martins. 97-106
- Relevant CounterfactualsLuís Moniz Pereira, Joaquim Nunes Aparício. 107-118
- Non-monotonic Reasoning with the ATMSF. Zetzsche. 119-128
- On the Classification and Existence of Structures in Default LogicAidong Zhang, V. Wiktor Marek. 129-140
- Inscription - A Rule of ConjectureCarlos A. Pinto-Ferreira, João P. Martins. 141-150
- Algorithmic Debugging of Prolog Side-EffectsLuís Moniz Pereira, Miguel Calejo. 151-162
- Cooperating Rewrite Processes RevisitedMiguel Filgueiras. 163-174
- CLG: A Grammar Formalism Based on Constraint ReslutionLuís Damas, Giovanni B. Varile. 175-186
- Some Comments on a Logic Programming Approach to Natural Language SemanticsAna Paula Tomás, Miguel Filgueiras. 187-197
- Semantic Analysis of Time and Tense in Natural Language: An ImplementationNelma Moreira. 198-209
- Extra-sentential Dependencies, Meaning Representation, and GenericsTomek Strzalkowski. 210-221
- Enhancing Text Quality ina Question-Answering SystemClarisse Sieckenius de Souza, Donia Scott, Maria das Graças Volpe Nunes. 222-233
- A Knowledge-Based System to Synthesize FP Programs from ExamplesHong Zhu, Lingzi Jin. 234-245
- A Path Planner for the Cutting of Nested Irregular LayoutsJosé Távora, Helder Coelho. 246-256
- Reasoning Objects with Dynamic Knowledge BasesChristoph Welsch, Gerhard Barth. 257-268
- PROSE: A Constraint Language with Control StructuresPierre Berlandier. 269-275
- An External Database for PrologJosé Paulo Leal. 276-285
- Non Exact MatchingHarald Kjellin, Bassam Michel El-Khouri. 286-296
- RDA: The Risk Advisor Expert SystemGeorge C. McGregor. 297-307
- Run-Through Algorithms for Applications of Autonomous Mobile RobotsWeiqing Tian. 308-319
- Events, Situations, and AdverbsRobert C. Moore. 320-332
- LING2: A System for InductionAntónio G. Portela. 333-347
- Logical Foundations of Nonmonotonic Truth MaintencanceMichael Reinfrank. 348-361
- The CASSIE Projects: An Approach to Natural Language CompetenceStuart C. Shapiro. 362-380
- Knowledge Acquisition by Teachable SystemsJohn F. Sowa. 381-396