Del i serien Lecture Notes in Computer Science

KI-94: Advances in Artificial Intelligence

18th German Annual Conference on Artificial Intelligence, Saarbrücken, September 18-23, 1994. Proceedings

Häftad, Engelska, 1994

AvBernhard Nebel,Leonie Dreschler-Fischer

739 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This volume presents the proceedings of the 18th German Annual Conference on Artificial Intelligence (KI-94), held in Saarbrücken in September 1994.Besides the invited paper "AI approaches towards sensor-based support in road vehicles" by H.-H. Nagel, the book contains 33 full research papers and 12 poster presentations selected from a total of 98 contributions, half of them originating from outside Germany. The papers cover all relevant aspects of AI with a certain focus on knowledge representation and logical foundations of AI; further topics covered are neural network applications, logic programming, natural language, machine learning, and reasoning.

Produktinformation

Utgivningsdatum1994-09-07
Mått155 x 235 x 23 mm
Vikt633 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor409
Upplaga1994
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540584674

Tillhör följande kategorier

Artificiell intelligens inom Data och IT

AI approaches towards sensor-based driver support in road vehicles.- Representing concurrent actions and solving conflicts.- Preselection strategies for case based classification.- Utilizing spatial relations for natural language access to an autonomous mobile robot.- Cardinality restrictions on concepts.- An artificial neural network for high precision eye movement tracking.- A Kripke-Kleene logic over general logic programs.- The stable semantics and its variants: A comparison of recent approaches.- TabVer a case study in table verbalization.- Cooperating to be noncooperative: The dialog system PRACMA.- Robust constructive induction.- Enriching a semantic network language by integrating qualitative reasoning techniques.- Combining spatial and terminological reasoning.- Detecting gestalts in CAD-plans to be used as indices for case-retrieval in architecture.- The NeuDB-system: Towards the integration of neural networks and database systems.- Weighted defaults in description logics: Formal properties and proof theory.- Epistemic queries in Classic.- Communicating rational agents.- Knowledge-level modularization of a complex knowledge base.- Program verification techniques as a tool for reasoning about action and change.- A conditional logic for updating in the possible models approach.- Probabilistic justification of default reasoning.- A prioritized Contextual Default Logic: Curing anomalous extensions with a simple abnormality default theory.- Incorporating specificity into circumscriptive theories.- Coherent choice and epistemic entrenchment (preliminary report).- A note on tableaux of logic of paradox.- When nonmonotonicity comes from distances.- Rigid unification by completion and rigid paramodulation.- Unification in a sorted ?-calculus with term declarations andfunction sorts.- Goal oriented equational theorem proving using team work.- The hardest random SAT problems.- Formal methods for automated program improvement.- Adapting methods to novel tasks in proof planning.- Using charts for transfer in MT.- A new frame for common-sense reasoning — Towards local inconsistencies.- Prioritized transitions for updates.- An optimal bidirectional search algorithm.- Learning to discriminate phases in gas-liquid flow.- Strategies for semantical contractions.- Conflicts in the spatial interaction of autonomous agents.- Using rough sets theory to predict German word stress.- Graphtheoretical algorithms and knowledge-based design.- Interval situation calculus.

Du kanske också är intresserad av

Elektrotechnik 2

Reinhold Paul

Häftad, 1994

679 kr

Grammatical Inference and Applications

Rafael C. Carrasco, Jose Oncina

Häftad, 1994

739 kr

Higher Order Logic Theorem Proving and Its Applications

Thomas F. Melham, Juanito Camilleri

Häftad, 1994

719 kr

Psychology of Nutrition

David Booth

Inbunden, 1994

3 919 kr

Foundations of Knowledge Representation and Reasoning

Gerhard Lakemeyer, Bernhard Nebel

Häftad, 1994

739 kr

KI-97: Advances in Artificial Intelligence

Gerhard Brewka, Christopher Habel, Bernhard Nebel

Häftad, 1997

739 kr

Formal Techniques in Real-Time and Fault-Tolerant Systems

Hans Langmaack, Willem-Paul de Roever, Jan Vytopil

Häftad, 1994

1 479 kr

Prozeßrechentechnik

Georg Färber

Häftad, 1994

679 kr

Mama Get The Hammer! There's a Fly on Papa's Head!

Barbara Johnson

Häftad, 1994

289 kr

Psychology of Nutrition

David Booth

Häftad, 1994

809 kr

Del i serien Lecture Notes in Computer Science

KI-94: Advances in Artificial Intelligence

18th German Annual Conference on Artificial Intelligence, Saarbrücken, September 18-23, 1994. Proceedings

Häftad, Engelska, 1994

AvBernhard Nebel,Leonie Dreschler-Fischer

739 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1994-09-07
Mått155 x 235 x 23 mm
Vikt633 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor409
Upplaga1994
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540584674

Tillhör följande kategorier

Artificiell intelligens inom Data och IT

AI approaches towards sensor-based driver support in road vehicles.- Representing concurrent actions and solving conflicts.- Preselection strategies for case based classification.- Utilizing spatial relations for natural language access to an autonomous mobile robot.- Cardinality restrictions on concepts.- An artificial neural network for high precision eye movement tracking.- A Kripke-Kleene logic over general logic programs.- The stable semantics and its variants: A comparison of recent approaches.- TabVer a case study in table verbalization.- Cooperating to be noncooperative: The dialog system PRACMA.- Robust constructive induction.- Enriching a semantic network language by integrating qualitative reasoning techniques.- Combining spatial and terminological reasoning.- Detecting gestalts in CAD-plans to be used as indices for case-retrieval in architecture.- The NeuDB-system: Towards the integration of neural networks and database systems.- Weighted defaults in description logics: Formal properties and proof theory.- Epistemic queries in Classic.- Communicating rational agents.- Knowledge-level modularization of a complex knowledge base.- Program verification techniques as a tool for reasoning about action and change.- A conditional logic for updating in the possible models approach.- Probabilistic justification of default reasoning.- A prioritized Contextual Default Logic: Curing anomalous extensions with a simple abnormality default theory.- Incorporating specificity into circumscriptive theories.- Coherent choice and epistemic entrenchment (preliminary report).- A note on tableaux of logic of paradox.- When nonmonotonicity comes from distances.- Rigid unification by completion and rigid paramodulation.- Unification in a sorted ?-calculus with term declarations andfunction sorts.- Goal oriented equational theorem proving using team work.- The hardest random SAT problems.- Formal methods for automated program improvement.- Adapting methods to novel tasks in proof planning.- Using charts for transfer in MT.- A new frame for common-sense reasoning — Towards local inconsistencies.- Prioritized transitions for updates.- An optimal bidirectional search algorithm.- Learning to discriminate phases in gas-liquid flow.- Strategies for semantical contractions.- Conflicts in the spatial interaction of autonomous agents.- Using rough sets theory to predict German word stress.- Graphtheoretical algorithms and knowledge-based design.- Interval situation calculus.