Considerations on default logics

von Schaub, Torsten
Veröffentlicht 1992

Consideration on default logics

von Schaub, Torsten
Veröffentlicht 1993

<<The>> automation of reasoning with incomplete information : from semantic foundations to efficient computation

von Schaub, Torsten
Veröffentlicht 1998

Considerations on default logics

von Schaub, Torsten
Veröffentlicht 1992

˜Theœ automation of reasoning with incomplete information : from semantic foundations to efficient computation

von Schaub, Torsten
Veröffentlicht 1998

The automation of reasoning with incomplete information : from semantic foundations to efficient computation

von Schaub, Torsten
Veröffentlicht 1998

Consideration on default logics

von Schaub, Torsten
Veröffentlicht 1993

Nichtmonotone Logiken und ein Default-Beweiser

von Schaub, Torsten
Veröffentlicht 1990

Considerations on default logics

von Schaub, Torsten H.
Veröffentlicht 1992

Wissensrepräsentation und Inferenz : eine grundlegende Einführung

von Bibel, Wolfgang
Veröffentlicht 1993

Wissensrepräsentation und Inferenz : eine grundlegende Einführung

von Bibel, Wolfgang
Veröffentlicht 1993

Modern constraint answer set solving

von Ostrowski, Max
Veröffentlicht 2018

Wissensrepräsentation und Inferenz : eine grundlegende Einführung

Veröffentlicht 1993

Preference Relations by Approximation

von Alviano, Mario
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (16. : 2018 : Tempe, Ariz.) Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (2018)

A UNIFORM TREATMENT OF AGGREGATES AND CONSTRANTS IN HYBRID ASP

von Cabalar, Pedro
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)

An ASP Semantics for Constraints Involving Conditional Aggregates

von Cabalar, Pedro
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 1 (2020)

Implementing Dynamic Answer Set Programming over Finite Traces

von Cabalar, Pedro
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 1 (2020)

Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming

von Yamada, Yuya
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

Past-Present Temporal Programs over Finite Traces

von Cabalar, Pedro
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

Introducing Temporal Stable Models for Linear Dynamic Logic

von Bosser, Anne-Gwenn
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (16. : 2018 : Tempe, Ariz.) Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (2018)