Progress in artificial intelligence : 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6-8, 1993 : proceedings

This volume presents the proceedings of the 6th Portuguese Conference on Artificial Intelligence, EPIA '93, organized by the Portuguese Artificial Intelligence Association. Like the last two conferences in this series, it was run as an international event with strict requirements as to the quality of accepted submissions. Fifty-one submissions were receivedfrom 9 countries, the largest numbers coming from Portugal (18), Germany (10), and France (8). The volume contains 25 selected papers, together with 7 poster abstracts and one invited lecture: "Organizations as complex, dynamic design problems" by L. Gasser, I. Hulthage, B. Leverich, J. Lieb, and A. Majchrzak, all from the University of Southern California. The papersare grouped into parts on: distributed artificial intelligence, natural language processing, knowledge representation, logic programming, non-standard logics, automated reasoning, constraints, planning, and learning. Organizations as complex, dynamic design problems....Pages 1-12 Specifying and verifying distributed Intelligent systems....Pages 13-28 A logical approach for distributed truth maintenance....Pages 29-44 Building text temporal structure....Pages 45-60 Resolution of constraints in algebras of rational trees....Pages 61-76 Inheritance in a hierarchy of theories....Pages 77-92 Semantics of interworking knowledge based systems....Pages 93-104 Combining terminological logics with tense logic....Pages 105-120 Towards complete answers in concept languages....Pages 121-135 Version space algorithms on hierarchies with exceptions....Pages 136-149 Regular languages and a class of logic programs....Pages 150-157 Some results on the complexity of SLD-derivations....Pages 158-169 An or-parallel prolog execution model for a distributed shared memory machine....Pages 170-182 Diagnosis and debugging as contradiction removal in logic programs....Pages 183-197 Well-founded approximations of autoepistemic logic....Pages 198-212 A process model for default logic and its realization in logic programming....Pages 213-225 A unified approach to default reasoning and belief revision....Pages 226-241 Second order E-matching as a tool for automated theorem proving....Pages 242-257 Attribute-specific interchangeability in constraint satisfaction problems....Pages 258-270 The use and interpretation of meta level constraints....Pages 271-280 Preliminary formalization of an incremental hierarchical constraint solver....Pages 281-296 Fast methods for solving linear diophantine equations....Pages 297-306 A note on Chapman's Modal Truth Criterion....Pages 307-310 Learning operators while planning....Pages 311-323 Evaluating evidence for motivated discovery....Pages 324-339 How to learn in an incomplete knowledge environment: Structured objects for a modal approach....Pages 340-355 The semantics of rational contractions....Pages 356-356 A uniform framework for Deductive Database derivation strategies....Pages 357-357 Assumption set semantics (The procedures)....Pages 358-358 Bargaining agents....Pages 359-359 A constraint maintenance algorithm based on value propagation....Pages 360-360 A text-to-phoneme translator for the Portuguese language....Pages 361-361 Learning probabilistic models by conceptual pyramidal clustering....Pages 362-362

This volume presents the proceedings of the 6th Portuguese Conference on Artificial Intelligence, EPIA '93, organized by the Portuguese Artificial Intelligence Association. Like the last two conferences in this series, it was run as an international event with strict requirements as to the quality of accepted submissions. Fifty-one submissions were receivedfrom 9 countries, the largest numbers coming from Portugal (18), Germany (10), and France (8).
The volume contains 25 selected papers, together with 7
poster abstracts and one invited lecture: Organizations as complex, dynamic design problems by L. Gasser, I. Hulthage,
B. Leverich, J. Lieb, and A. Majchrzak, all from the University of Southern California. The papersare grouped into parts on: distributed artificial intelligence, natural language processing, knowledge representation, logic programming, non-standard logics, automated reasoning,
constraints, planning, and learning.