Abstract is missing.
- Organizations as Complex, Dynamic Design ProblemsLes Gasser, Ingemar A. E. Hulthage, Brian Leverich, Jon Lieb, Ann Majchrzak. 1-12
- Specifying and Verifying Distributed Intelligence SystemsMichael Fisher, Michael Wooldridge. 13-28
- A Logical Approach for Distributed Truth MaintenanceThilo C. Horstmann. 29-44
- Building Text Temporal StructureIrene Pimenta Rodrigues, José Gabriel Lopes. 45-60
- Resolution of Constraints in Algebras of Rational TreesLuís Damas, Nelma Moreira, Sabine Broda. 61-76
- Inheritance in a Hierarchy of TheoriesGabriel David, António Porto. 77-92
- Semantics of Interworking Knowledge Based SystemsGeorg Reichwein, José Luiz Fiadeiro. 93-104
- Combining Terminological Logics with Tense LogicKlaus Schild. 105-120
- Towards Complete Answers in Concept LanguagesMargarida Mamede, Luís Monteiro. 121-135
- Version Space Algorithms on Hierarchies with ExceptionsGrigoris Antoniou. 136-149
- Regular Languages and a Class of Logic ProgramsArmando B. Matos. 150-157
- Some Results on the Complexity of SLD-DerivationsArmando B. Matos. 158-169
- An Or-Parallel Prolog Execution Model for a Distributed Shared Memory MachineFernando M. A. Silva. 170-182
- Diagnosis and Debugging as Contradiction Removal in Logic ProgramsLuís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes. 183-197
- Well-Founded Approximations of Autoepistemic LogicJürgen Kalinski. 198-212
- A Process Model for Default Logic and Its Realization in Logic ProgrammingGrigoris Antoniou, Elmar Langetepe. 213-225
- A Unified Approach to Default Reasoning and Belief RevisionMaria R. Cravo, João P. Martins. 226-241
- Second Order E-Matching as a Tool for Automated Theorem ProvingRégis Curien. 242-257
- Attribute-Specific Interchangeability in Constraint Satisfaction ProblemsAlois Haselböck, Markus Stumptner. 258-270
- The Use and Interpretation of Meta Level ConstaintsPierre Berlandier. 271-280
- Preliminary Formalization of an Incremental Hierarchical Constraint SolverFrancisco Menezes, Pedro Barahona. 281-296
- Fast Methods for Solving Linear Diophantine EquationsMiguel Filgueiras, Ana Paula Tomás. 297-306
- A Note on Chapman s Modal Truth CriterionMaria Fox, Derek Long. 307-310
- Learning Operators While PlanningJosé Luís Ferreira, Ernesto Jorge Costa. 311-323
- Evaluating Evidence for Motivated DiscoveryMichael Luck. 324-339
- How to Learn in an Incomplete Knowledge Environment: Structured Objects for a Modal ApproachEric Auriol. 340-355
- The Semantics of Rational ContractionsJürgen Giesl, Ingrid Neumann. 356
- A Uniform Framework for Deductive Database Derivation StrategiesRobert Demolombe. 357
- Assumption Set Semantics (The Procedures)Joaquim Nunes Aparício. 358
- Bargaining AgentsStefan Bussmann, Jürgen Müller. 359
- A Constraint Maintenance Algorithm Based on Value PropagationGilles Trombettoni. 360
- A Text-to-Phoneme Translator for the Portuguese LanguageGeraldo Lino de Campos, Dimas Trevisan Chbane. 361
- Learning Probabilistic Models by Conceptual Pyramidal ClusteringEdwin Diday, Paula Brito, E. Mfoumoune. 362