Progress in Artificial Intelligence Book

	Terminological Meta-Reasoning by Reification and Multiple Contexts	1
	A New Continuous Propositional Logic	17
	Super-Polynomial Speed-Ups in Proof Length by New Tautologies	29
	Belief Revision in Non-Monotonic Reasoning	41
	A New Representation of JTMS	57
	The Retrieval Problem in a Concept Language with Number Restrictions	69
	Formalizing Local Propagation in Constraint Maintenance Systems	83
	A Dependency Parser of Korean Based on Connectionist / Symbolic Techniques	95
	A Symbiotic Approach to Arc and Path Consistency Checking	107
	Where Do Intentions Come From?: A Framework for Goals and Intentions Adoption, Derivation and Evolution	115
	A Closer Look to Artificial Learning Environments	129
	Building Multi-Agent Societies from Descriptions to Systems: Inter-Layer Translations	143
	GA/TS: A Hybrid Approach for Job Shop Scheduling in a Production System	153
	A Controlled Experiment: Evolution for Learning Difficult Image Classification	165
	Minimal Model Complexity Search	177
	Characterization of Classification Algorithms	189
	Neurons, Glia and the Borderline Between Subsymbolic and Symbolic Processing	201
	Arguments and Defeat in Argument-Based Nonmonotonic Reasoning	213
	A Preference Semantics for Ground Nonmonotonic Modal Logics	225
	Logical Omniscience vs. Logical Ignorance On a Dilemma of Epistemic Logic	237
	On the Role of Splitting and Merging Past Cases for Generation of a New Solution	249
	Theorem Proving by Analogy - A Compelling Example	261
	Non-Atomic Actions in the Situation Calculus	273
	Planning Under Uncertainty: A Qualitative Approach	285
	Qualitative Reasoning Under Uncertainty	297
	Systematic Construction of Qualitative Physics-Based Rules for Process Diagnostics	311
	Integrated Process Supervision: A Structured Approach to Expert Control	323
	Using Stochastic Grammars to Learn Robotic Tasks	335
	Constraint Categorial Grammars	347
	A New Translation Algorithm from Lambda Calculus into Combinatory Logic	359
	Interlocking Multi-Agent and Blackboard Architectures	371
	A Model Theory for Paraconsistent Logic Programming	377
	Promoting Software Reuse Through Explicit Knowledge Representation	387
	Efficient Learning in Multi-Layered Perceptron Using the Grow-And-Learn Algorithm	397
	An Non-Diffident Combinatorial Optimization Algorithm	403
	Modelling Diagnosis Systems with Logic Programming	409
	Agreement: A Logical Approach to Approximate Reasoning	419
	Constructing Extensions by Resolving a System of Linear Equations	429
	Presenting Significant Information in Expert System Explanation	435
	A Cognitive Model of Problem Solving with Incomplete Information	441
	Filtering Software Specifications Written in Natural Language	447
	Parsimonious Diagnosis in SNePS	457
	Syntactic and Semantic Filtering in a Chart Parser	465
	GA Approach to Solving Multiple Vehicle Routing Problem	473
	Multilevel Refinement Planning in an Interval-Based Temporal Logic	482