Ebook: 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.

---

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.

---

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.
Content:
Front Matter....Pages -
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
Back Matter....Pages -

---

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.
Content:
Front Matter....Pages -
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
Back Matter....Pages -
....