default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th 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
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.
last updated on 2024-12-26 00:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
