default search action
6th EPIA 1993: Porto, Portugal
- Miguel Filgueiras, Luís Damas:
Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings. Lecture Notes in Computer Science 727, Springer 1993, ISBN 3-540-57287-2
Distributed Artifical Intelligence
- Les Gasser, Ingemar A. E. Hulthage, Brian Leverich, Jon Lieb, Ann Majchrzak:
Organizations as Complex, Dynamic Design Problems. 1-12 - Michael Fisher, Michael J. Wooldridge:
Specifying and Verifying Distributed Intelligence Systems. 13-28 - Thilo C. Horstmann:
A Logical Approach for Distributed Truth Maintenance. 29-44
Natural Language Processing
- Irene Pimenta Rodrigues
, José Gabriel Lopes
Building Text Temporal Structure. 45-60 - Luís Damas, Nelma Moreira
Resolution of Constraints in Algebras of Rational Trees. 61-76
Knowledge Representation
- Gabriel David
Inheritance in a Hierarchy of Theories. 77-92 - Georg Reichwein, José Luiz Fiadeiro:
Semantics of Interworking Knowledge Based Systems. 93-104 - Klaus Schild:
Combining Terminological Logics with Tense Logic. 105-120 - Margarida Mamede, Luís Monteiro:
Towards Complete Answers in Concept Languages. 121-135 - Grigoris Antoniou:
Version Space Algorithms on Hierarchies with Exceptions. 136-149
Logic Programming
- Armando B. Matos:
Regular Languages and a Class of Logic Programs. 150-157 - Armando B. Matos:
Some Results on the Complexity of SLD-Derivations. 158-169 - Fernando M. A. Silva
An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine. 170-182 - Luís Moniz Pereira, Carlos Viegas Damásio
Diagnosis and Debugging as Contradiction Removal in Logic Programs. 183-197
Non-standard Logics
- Jürgen Kalinski:
Well-Founded Approximations of Autoepistemic Logic. 198-212 - Grigoris Antoniou, Elmar Langetepe:
A Process Model for Default Logic and Its Realization in Logic Programming. 213-225
Automated Reasoning
- Maria R. Cravo, João P. Martins:
A Unified Approach to Default Reasoning and Belief Revision. 226-241 - Régis Curien:
Second Order E-Matching as a Tool for Automated Theorem Proving. 242-257
Constraints
- Alois Haselböck
Attribute-Specific Interchangeability in Constraint Satisfaction Problems. 258-270 - Pierre Berlandier:
The Use and Interpretation of Meta Level Constaints. 271-280 - Francisco Menezes, Pedro Barahona:
Preliminary Formalization of an Incremental Hierarchical Constraint Solver. 281-296 - Miguel Filgueiras, Ana Paula Tomás
Fast Methods for Solving Linear Diophantine Equations. 297-306
Planning
- Maria Fox, Derek Long:
A Note on Chapman's Modal Truth Criterion. 307-310
Learning
- José Luís Ferreira, Ernesto Jorge Costa:
Learning Operators While Planning. 311-323 - Michael Luck
Evaluating Evidence for Motivated Discovery. 324-339 - Eric Auriol:
How to Learn in an Incomplete Knowledge Environment: Structured Objects for a Modal Approach. 340-355
Poster Abstracts
- Jürgen Giesl
The Semantics of Rational Contractions. 356 - Robert Demolombe:
A Uniform Framework for Deductive Database Derivation Strategies. 357 - Joaquim Nunes Aparício:
Assumption Set Semantics (The Procedures). 358 - Stefan Bussmann, Jürgen Müller:
Bargaining Agents. 359 - Gilles Trombettoni:
A Constraint Maintenance Algorithm Based on Value Propagation. 360 - Geraldo Lino de Campos, Dimas Trevisan Chbane:
A Text-to-Phoneme Translator for the Portuguese Language. 361 - Edwin Diday, Paula Brito
Learning Probabilistic Models by Conceptual Pyramidal Clustering. 362
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-19 22:18 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: