Many-Valued Dynamic Object-Oriented Inheritance and Approximations

von Szalas, Andrzej
Veröffentlicht in IJCRS (2021 : Bratislava, Online) Rough Sets (2021)

Decision-Making Support Using Nonmonotonic Probabilistic Reasoning

von Szałas, Andrzej
Veröffentlicht in KES International Conference on Intelligent Decision Technologies (11. : 2019 : Malta) Intelligent decision technologies 2019 ; Volume 1 (2020)

On correspondence between modal and classical logic : automated approach ; [Contract ITS 9102]

von Szałas, Andrzej
Veröffentlicht 1992

Querying and Reasoning in Paraconsistent Rule-Object Languages with Inheritance Expressions

von Szałas, Andrzej
Veröffentlicht in ICCCI (14. : 2022 : Hammamet; Online) Computational collective intelligence (2022)

On natural deduction in fixpoint logics

von Szałas, Andrzej
Veröffentlicht 1992

A fixpoint approach to second order quantifier elimination with applications to correspondence theory

von Nonnengart, Andreas
Veröffentlicht 1995

Time and logic : a computational approach

Veröffentlicht 1995

Rough Forgetting

von Doherty, Patrick
Veröffentlicht in IJCRS (2020 : Online) Rough sets (2020)

Computing circumscription revisited : A reduction algorithm

von Doherty, Patrick
Veröffentlicht 1994

Time and logic : a computational approach

Veröffentlicht 1995

A characterization results for circumscribed normal logic programs

von Doherty, Patrick
Veröffentlicht 1995

General domain circumscription and its first-order reduction

von Doherty, Patrick
Veröffentlicht 1996

Second-order quantifier elimination: foundations, computational aspects and applications

von Gabbay, Dov M.
Veröffentlicht 2008

Logic, language and reasoning : essays in honour of Dov Gabbay

Veröffentlicht 1999