Description logic, theory combination, and all that essays dedicated to Franz Baader on the occasion of his 60th birthday - Lutz, Carsten 1971-; Sattler, Ulrike 1966-; Tinelli, Cesare; Turhan, Anni-Yasmin; Wolter, Frank (Springer, 2019)
Keywords: Mathematical Logic and Formal Languages; Artificial Intelligence; Logics and Meanings of Programs; Computer Appl. in Administrative Data Processing; Software Engineering/Programming and Operating Systems; Information Systems and Communication Service; Computer science; Artificial intelligence; Logic design; Information systems; Software engineering; Festschrift