Abstract is missing.
- Terminological Meta-Reasoning by Reification and Multiple ContextsKlemens Schnattinger, Udo Hahn, Manfred Klenner. 1-16
- A New Continuous Propositional LogicRiccardo Poli, Mark Ryan, Aaron Sloman. 17-28
- Super-Polynomial Speed-Ups in Proof Length by New TautologiesUwe Egly. 29-40
- Belief Revision in Non-Monotonic ReasoningJosé Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski. 40-56
- A New Representation of JTMSTruong Quoc Dung. 57-68
- The Retrieval Problem in a Concept Language with Number RestrictionsAida Vitória, Margarida Mamede, Luís Monteiro. 69-82
- Formalizing Local Propagation in Constraint Maintenance SystemsGilles Trombettoni. 83-94
- A Dependency Parser of Korean Based on Connectionist/ Symbolic TechniquesJong-Hyeok Lee, Gary Geunbae Lee. 95-106
- A Symbiotic Approach to Arc and Path Consistency CheckingPierre Berlandier. 107-114
- Where Do Intensions Come from?: A Framework for Goals and Intensions Adoption, Derivation and EvolutionGraça Gaspar, Helder Coelho. 115-127
- A Closer Look to Artificial Learning EnvironmentsHelder Coelho, Augusto Eusébio, Ernesto Costa. 129-142
- Building Multi-Agent Societies from Description to Systems: Inter-Layer TranslationsHelder Coelho, Luis Antunes, Luís Moniz. 143-152
- GA/TS: A Hybrid Approach for Job Shop Scheduling in a Production SystemJosé Ramón Zubizarreta Aizpuru, Javier Arrieta Usunáriz. 153-164
- A Contolled Experiment: Evolution for Learning Difficult Image ClassificationAstro Teller, Manuela M. Veloso. 165-176
- Minimal Model Complexity SearchChris McConnell. 177-187
- Characterization of Classification AlgorithmsJoão Gama, Pavel Brazdil. 189-200
- Neurons, Glia and the Borderline Between Subsymbolic ProcessingJ. G. (Iain) Wallace, Kevin Bluff. 201-211
- Arguments and Defeat in Argument-Based Nonmonotonic ReasoningBart Verheij. 213-224
- A Preference Semantics for Ground Nonmonotonic Modal LogicsDaniele Nardi, Riccardo Rosati. 223-235
- Logical Omniscience vs. Logical Ignorance on a Dilemma of Epistemic LogicHo Ngoc Duc. 237-248
- On the Role of Splitting and Merging Past Cases for Generation of a New SolutionCarlos Bento, Penousal Machado, Ernesto Costa. 249-260
- Theorem Proving by Analogy - A Compelling ExampleErica Melis. 261-272
- Non-Atomic Actions in the Situation CalculusJosé Júlio Alferes, Renwei Li, Luís Moniz Pereira. 273-284
- Planning Under Uncertainty: A Qualitative ApproachNikos I. Karacapilidis. 285-296
- Qualitative Reasoning Under UncertaintyDaniel Pacholczyk. 297-309
- Systematic Construction of Qualitative Physics-Based Rules for Process DiagnosticsJaques Reifman, Thomas Y. C. Wei. 311-322
- Integrated Process Supervision: A Structured Approach to Expert ControlHiok Chai Quek, P. W. Ng, Michel Pasquier. 323-334
- Using Stochastic Grammars to Learn Robotic TasksPedro U. Lima, George N. Saridis. 335-346
- Constraint Categorial GrammarsLuís Damas, Nelma Moreira. 347-358
- A New Translation Algorithm from Lambda Calculus into Combinatory LogicSabine Broda, Luís Damas. 359-370
- Interlocking Multi-Agent and Blackboard ArchitecturesBernhard Kipper. 371-375
- A Model Theory for Paraconsistent Logic ProgrammingCarlos Viegas Damásio, Luís Moniz Pereira. 377-386
- Promoting Software Reuse Through Explicit Knowledge RepresentationsCarmen Fernández-Chamizo, Pedro A. González-Calero, Mercedes Gómez-Albarrán. 387-396
- Efficient Learning in Multi-Layered Perceptron Using the Grow-And-Learn AlgorithmGildas Cherruel, Bassel Solaiman, Yvon Autret. 397-401
- A Non-Diffident Combinatorial Optimization AlgorithmGilles Trombettoni, Bertrand Neveu, Pierre Berlandier, María Cristina Riff Rojas, Mouhssine Bouzoubaa. 403-407
- Modelling Diagnosis Systems with the Logic ProgrammingIara de Almeida Móra, José Júlio Alferes. 409-418
- Agreement: A Logical Approach to Approximate ReasoningLuís M. M. Custódio, Carlos A. Pinto-Ferreira. 419-428
- Constructing Extensions by Resolving a System of Linear EquationsNadia Messaoudi. 429-433
- Presenting Significant Information in Expert System ExplanationMichael Wolverton. 435-438
- A Cognitive Model of Problem Solving with Incomplete InformationNathalie Chaignaud. 441-445
- Filtering Software Specifications Written in Natural LanguageNúria Castell, Àngels Hernández. 447-455
- Parsimonious Diagnosis in SNePSPedro A. de Matos, João P. Martins. 457-463
- Syntactic and Semantic Filtering in a Chart ParserSayan Bhattacharyya, Steven L. Lytinen. 465-471
- GA Approach to Solving Multiple Vehicle Routing ProblemSlavko Krajcar, Davor Skrlec, Branko Pribicevic, Snjezana Blagajac. 473-481
- Multilevel Refinement Planning in an Interval-Based Temporal LogicWerner Stephan, Susanne Biundo. 483-487