Christoph Lingenfelder

According to our database, Christoph Lingenfelder authored at least 18 papers between 1989 and 2022.

Collaborative distances:

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

2022

Explaining Black-box Predictions by Generating Local Meaningful Perturbations.

Tejaswani Verma, Christoph Lingenfelder, Dietrich Klakow

Int. J. Semantic Comput., 2022

2021

Measuring Interaction-based Secondary Task Load: A Large-Scale Approach using Real-World Driving Data.

Patrick Ebel, Christoph Lingenfelder, Andreas Vogelsang

Proceedings of the AutomotiveUI '21: 13th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Leeds, United Kingdom, September 9-14, 2021, 2021

Visualizing Event Sequence Data for User Behavior Evaluation of In-Vehicle Information Systems.

Patrick Ebel, Christoph Lingenfelder, Andreas Vogelsang

Proceedings of the AutomotiveUI '21: 13th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2021

2020

Destination Prediction Based on Partial Trajectory Data.

Patrick Ebel, Ibrahim Emre Göl, Christoph Lingenfelder, Andreas Vogelsang

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

Defining Explanation in an AI Context.

Tejaswani Verma, Christoph Lingenfelder, Dietrich Klakow

Proceedings of the Third BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP, 2020

2009

Open standards and cloud computing: KDD-2009 panel report.

Michael Zeller, Robert Grossman, Christoph Lingenfelder, Michael R. Berthold, Erik Marcadé, Rick Pechter, Mike Hoskins, Wayne Thompson, Rich Holada

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.

Liangzhao Zeng, Christoph Lingenfelder, Hui Lei, Henry Chang

Proceedings of the Service-Oriented Computing, 2008

2007

Knowledge discovery standards.

Sarabjot S. Anand, Marko Grobelnik, Frank Herrmann, Mark F. Hornick, Christoph Lingenfelder, Niall Rooney, Dietrich Wettschereck

Artif. Intell. Rev., 2007

2000

Presentation of proofs in modal natural deduction.

Erika F. de Lima, Christoph Lingenfelder

J. Log. Comput., 2000

1996

Optimizing the Presentation of Modal Natural Deduction Proofs.

Erika F. de Lima, Christoph Lingenfelder

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1994

Überprüfung von Integritätsbedingungen in deduktiven Datenbanken durch SLDNF-Beweisanalyse und -strukturierung.

Stefan Decker, Christoph Lingenfelder

Proceedings of the Tenth Logic Programming Workshop, 1994

1993

Knowledge-based security administration in a distributed environment.

Christoph Lingenfelder, Sven Lorenz

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

Christoph Lingenfelder, Astrid Schmücker-Schend

IWBS Report, 1992

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

Freimut Bodendorf, Manfred Broy, Herbert Burkert, Albert Endres, Herbert Fiedler, V. Ilzhöfer, H. Kappus, Christoph Lingenfelder, C. Müller, Franz Stetter

Inform. Spektrum, 1992

Universally Quantified Queries in Language with Order-Sorted Logics.

Stefan Decker, Christoph Lingenfelder

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.

Christoph Lingenfelder, Axel Präcklein

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990

Transformation and structuring of computer generated proofs.

Christoph Lingenfelder

PhD thesis, 1990

1989

Structuring Computer Generated Proofs.

Christoph Lingenfelder

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989