KI 2004: Advances in Artificial Intelligence Book

	Automated reasoning tools for molecular biology	1
	OMEGA : computer supported mathematics	3
	An overview of planning technology in robotics	29
	SmartWeb : mobile applications of the semantic Web	50
	Machine learning for autonomous robots	52
	Generation of sentence parse trees using parts of speech	56
	Application of machine learning techniques to the re-ranking of search results	67
	A pragmatics-first approach to the analysis and generation of dialogues	82
	Hybrid natural language generation in a spoken language dialog system	97
	Error-tolerant finite-state lookup for trademark search	112
	Mining hierarchical temporal patterns in multivariate time series	127
	Using behavioral knowledge for situated prediction of movements	141
	Integration of manual and automatic text categorization : a categorization workbench for text-based email and spam	156
	Model based deduction for database schema reasoning	168
	Applying automatic planning systems to airport ground-traffic control - a feasibility study	183
	Generalizing the relaxed planning heuristic to non-linear tasks	198
	Decision-theoretic planning for playing table soccer	213
	External A	226
	Combining recurrent neural networks and support vector machines for structural pattern recognition	241
	Genre classification of Web pages	256
	Integration of statistical and neural methods to design classifiers in case of unequal covariance matrices	270
	Semiring artificial neural networks and weighted automata : and an application to digital image encoding	281
	A new method to fit a linear regression model for interval-valued data	295
	Specifying abnormal action qualifications with sensing in FLUX	307
	On-line decision-theoretic golog for unpredictable domains	322
	Relation variables in qualitative spatial reasoning	337
	Default reasoning over domains and concept hierarchies	351
	Improving fault localization of programs by using labeled dependencies	366
	Improving the scalability of rule base verification using binary decision diagrams : an empirical study	381
	Modeling of tutoring processes in intelligent tutoring systems	396
	A new method for asynchronous multisensor information fusion	410
	Adaptive vision for playing table soccer	424
	Shape-based robot mapping	439
	Vision-based facial and eye gaze tracking system	453