Christoph Lingenfelder

According to our database1, Christoph Lingenfelder authored at least 13 papers between 1989 and 2009.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
Open standards and cloud computing: KDD-2009 panel report.
Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28, 2009

2008
Event-Driven Quality of Service Prediction.
Proceedings of the Service-Oriented Computing, 2008

2007
Knowledge discovery standards.
Artif. Intell. Rev., 2007

2000
Presentation of proofs in modal natural deduction.
J. Log. Comput., 2000

1996
Optimizing the Presentation of Modal Natural Deduction Proofs.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1994
Überprüfung von Integritätsbedingungen in deduktiven Datenbanken durch SLDNF-Beweisanalyse und -strukturierung.
Proceedings of the Tenth Logic Programming Workshop, 1994

1993
Knowledge-based security administration in a distributed environment.
Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

1992
Using Knowledge-Based Methods to Administrate an Access Control System
IWBS Report, 1992

Der rechtliche Schutz von Software: Aktuelle Fragen und Probleme - Ein Diskussionspapier des GI-Arbeitskreises Software-Schutz.
Informatik Spektrum, 1992

Universally Quantified Queries in Language with Order-Sorted Logics.
Proceedings of the GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992

1991
Proof Transformation with Built-in Equality Predicate.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990
Transformation and structuring of computer generated proofs.
PhD thesis, 1990

1989
Structuring Computer Generated Proofs.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989


  Loading...