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. 1995 - 275 pàgines
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.
Què en diuen els usuaris - Escriviu una ressenya
No hem trobat cap ressenya als llocs habituals.
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
Altres edicions - Mostra-ho tot
action agent algorithm applications approach arguments assume basic belief called characteristic function complete computation concept condition consider consists constraints construction contains context corresponding default defined Definition denote derived described domain dynamic effects environment example exists expansion expressions extension fact Figure formula framework function given graph holds hypothesis inference initial instance integrity interpretation intuitionistic logic knowledge knowledge base language learning lexical logic measure method natural node normal Note object observation operations parallel performed positive possible presented problem Proceedings programming proof properties proposed propositional prove ranking reasoning reduced reference relations represent representation respect restricted rules satisfying scenario selection semantic simple space spatial specified step strategy structure symbols task termination theory tion tree University variables