Chair of Knowledge Representation and Reasoning

Organisational unit: Chair

Contact

Parent units

Institute of Artificial Intelligence

Keywords

Research Focus

Related content and researchers (public profile)

Research output
Journals
Prizes

Visual Argument Structure Tool (VAST) 1.0

Leising, D., Grenke, O. & Cramer, M., 16 Jul 2022, In: PsyArXiV Preprints.

Research output: Contribution to journal › Research article › Contributed › peer-review

Smoke Test Planning using Answer Set Programming

Philipp, T., Roland, V. & Schweizer, L., 1 Feb 2021, In: International journal of interactive multimedia and artificial intelligence : IJIMAI. 6, 5, p. 57-65 9 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT

Manthey, N., Nyssen, R. P. & Rudolph, S., 2020, In: Künstliche Intelligenz : KI. 34, 3, p. 389-394 6 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

Fuzzing and verifying RAT refutations with deletion information

Forkel, W., Rebola-Pardo, A., Werner, E. & Philipp, T., 2017, FLAIRS 2017 - Proceedings of the 30th International Florida Artificial Intelligence Research Society Conference.

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Efficient Axiom Pinpointing in EL using SAT Technology

Manthey, N., Peñaloza, R. & Rudolph, S., 2016, Proceedings of the 29th International Workshop on Description Logics (DL'16). Lenzerini, M. & Peñaloza, R. (eds.). CEUR Workshop Proceedings, Vol. 1577.

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

View all research output (9)