. German Research Center for Artificial Intelligence GmbH


Persistent Bibliographic Information Record
b3-540-58467-6

Nebel and Dreschler-Fischer (1994)

Bibliographic Reference:

Nebel and Dreschler-Fischer (1994)
B. Nebel, L. Dreschler-Fischer (eds.): KI-94: Advances in Artificial Intelligence. 18th German Annual Conference on Artificial Intelligence. Berlin, Heidelberg: Springer, 1994.

Description:

This volume presents the proceedings of the 18th German Annual Conference on Artificial Intelligence (KI-94), held in Saarbrücken in September 1994. 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.

*Information from the Publisher:
Book description is available
*PBIR:
The unique LIDOS PBIR Identifier is b3-540-58467-6
*URL:
This page is located at http://www.dfki.uni-sb.de/imedia/lidos/pbir/b3-540-58467-6.html
*PURL:
Hyperlinks to this page should refer to http://purl.org/dfki/pbir/b3-540-58467-6.html, the persistent URL of this bibliographic information record

Contents:

1
H. H. Nagel. AI Approaches towards Sensor-Based Driver Support in Road Vehicles. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 1-15. Springer, Berlin, Heidelberg, 1994.

2
S.-E. Bornscheuer and M. Thielscher. Representing Concurrent Actions and Solving Conflicts. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 16-27. Springer, Berlin, Heidelberg, 1994.

3
K. Goos. Preselection Strategies fpor Case Based Classification. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 28-38. Springer, Berlin, Heidelberg, 1994.

4
E. Stopp, K.-P. Gapp, G. Herzog, T. Laengle, and T. C. Lueth. Utilizing Spatial Relations for Natural Language Access to an Autonomous Mobile Robot. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 39-50. Springer, Berlin, Heidelberg, 1994.

5
F. Baader, M. Buchheit, and B. Hollunder. Cardinality Restrictions on Concepts. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 51-62. Springer, Berlin, Heidelberg, 1994.

6
M. Pomplun, B. Velichkovsky, and H. Ritter. An Artificial Neural Network for High Precision Eye Movement Tracking. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 63-69. Springer, Berlin, Heidelberg, 1994.

7
V. Kuznetsov. A Kripke-Kleene Logic over General Logic Programs. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 70-81. Springer, Berlin, Heidelberg, 1994.

8
J. Dix and M. Müller. The Stable Semantics and Its Variants: A Comparison of Recent Approaches. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 82-93. Springer, Berlin, Heidelberg, 1994.

9
I. Glöckner, A. Grieszl, M. Müller, and M. Ronthaler. TabVer: A Case Study in Table Verbalization. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 94-105. Springer, Berlin, Heidelberg, 1994.

10
A. Jameson, B. Kipper, A. Ndiaye, R. Schäfer, J. Simons, T. Weis, and D. Zimmermann. Cooperating to Be Noncooperative: The Dialog System PRACMA. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 106-117. Springer, Berlin, Heidelberg, 1994.

11
B. Pfahringer. Robust Constructive Induction. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 118-129. Springer, Berlin, Heidelberg, 1994.

12
T. Fuhr, F. Kummert, and G. Sagerer. Enriching a Semantic Network Language by Integrating Qualitative Reasoning Techniques. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 130-141. Springer, Berlin, Heidelberg, 1994.

13
V. Haarslev, R. Möller, and C. Schröder. Combining Spatial and Terminological Reasoning. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 142-153. Springer, Berlin, Heidelberg, 1994.

14
J. W. Schaaf. Detecting Gestalts in CAD-Plans to Be Used as Indices for Case-Retrieval in Architecture. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 154-165. Springer, Berlin, Heidelberg, 1994.

15
E. Schikuta. The NeuDB-System: Towards the Integration of Neural Networks and Database Systems. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 166-177. Springer, Berlin, Heidelberg, 1994.

16
J. J. Quantz and S. Suska. Weighted Defaults in Description Logics: Formal Properties and Proof Theory. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 178-189. Springer, Berlin, Heidelberg, 1994.

17
A. Becker and G. Lakemeyer. Epistemic Queries in Classic. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 190-201. Springer, Berlin, Heidelberg, 1994.

18
B. van Linder, W. van der Hoek, and J.-J. C. Meyer. Communicating Rational Agents. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 202-213. Springer, Berlin, Heidelberg, 1994.

