Using modelica programs for deriving propositional horn clause abduction problems

Bernhard Peischl*, Ingo Pill, Franz Wotawa

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Fingerprint

Dive into the research topics of 'Using modelica programs for deriving propositional horn clause abduction problems'. Together they form a unique fingerprint.

Engineering

Computer Science

Mathematics

Earth and Planetary Sciences