Progress in Artificial Intelligence

Terminological meta-reasoning by reification and multiple contexts.- A new continuous propositional logic.- Super-polynomial speed-ups in proof length by new tautologies.- Belief revision in non-monotonic reasoning.- A new representation of JTMS.- The retrieval problem in a concept language with number restrictions.- Formalizing local propagation in constraint maintenance systems.- A dependency parser of Korean based on connectionist/symbolic techniques.- A symbiotic approach to arc and path consistency checking.- Where do intentions come from ?: A framework for goals and intentions adoption, derivation and evolution.- A closer look to artificial learning environments.- Building multi-agent societies from descriptions to systems: Inter-layer translations.- GA/TS: A hybrid approach for job shop scheduling in a production system.- A controlled experiment: Evolution for learning difficult image classification.- Minimal model complexity search.- Characterization of classification algorithms.- Neurons, glia and the borderline between subsymbolic and symbolic processing.- Arguments and defeat in argument-based nonmonotonic reasoning.- A preference semantics for ground nonmonotonic modal logics.- Logical omniscience vs. logical ignorance on a dilemma of epistemic logic.- On the role of splitting and merging past cases for generation of a new solution.- Theorem proving by analogy — A compelling example.- Non-atomic actions in the situation calculus.- Planning under uncertainty: A qualitative approach.- Qualitative reasoning under uncertainty.- Systematic construction of qualitative physics-based rules for process diagnostics.- Integrated process supervision: A structured approach to expert control.- Using stochastic grammars to learn robotic tasks.- Constraint categorial grammars.- A new translation algorithm from lambda calculus into combinatory logic.- Interlocking multi-agent and blackboard architectures.- A model theory for paraconsistent logic programming.- Promoting software reuse through explicit knowledge representations.- Efficient learning in Multi-Layered Perceptron using the Grow-And-Learn algorithm.- A non-diffident combinatorial optimization algorithm.- Modelling diagnosis systems with the logic programming.- Agreement: A logical approach to approximate reasoning.- Constructing extensions by resolving a system of linear equations.- Presenting significant information in expert system explanation.- A cognitive model of problem solving with incomplete information.- Filtering software specifications written in natural language.- Parsimonious Diagnosis in SNePS.- Syntactic and semantic filtering in a chart parser.- GA approach to solving Multiple Vehicle Routing Problem.- Multilevel refinement planning in an interval-based temporal logic.