6. EPIA 1993: Porto, Portugal

Miguel Filgueiras, Luís Damas (Eds.): 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 BibTeX

@proceedings{DBLP:conf/epia/1993,
  editor    = {Miguel Filgueiras and
               Lu\'{\i}s Damas},
  title     = {Progress in Artificial Intelligence, 6th Portuguese Conference
               on Artificial Intelligence, EPIA '93, Porto, Portugal, October
               6-8, 1993, Proceedings},
  booktitle = {EPIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {727},
  year      = {1993},
  isbn      = {3-540-57287-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Distributed Artifical Intelligence

Les Gasser, Ingemar A. E. Hulthage, Brian Leverich, Jon Lieb, Ann Majchrzak: Organizations as Complex, Dynamic Design Problems. 1-12 BibTeX
Michael Fisher, Michael Wooldridge: Specifying and Verifying Distributed Intelligence Systems. 13-28 BibTeX
Thilo C. Horstmann: A Logical Approach for Distributed Truth Maintenance. 29-44 BibTeX

Natural Language Processing

Irene Pimenta Rodrigues, José Gabriel Lopes: Building Text Temporal Structure. 45-60 BibTeX
Luís Damas, Nelma Moreira, Sabine Broda: Resolution of Constraints in Algebras of Rational Trees. 61-76 BibTeX

Knowledge Representation

Gabriel David, António Porto: Inheritance in a Hierarchy of Theories. 77-92 BibTeX
Georg Reichwein, José Luiz Fiadeiro: Semantics of Interworking Knowledge Based Systems. 93-104 BibTeX
Klaus Schild: Combining Terminological Logics with Tense Logic. 105-120 BibTeX
Margarida Mamede, Luís Monteiro: Towards Complete Answers in Concept Languages. 121-135 BibTeX
Grigoris Antoniou: Version Space Algorithms on Hierarchies with Exceptions. 136-149 BibTeX

Logic Programming

Armando B. Matos: Regular Languages and a Class of Logic Programs. 150-157 BibTeX
Armando B. Matos: Some Results on the Complexity of SLD-Derivations. 158-169 BibTeX
Fernando M. A. Silva: An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine. 170-182 BibTeX
Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Diagnosis and Debugging as Contradiction Removal in Logic Programs. 183-197 BibTeX

Non-standard Logics

Jürgen Kalinski: Well-Founded Approximations of Autoepistemic Logic. 198-212 BibTeX
Grigoris Antoniou, Elmar Langetepe: A Process Model for Default Logic and Its Realization in Logic Programming. 213-225 BibTeX

Automated Reasoning

Maria R. Cravo, João P. Martins: A Unified Approach to Default Reasoning and Belief Revision. 226-241 BibTeX
Régis Curien: Second Order E-Matching as a Tool for Automated Theorem Proving. 242-257 BibTeX

Constraints

Alois Haselböck, Markus Stumptner: Attribute-Specific Interchangeability in Constraint Satisfaction Problems. 258-270 BibTeX
Pierre Berlandier: The Use and Interpretation of Meta Level Constaints. 271-280 BibTeX
Francisco Menezes, Pedro Barahona: Preliminary Formalization of an Incremental Hierarchical Constraint Solver. 281-296 BibTeX
Miguel Filgueiras, Ana Paula Tomás: Fast Methods for Solving Linear Diophantine Equations. 297-306 BibTeX

Planning

Maria Fox, Derek Long: A Note on Chapman`s Modal Truth Criterion. 307-310 BibTeX

Learning

José Luís Ferreira, Ernesto Jorge Costa: Learning Operators While Planning. 311-323 BibTeX
Michael Luck: Evaluating Evidence for Motivated Discovery. 324-339 BibTeX
Eric Auriol: How to Learn in an Incomplete Knowledge Environment: Structured Objects for a Modal Approach. 340-355 BibTeX

Poster Abstracts

Jürgen Giesl, Ingrid Neumann: The Semantics of Rational Contractions. 356 BibTeX
Robert Demolombe: A Uniform Framework for Deductive Database Derivation Strategies. 357 BibTeX
Joaquim Nunes Aparício: Assumption Set Semantics (The Procedures). 358 BibTeX
Stefan Bussmann, Jürgen Müller: Bargaining Agents. 359 BibTeX
Gilles Trombettoni: A Constraint Maintenance Algorithm Based on Value Propagation. 360 BibTeX
Geraldo Lino de Campos, Dimas Trevisan Chbane: A Text-to-Phoneme Translator for the Portuguese Language. 361 BibTeX
Edwin Diday, Paula Brito, E. Mfoumoune: Learning Probabilistic Models by Conceptual Pyramidal Clustering. 362 BibTeX