Dissertations in Artificial Intelligence

Series of AI Dissertations covering a broad range of subjects.(read more)

Supporting Communication in Spatially Distributed Groups

Pub. date
November 2016
Author
Van De Ven, J.
Volume
341
Price
US$58 / €50 / £43
ISBN print
978-1-61499-704-7
Subject
Artificial Intelligence, Computer & Communication Sciences

Spontaneous and personal encounters and arising communication have a strong impact on work groups…


read more...

Hierarchical Joint Learning for Natural Language Generation

Pub. date
December 2013
Author
Dethlefs, N.
Volume
340
Price
US$72 / €50 / £43
ISBN print
978-1-61499-333-9
Subject
Artificial Intelligence

Natural Language Generation (NLG) systems in interactive settings often face a multitude of choic…


read more...

NeOn Methodology for Building Ontology Networks: Specification, Scheduling and Reuse

Pub. date
December 2012
Author
Suárez-Figueroa, M.C.
Volume
338
Price
US$72 / €50 / £43
ISBN print
978-1-61499-115-1
Subject
Artificial Intelligence

A new ontology development paradigm has started; its emphasis lies on the reuse and possible subs…


read more...

Probabilistic Reasoning with Incomplete and Inconsistent Beliefs

Pub. date
January 2012
Author
Thimm, M.
Volume
336
Price
US$80 / €55
ISBN print
978-1-60750-960-8
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer & Communication Sciences, Computer Science

Reasoning with inaccurate information is a major topic within the fields of artificial intelligen…


read more...

Engineering Coordination

Pub. date
October 2011
Author
Schumann, R.
Volume
335
Price
US$87 / €60
ISBN print
978-1-60750-736-9
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer & Communication Sciences, Computer Science

To solve complex real-world search and optimization problems it is a common strategy to divide th…


read more...

Granularity Analysis for Tutoring Mathematical Proofs

Pub. date
February 2011
Author
Schiller, M.R.G.
Volume
334
Price
US$72 / €50
ISBN print
978-1-60750-719-2
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer & Communication Sciences, Computer Science

Rigorous formal proof is one of the key techniques in the natural sciences, engineering, and of c…


read more...

A Change-Oriented Architecture for Mathematical Authoring Assistance

Pub. date
February 2011
Author
Wagner, M.
Volume
333
Price
US$72 / €50
ISBN print
978-1-60750-712-3
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer & Communication Sciences, Computer Science, Electronics/Mechanics

The computer-assisted authoring of mathematical documents using a scientific text-editor requires…


read more...

Formal Concept Analysis and Tag Recommendations in Collaborative Tagging Systems

Pub. date
February 2011
Author
Jäschke, R.
Volume
332
Price
US$73 / €50
ISBN print
978-1-60750-707-9
Subject
Artificial Intelligence, Cognitive Science, Computer & Communication Sciences

One of the most noticeable innovation that emerged with the advent of the Web 2.0 and the focal p…


read more...

Heuristics and Metaheuristics for heavily constrained hybrid Flowshop Problems

Pub. date
January 2011
Author
Urlings, T.
Volume
331
Price
US$73 / €50
ISBN print
978-1-60750-678-2
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Many researchers agree about the existence of a gap between machine scheduling literature on the …


read more...

Interactive Concept Description with Bayesian Partition Models

Pub. date
September 2010
Author
Müller, M.
Volume
330
Price
US$73 / €50
ISBN print
978-1-60750-624-9
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Automotive companies are forced to extend and improve their product lineup continuously. However,…


read more...

Model-Based Transformations for Quantified Boolean Formulas

Pub. date
May 2010
Author
Bubeck, U.
Volume
329
Price
US$73 / €50
ISBN print
978-1-60750-545-7
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

A popular approach for solving difficult decision problems in many areas, for example planning or…


read more...

Learning and Modeling with Probabilistic Conditional Logic

Pub. date
February 2010
Author
Fisseler, J.
Volume
328
Price
US$73 / €50
ISBN print
978-1-60750-098-8
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Conditionals, also called if-then-rules, are a popular concept for knowledge representation. They…


read more...

Knowledge Acquisition from a Collaboratively Generated Encyclopedia

Pub. date
February 2010
Author
Ponzetto, S.P.
Volume
327
Price
US$73 / €50
ISBN print
978-1-60750-097-1
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Research in Natural Language Processing (NLP) has made tremendous progress in the last two decade…


read more...

Model-based Failure-modes-and-effects Analysis and its Application to Aircraft Subsystems

