Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Dependence Logic with Generalized Quantifiers: Axiomatizations., , and . WoLLIC, volume 8071 of Lecture Notes in Computer Science, page 138-152. Springer, (2013)Transplendent Models: Expansions Omitting a Type., and . Notre Dame J. Formal Log., 53 (3): 413-428 (2012)Cognitively Adequate Complexity of Reasoning in a Description Logic., and . KoDis+CAKR@KR, volume 3548 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Symbolic Reasoning with Bounded Cognitive Resources., , , and . CogSci, cognitivesciencesociety.org, (2014)Generating Comprehensible Explanations in Description Logic., , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 530-542. CEUR-WS.org, (2014)Bounded Kolmogorov Complexity Based on Cognitive Models., , , and . AGI, volume 7999 of Lecture Notes in Computer Science, page 130-139. Springer, (2013)Reasoning About Truth in First-Order Logic., , , and . J. Log. Lang. Inf., 22 (1): 115-137 (2013)