Ingrid Neumann

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1998

Deduktion in Vererbungsnetzen.

[DOI]

PhD thesis, 1998

1996

Graded Inheritance Nets for Knowledge Representation.

[DOI]

Proceedings of the Practical Reasoning, 1996

1995

Semantic Tableaus for Inheritance Nets.

[DOI]

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

1994

Strategies for Semantical Contractions.

[DOI]

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

1993

The Semantics of Rational Contractions.

[DOI]

Proceedings of the Progress in Artificial Intelligence, 1993