Pub. date
January 2010
Author
Fraracci, A.
Volume
326
Price
US$80 / €55
ISBN print
978-1-60750-081-0
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Failure mode and effects analysis (FMEA) is a mandatory process during the design phase in the ae…


read more...

Automated Deduction for Projection Elimination

Pub. date
March 2009
Author
Wernhard, C.
Volume
324
Price
US$73 / €50
ISBN print
978-1-58603-983-7
Subject
Artificial Intelligence, Computer & Communication Sciences

Projection is a logic operation which allows to express tasks in knowledge representation. These …


read more...

The GeoMap Representation: On Topologically Correct Sub-pixel Image Analysis

Pub. date
March 2009
Author
Meine, H.
Volume
323
Price
US$73 / €50
ISBN print
978-1-58603-981-3
Subject
Artificial Intelligence, Computer & Communication Sciences

This work introduces a new, unified representation (termed GeoMap) for capturing both the geometr…


read more...

Spatial Planning Assistance

Pub. date
December 2008
Author
Seifert, Th.
Volume
321
Price
US$73 / €50
ISBN print
978-1-58603-953-0
Subject
Artificial Intelligence, Computer & Communication Sciences

Planning activities in an unfamiliar environment is a complex spatial task people have to deal wi…


read more...

An Agent Control Perspective on Qualitative Spatial Reasoning

Pub. date
September 2008
Author
Dylla, F.
Volume
320
Price
US$75 / €50
ISBN print
978-1-58603-914-1
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

A considerable part of everyday human interaction is guided by regulations and constraints, for e…


read more...

WASABI: Affect Simulation for Agents with Believable Interactivity

Pub. date
October 2008
Author
Becker-Asano, C.
Volume
319
Price
US$75 / €50
ISBN print
978-1-58603-911-0
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

