Ingrid Neumann

According to our database, Ingrid Neumann authored at least 5 papers between 1993 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1998

Deduktion in Vererbungsnetzen.

Ingrid Neumann

PhD thesis, 1998

1996

Graded Inheritance Nets for Knowledge Representation.

Ingrid Neumann

Proceedings of the Practical Reasoning, 1996

1995

Semantic Tableaus for Inheritance Nets.

Ingrid Neumann

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

1994

Strategies for Semantical Contractions.

Jürgen Giesl, Ingrid Neumann

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

1993

The Semantics of Rational Contractions.

Jürgen Giesl, Ingrid Neumann

Proceedings of the Progress in Artificial Intelligence, 1993