![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
19. KI 1995: Bielefeld
- Ipke Wachsmuth
, Claus-Rainer Rollinger, Wilfried Brauer:
KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings. Lecture Notes in Computer Science 981, Springer 1995, ISBN 3-540-60343-3
Invited Papers
- Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra:
Partially Observable Markov Decision Processes for Artificial Intelligence. 1-17 - Wolfgang Menzel:
Robust Processing of Natural Language. 19-34 - William M. Bricken:
Distinction Networks. 35-48 - Ruzena Bajcsy, Jana Kosecká:
The Problem of Signal and Symbol Integration: A Study of Cooperative Mobile Autonomous Agent Behaviors. 49-64
Knowledge Organization and Optimization
- Stefan Schrödl:
An Extension of Explanation-Based Generalization to Negation as Failure. 65-76 - Roman Englert:
Inducing Integrity Constraints from Knowledge Bases. 77-88 - Wilfried Hötker:
Dynamic Structuring of Lexical Knowledge in a Reusability Scenario. 89-100 - Jürgen Eckerle, Sven Schuierer:
Efficient Memory-Limited Graph Search. 101-112
Logic and Reasoning
- Klemens Schnattinger, Udo Hahn, Manfred Klenner:
Quality-Based Terminological Reasoning for Concept Learning. 113-124 - Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik:
Task Acquisition with a Description Logic Reasoner. 125-136 - Frank W. Bergmann, J. Joachim Quantz:
Parallelizing Description Logics. 137-148 - Jürgen Giesl:
Automated Termination Proofs with Measure Functions. 149-160
Nonmonotony
- Michael Thielscher:
What Is a Skeptical Proof? 161-172 - Emil Weydert:
Default Entailment: A Preferential Construction Semantics for Defeasible Inference. 173-184
Action and Change
- Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Actions That Make You Change Your Mind (Extended Abstract). 185-196 - Anna Radzikowska:
Reasoning about Action with Typical and Atypical Effects. 197-208 - Witold Lukaszewicz, Ewa Madalinska-Bugaj:
Reasoning about Action and Change: Actions with Abnormal Effects. 209-220 - Maroua Bouzid, Antoni Ligeza:
Temporal Logic Based on Characteristic Functions. 221-232
Spatial Reasoning
- Bernhard Nebel:
Computational Properties of Qualitative Spatial Reasoning: First Results. 233-244 - Klaus-Peter Gapp:
An Empirically Validated Model for Computing Spatial Relations. 245-256 - Gerd Herzog, Karl Rohr:
Integrating Vision and Language: Towards Automatic Description of Human Movements. 257-268
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.