19
J. Meyer-Fujara, B. Heller, S. Schlegelmilch, and I. Wachsmuth. Knowledge-Level Modularization of a Complex Knowledge Base. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 214-225. Springer, Berlin, Heidelberg, 1994.

20
W. Lukaszewicz and E. Madalinska-Bugaj. Program Verification Techniques as a Tool for Reasoning about Action and Change. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 226-236. Springer, Berlin, Heidelberg, 1994.

21
L. Farinas del Cerro and A. Herzig. A Conditional Logic for Updating in the Possible Models Approach. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 237-247. Springer, Berlin, Heidelberg, 1994.

22
G. Schurz. Probabilistic Justification of Default Reasoning. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 248-259. Springer, Berlin, Heidelberg, 1994.

23
G. Zaverucha. A Prioritized Contextual Default Logic: Curing Anomalous Extensions with a Simple Abnormality Default Theory. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 260-271. Springer, Berlin, Heidelberg, 1994.

24
J. P. Delgrande and T. H. Schaub. Incorporating Specificity into Circumscriptive Theories. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 272-283. Springer, Berlin, Heidelberg, 1994.

25
H. Rott. Coherent Choice and Epistemic Entrenchment(Preliminary Report). In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 284-295. Springer, Berlin, Heidelberg, 1994.

26
Z. Lin and W. Li. A Note on Tableaux of Logic of Paradox. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 296-307. Springer, Berlin, Heidelberg, 1994.

27
N. Asher and J. Lang. When Nonmonoticity Comes From Distances. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 308-318. Springer, Berlin, Heidelberg, 1994.

28
G. Becher and U. Petermann. Rigid Unification by Completion and Rigid Paramodulation. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 319-330. Springer, Berlin, Heidelberg, 1994.

29
M. Kohlhase. Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 331-342. Springer, Berlin, Heidelberg, 1994.

30
J. Denzinger and M. Fuchs. Goal Oriented Equational Theorem Proving Using Team Work. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 343-354. Springer, Berlin, Heidelberg, 1994.

31
I. P. Gent and T. Walsh. The Hardest Random SAT Problems. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 355-366. Springer, Berlin, Heidelberg, 1994.

32
P. Madden. Formal Methods for Automated Program Improvement. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 367-378. Springer, Berlin, Heidelberg, 1994.

33
X. Huang, M. Kerber, M. Kohlhase, and J. Richts. Adapting Methods to Novel Tasks in Proof Planning. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, pp. 379-390. Springer, Berlin, Heidelberg, 1994.

34
J. W. Amtrup. Using Charts for Transfer in MT. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, p. 391. Springer, Berlin, Heidelberg, 1994.

35
M. Baaz and K. Hörwein. A New Frame For Common-Sense Reasoning-Towards Local Inconsistencies. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, p. 392. Springer, Berlin, Heidelberg, 1994.

36
M.-O. Cordier and P. Siegel. Prioritized Transitions for Updates. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, p. 393. Springer, Berlin, Heidelberg, 1994.

37
J. Eckerle. An Optimal Bidirectional Search Algorithm. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, p. 394. Springer, Berlin, Heidelberg, 1994.

38
B. Filipic, I. Zun, and M. Perpar. Learning to Discriminate Phases in Gas-Liquid Flow. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, p. 395. Springer, Berlin, Heidelberg, 1994.

39
J. Giesl and I. Neumann. Strategies for Semantical Contractions. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, p. 396. Springer, Berlin, Heidelberg, 1994.

40
J. S. J. H. Penders. Conflicts in the Spatial Interaction of Autonomous Agents. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, p. 397. Springer, Berlin, Heidelberg, 1994.

41
S. Rapp, M. Jessen, and G. Dogil. Using Rough Sets Theory to Predict German Word Stress. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, p. 398. Springer, Berlin, Heidelberg, 1994.

42
K. Schädler. Graphtheoretical Algorithms and Knowledge-Based Design. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, p. 399. Springer, Berlin, Heidelberg, 1994.

43
E. Ternovskaia. Interval Situation Calculus. In B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, p. 400. Springer, Berlin, Heidelberg, 1994.




Gerd Herzog
Last update: Mon Jan 20 22:27:45 MET 1997


Send comments to herzog@acm.org