KI-95: Advances in Artificial Intelligence: 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11 - 13, 1995. Proceedings
Ipke Wachsmuth, Claus Rollinger, Wilfried Brauer
Springer Science & Business Media, 4 de set de 1995 - 275 páginas
This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995.
The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems". The main part of the book consists of 17 refereed full papers carefully relected by the program committee; these papers are organized in sections on knowledge organization and optimization, logic and reasoning, nonmonotonicity, action and change, and spatial reasoning.
O que estão dizendo - Escrever uma resenha
Não encontramos nenhuma resenha nos lugares comuns.
Partially Observable Markov Decision Processes for Artificial Intelligence
Robust Processing of Natural Language
A Study of Cooperative Mobile Autonomous Agent Behaviors
An Extension of ExplanationBased Generalization to Negation as Failure
Inducing Integrity Constraints from Knowledge Bases
Dynamic Structuring of Lexical Knowledge in a Reusability Scenario
Efficient MemoryLimited Graph Search
What Is a Skeptical Proof?
A preferential construction semantics for defeasible inference
Actions That Make You Change Your Mind
Reasoning about Action with Typical and Atypical Effects
Actions with Abnormal Effects
Temporal Logic Based on Characteristic Functions
An Empirically Validated Model for Computing Spatial Relations
Outras edições - Visualizar todos
agent algorithm applications approach arguments Artificial Intelligence atom axioms basic belief boolean calculus characteristic function clause computation concept consists context DBIDA default logic default theory defined Definition denote depth-first search Description Logics dnet dnodes domain theory dynamic entailment environment episode evaluation example fillers finite formula given graph IC-schemes inference instance integrity constraints intuitionistic intuitionistic logic knowledge base knowledge packet knowledge representation level structures Markov decision processes maximization measure function minimal natural language natural language processing normal number of node operations optimal paper parallel path-consistency algorithm policy trees polynomial predicate preferred extension priority queue problem Proc Proceedings propagation propositional ranking measure recursive reference object represent robot rules semantic skeptical proof specified strategy symbols syntactic TACOS task temporal termination proofs terminological Theorem tion value function variables