![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
4th EPIA 1989: Lisbon, Portugal
- João P. Martins, Ernesto M. Morgado:
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
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
- Frank 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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.