This publication presents the WASABI architecture (WASABI Affect Simulation for Agents with Belie…


read more...

Trust-based Recommendations in Multi-layer Networks

Pub. date
July 2008
Author
Heß, C.
Volume
316
Price
US$70 / €50
ISBN print
978-1-58603-854-0
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

The huge interest in social networking applications – Friendster.com, for example, has more tha…


read more...

Context-Specific Route Directions: Generation of Cognitively Motivated Wayfinding Instructions

Pub. date
April 2008
Editor
Richter, K.-F.
Volume
314
Price
US$84 / €60
ISBN print
978-1-58603-852-6
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Route directions assist people in unfamiliar environments. In order to be useful, these route dir…


read more...

Image Digitization and its Influence on Shape Properties in Finite Dimensions

Pub. date
March 2008
Author
Stelldinger, P.
Volume
312
Price
US$70 / €50
ISBN print
978-1-58603-838-0
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

This work addresses the problem of shape preserving digitization in finite dimensional spaces. Th…


read more...

Writer Identification and Verification

Pub. date
February 2008
Author
Schlapbach, A.
Volume
311
Price
US$70 / €50
ISBN print
978-1-58603-825-0
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Writer identification and verification have gained increased interest recently, especially in the…


read more...

Temporal Pattern Mining in Dynamic Environments

Pub. date
October 2007
Author
Lattner, A.D.
Volume
309
Price
US$65 / €50
ISBN print
978-1-58603-783-3
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Many domains feature a dynamic characteristic like logistics, sports, or medicine and it would be…


read more...

The Structurally Optimal Dual Graph Pyramid and its Application in Image Partitioning

Pub. date
May 2007
Author
Haxhimusa, Y.
Volume
308
Price
US$80 / €55
ISBN print
978-1-58603-743-7
Subject
Artificial Intelligence, Computer Science, Mathematics

A widely used hierarchical representation in many areas of computer vision and pattern recognitio…


read more...

Knowledge-Intensive Subgroup Mining

Pub. date
March 2007
Author
Atzmüller, M.
Volume
307
Price
US$80 / €55
ISBN print
978-1-58603-726-0
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Subgroup mining is a powerful and broadly applicable data mining approach: In general, the goal i…


read more...

Multimodal Interaction with Mobile Devices: Fusing a Broad Spectrum of Modality Combinations

Pub. date
December 2006
Author
Wasinger, R.
Volume
305
Price
US$80 / €55
ISBN print
978-1-58603-712-3
Subject
Artificial Intelligence, Computer & Communication Sciences

This publication presents a multimodal architecture for use in mobile scenarios such as shopping …


read more...

Controlling Physical Multiagent Teams: Getting League-Independent Results from RoboCup Soccer

Pub. date
February 2007
Author
Obst, O.
Volume
304
Price
US$80 / €55
ISBN print
978-1-58603-705-5
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

During the last years, Robotic Soccer has become one of the most challenging research fields for …


read more...

Enhancing Similarity Measures with Imperfect Rule-Based Background Knowledge

Pub. date
January 2007
Author
Steffens, T.
Volume
302
Price
US$80 / €55
ISBN print
978-1-58603-693-5
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Similarity measures are the core of such diverse techniques as similarity-based classification, c…


read more...

Migrating Characters: Effective User Guidance in Instrumented Environments

Pub. date
January 2007
Author
Kruppa, M.
Volume
301
Price
US$80 / €55
ISBN print
978-1-58603-667-6
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

This book deals with the conceptual design as well as with the realization of virtual characters,…


read more...

Off-line Cursive Handwriting Recognition Using Synthetic Training Data

Pub. date
July 2006
Author
Varga, T.
Volume
300
Price
US$64 / €44
ISBN print
978-1-58603-636-2
Subject
Artificial Intelligence, Computer & Communication Sciences

The problem of automatic recognition of scanned handwritten documents is of great significance in…


read more...

3D Parametric Intensity Models for the Localization of 3D Anatomical Point Landmarks and 3D Segmentation of Human Vessels

Pub. date
October 2006
Author
Wörz, S.
Volume
299
Price
US$87 / €60
ISBN print
978-1-58603-635-5
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

This publication addresses two important problems in the field of 3D medical image analysis, name…


read more...

Ubiquitous User Modeling

Pub. date
October 2006
Author
Heckmann, D.
Volume
297
Price
US$80 / €55
ISBN print
978-1-58603-608-9
Subject
Artificial Intelligence, Computer & Communication Sciences

More and more interactions take place between humans and mobile or connected IT-systems in daily …


read more...

Stochastic Local Search Algorithms for Multiobjective Combinatorial Optimization: Methods and Analysis

Pub. date
February 2006
Author
Paquete, L.F.
Volume
295
Price
US$87 / €60
ISBN print
978-1-58603-596-9
Subject
Artificial Intelligence, Computer & Communication Sciences

Multiobjective Combinatorial Optimization Problems (MCOPs) arise in many real-life applications a…


read more...

Understanding Coverbal Ionic Gestures in Shape Descriptions

Pub. date
February 2006
Author
Sowa, T.
Volume
294
Price
US$87 / €60
ISBN print
978-1-58603-566-2
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Gestures are a powerful communication medium which have also been found to make human-machine com…


read more...

Graph Matching

Pub. date
September 2005
Author
Irniger, C.-A. M.
Volume
293
Price
US$80 / €55
ISBN print
978-1-58603-557-0
Subject
Artificial Intelligence, Computer & Communication Sciences

Graphs are a powerful concept useful for various tasks in science and engineering. In application…


read more...

The Problem of Tuning Metaheuristics

Pub. date
August 2005
Author
Birattari, M.
Volume
292
Price
US$87 / €60
ISBN print
978-1-58603-551-8
Subject
Artificial Intelligence, Computer & Communication Sciences

A metaheuristic is a generic algorithmic template that can be used for finding high quality solut…


read more...

Decision-Theoretic Planning for User-Adaptive Systems: Dealing With Multiple Goals and Resource Limitations

Pub. date
March 2005
Author
Bohnenberger, T.
Volume
289
Price
US$74 / €51
ISBN print
978-1-58603-506-8
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

While there are a number of user-adaptive systems that use decision-theoretic methods to make ind…


read more...

Reducing Planning Problems by Path Reduction

Pub. date
September 2004
Author
Scholz, U.
Volume
285
Price
US$54 / €37
ISBN print
978-1-58603-464-1
Subject
Artificial Intelligence, Computer & Communication Sciences

Planning is among the characteristic features of intelligence and therefore it is a central resea…


read more...

Agile Development of Diagnostic Knowledge Systems

Pub. date
October 2004
Author
Baumeister, J.
Volume
284
Price
US$64 / €44
ISBN print
978-1-58603-463-4
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

The success of diagnostic knowledge systems has been proved over the last decades. Nowadays, inte…


read more...

Theoretical and Practical Aspects of Ant Colony Optimization

Pub. date
July 2004
Author
Blum, C.
Volume
282
Price
US$74 / €51
ISBN print
978-1-58603-433-7
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Combinatorial optimization problems are of high academical and practical importance. Unfortunatel…


read more...

Specification, Modelling, Verification and Runtime Analysis of Real Time Systems

Pub. date
April 2004
Author
Logothetis, G.
Volume
280
Price
US$64 / €44
ISBN print
978-1-58603-413-9
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

This book focuses on the use of formal methods in order to guarantee the correctness of real-time…


read more...

Uniform Learning of Recursive Functions

Pub. date
December 2003
Author
Zilles, S.
Volume
278
Price
US$64 / €44
ISBN print
978-1-58603-406-1
Subject
Artificial Intelligence, Computer & Communication Sciences


read more...

User Modeling Servers – Requirements, Design, and Evaluation

Pub. date
April 2004
Author
Fink, J.
Volume
277
Price
US$64 / €44
ISBN print
978-1-58603-405-4
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

This publication analyses the requirements that user modeling servers must meet to be acceptable …


read more...

Situated Interaction on Spatial Topics

Pub. date
November 2003
Author
Kray, C.
Volume
274
Price
US$64 / €44
ISBN print
978-1-58603-391-0
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Location-based services (LBS) and mobile systems are two key areas of research into making inform…


read more...

Discrete Scale-Space Formulation and Multiscale Edge Extraction toward Higher Dimensions

Pub. date
September 2003
Author
Lim, J-Y
Volume
272
Price
US$58 / €40
ISBN print
978-1-58603-383-5
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

This publication addresses the problem of a discrete scale-space formulation in the context of mu…


read more...

A Framework for Planning with Incrementally Created Graphs in Attributed Problem Spaces

Pub. date
July 2003
Author
Balakirsky, S.
Volume
270
Price
US$67 / €46
ISBN print
978-1-58603-370-5
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

In this publication, a framework for parallel planning agents is developed and applied to plannin…


read more...

Integrated Natural Language Generation with Schema-TAGs

Pub. date
May 2003
Author
Woch, J.
Volume
264
Price
US$62 / €43
ISBN print
978-1-58603-354-5
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Integrated natural language generation is an approach to circumvent the problem of communication …


read more...

Knowledge Maintenance of Case-Based Reasoning Systems

Pub. date
March 2003
Author
Roth-Berghofer, Th.R.
Volume
262
Price
US$62 / €43
ISBN print
978-1-58603-339-2
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

For all technical systems that are widely used, maintenance processes are available. Now that Cas…


read more...

On Modeling the Spatiotemporal Processing Characteristics of the Retina: What is the Retina for?

Pub. date
March 2002
Editor
Wulf, M.
Volume
254
Price
US$43 / €39
ISBN print
978-1-58603-241-8
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

This book addresses the yet unanswered question of the retina's net functionality. Focussing on t…


read more...

Local and Semi-Global Approaches to the Extraction of 3D Anatomical Landmarks from 3D Tomographic Images

Pub. date
January 2001
Author
Frantz, S.
Volume
253
Price
US$37 / €33
ISBN print
978-1-58603-213-5
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

This work addresses the problem of extracting 3D anatomical point landmarks from 3D tomographic i…


read more...

Process-oriented Consistency-based Diagnosis

Pub. date
January 2001
Author
Heller, U.
Volume
252
Price
US$31 / €28
ISBN print
978-1-58603-212-8
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

The existing theory of consistency-based diagnosis and its implementations have proven successful…


read more...

Adaptive Layout of Dynamic Web Pages

Pub. date
January 2001
Editor
Kröner, A.
Volume
248
Price
US$40 / €36
ISBN print
978-1-58603-189-3
Subject
Computer & Communication Sciences

In this work architecture for the automated creation of Web page layout is proposed. Based on a s…


read more...

Action Based Collaboration Analysis for Group Learning

Pub. date
January 2001
Editor
Mühlenbrock, M.
Volume
244
Price
US$37 / €33
ISBN print
978-1-58603-175-6
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

With networked computers, new ways of learning and working together with other people are possibl…


read more...

Proof Reconstruction in Classical and Non-classical Logics

Pub. date
January 2000
Editor
Schmitt, S.
Volume
239
Price
US$42 / €38
ISBN print
978-1-58603-129-9
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

How can we support the development of reliable software by theorem proving techniques? How can we…


read more...

New Foundations for Automation of Default Reasoning

Pub. date
January 2000
Author
Linke, T.
Volume
237
Price
US$33 / €27
ISBN print
978-1-58603-127-5
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science


read more...

On Types and Type Consistency in Logic Programming

Pub. date
January 2000
Author
Meyer, G.
Volume
235
Price
US$33 / €27
ISBN print
978-1-58603-125-1
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science


read more...

Cooperation in Heterogeneous Theorem Prover Networks

Pub. date
January 2000
Author
Fuchs, D.
Volume
231
Price
US$36 / €31
ISBN print
978-1-58603-124-4
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science


read more...

Learning Search Control Knowledge for Equational Deduction

Pub. date
January 2000
Editor
Schulz, S.
Volume
230
Price
US$41 / €37
ISBN print
978-1-58603-150-3
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Techniques for handling of the equality relation are essential for the successful application of …


read more...

Relevancy based Use of Lemmas in Connection Tableau Calculi

Pub. date
January 2000
Author
Fuchs, M.
Volume
227
Price
US$36 / €31
ISBN print
978-1-58603-123-7
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Automated deduction is a fundamental research area in the field of artificial intelligence. The a…


read more...

Analysis of Low-Resolutions Range Image Sequences

Pub. date
January 2000
Author
Sobottka, K.
Volume
226
Price
US$42 / €38
ISBN print
978-1-58603-122-0
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science


read more...

Error Estimation and Model Selection

Pub. date
January 1999
Author
Scheffer, T.
Volume
225
Price
US$37 / €33
ISBN print
978-1-58603-121-3
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science


read more...

A combined Parametric and Nonparametric Approach to Time Series Analysis

Pub. date
January 1999
Editor
Kriebel, S.K.T.
Volume
222
Price
US$30 / €25
ISBN print
978-1-58603-120-6
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

The analysis and prediction of natural phenomena is an interesting and challenging task. Time ser…


read more...

Local Search Algorithms for Combinatorial Problems - Analysis, Improvements and New Applications

Pub. date
January 1999
Author
Stützle, Th. G.
Volume
220
Price
US$34 / €29
ISBN print
978-1-58603-119-0
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Many problems of enormous practical and theoretical importance are of combinatorial nature. Combi…


read more...

Stochastic Algorithms in Scheduling Theory

Pub. date
January 1999
Author
Steinhöfel, K.
Volume
218
Price
US$30 / €25
ISBN print
978-1-58603-118-3
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science


read more...

Connection Tableau Calculi with Disjunctive Contraints

Pub. date
January 1999
Author
Ibens, O.
Volume
217
Price
US$34 / €29
ISBN print
978-1-58603-117-6
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Automated deduction is one of the fundamental disciplines in the field of artificial intelligence…


read more...

Stochastic Local Search - Methods, Models, Applications

Pub. date
January 1999
Editor
Hoos, H.H.
Volume
215
Price
US$34 / €29
ISBN print
978-1-58603-116-9
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

To date, stochastic local search (SLS) algorithms are among the standard methods for solving hard…


read more...

Knowledge Management for Intelligent Sales Support in Electronic Commerce

Pub. date
January 1999
Author
Wilke, W.
Volume
213
Price
US$34 / €29
ISBN print
978-1-58603-115-2
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

This thesis applies Knowledge-Based techniques to provide Intelligent Sales Support in Electronic…


read more...

Component-Based User Guidance in Knowledge Discovery and Data Mining

Pub. date
January 1999
Editor
Engels, R.
Volume
211
Price
US$36 / €31
ISBN print
978-1-58603-114-5
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Knowledge Discovery and Data Mining (KDD) is a relatively young field of research with a rapidly …


read more...

Automatic Termination Analysis for Functional and Imperative Programs

Pub. date
January 1999
Author
Brauburger, J.
Volume
207
Price
US$36 / €31
ISBN print
978-1-58603-113-8
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Verifying the termination of algorithms is a central problem in computer science. In this thesis …


read more...

A Connectionist Approach for Learning Search-Control Heuristics for Automated Deduction Systems

Pub. date
January 1999
Author
Goller, C.
Volume
206
Price
US$30 / €25
ISBN print
978-1-58603-112-1
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

This Doctoral Thesis presents an approach for improving the search process of automated deduction…


read more...

Projection in Constraint Logic Programming

Pub. date
January 1999
Author
Fordan, A.
Volume
199
Price
US$37 / €33
ISBN print
978-1-58603-111-4
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Projection is the elimination of dead variables in constraint systems, preserving equivalence. In…


read more...

Representation and Processing of Knowledge about Distances in Environmental Space

Pub. date
January 1999
Author
Berendt, B.
Volume
197
Price
US$36 / €31
ISBN print
978-1-58603-110-7
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

Knowledge about distances---along with knowledge about spatial direction---is one of the most imp…


read more...

Motion Planning for Manipulators with Many Degrees of Freedom - The BB-Method

Pub. date
January 1999
Author
Baginski, B.
Volume
195
Price
US$33 / €27
ISBN print
978-1-58603-109-1
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science

The motions of robot manipulators in industrial applications are still programmed by human operat…


read more...
Series of AI Dissertations covering a broad range of subjects.