Abstract is missing.
- Solving Linear Constraints on Finite Domains Through ParsingMiguel Filgueiras, Ana Paula Tomás. 1-16
- Constraint Solving in Finite Domains under User ControlFrancisco Menezes, Pedro Barahona. 17-29
- A New Method for Solving Linear Constraints on the Natural NumbersAna Paula Tomás, Miguel Filgueiras. 30-44
- A Constraint-Based Fuzzy Inference SystemKevin Lano. 45-59
- A Constraint-Based Language for Querying Taxonomic SystemsMargarida Mamede, Luís Monteiro. 60-75
- Heuristic Parsing and Search Space PruningJosé António Mendes, Pedro Rangel Henriques. 76-91
- Wave-shaping in Multiprocessor Bidirectional Heuristic State Space SearchPeter C. Nelson, Anestis A. Toptsis. 92-104
- The Extended Stable Models of Contradiction Removal SemanticsLuís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício. 105-119
- Modelling a Rational Cognitive Agent in SNePSDeepak Kumar, Stuart C. Shapiro. 120-134
- Semantics of Property Inheritance in a Hierarchic System with Explicit NegationGabriel David, António Porto. 135-150
- Time in Conflucences: Dealing with Delays for Consistency-CheckingAmílcar Cardoso, Ernesto Costa. 151-164
- A Temporal Representation for Imperatively Structured Plans of ActionsÉric Rutten. 165-179
- Maximal Intervals: An Approach to Temporal ReasoningCristina Ribeiro, António Porto. 180-194
- Consistency Driven PlanningMartin Decker, Guido Moerkotte, Holger Müller, Joachim Posegga. 195-209
- An Efficient Approach to Planning in Assembly TasksCarlos Ramos, Eugenio Oliveira. 210-221
- Towards a Theory of the Repair ProcessGerhard Friedrich, Georg Gottlob, Wolfgang Nejdl. 222-236
- Declarative Source DebuggingMiguel Calejo, Luís Moniz Pereira. 237-249
- A Neural Approach to Data Compression and ClassificationKlaus Peter Kratzer. 250-263
- Generalization for a Propositional Calculus: A Constraints-Based ApproachRaoul Vorc h. 264-277
- Adaptive Learning Using a Qualitative Feedback LoopLothar Winkelbauer, Christian Stary. 278-292