Ludwig Ostermayer

According to our database, Ludwig Ostermayer authored at least 6 papers between 2013 and 2017.

Collaborative distances:

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

2017

Integration of Prolog and Java with the Connector Architecture CAPJa.

Ludwig Ostermayer

PhD thesis, 2017

Source Code Verification for Embedded Systems using Prolog.

Frank Flederer, Ludwig Ostermayer, Dietmar Seipel, Sergio Montenegro

Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017

2015

Seamless Cooperation of Java and Prolog for Rule-Based Software Development.

Ludwig Ostermayer

Proceedings of the RuleML 2015 Challenge, 2015

2014

PPI - A Portable Prolog Interface for Java.

Ludwig Ostermayer, Frank Flederer, Dietmar Seipel

Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 2014

CAPJA - A Connector Architecture for Prolog and Java.

Ludwig Ostermayer, Frank Flederer, Dietmar Seipel

Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering (KESE10) co-located with 21st European Conference on Artificial Intelligence (ECAI 2014), 2014

2013

A Prolog Framework for Integrating Business Rules into Java Applications.

Ludwig Ostermayer, Dietmar Seipel

Proceedings of 9th Workshop on Knowledge Engineering and Software Engineering (KESE9) co-located with the 36th German Conference on Artificial Intelligence (KI2013), 2013