Author of the publication

Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence.

, and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 279-286. Springer, (2019)

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

On the Antecedent Normal Form of Conditional Knowledge Bases., and . ECSQARU, volume 11726 of Lecture Notes in Computer Science, page 175-186. Springer, (2019)Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations., , and . Ann. Math. Artif. Intell., 87 (1-2): 5-41 (2019)Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions.. University of Hagen, Germany, (2021)InfOCF-Lib: A Java Library for OCF-based Conditional Inference.. DKB/KIK@KI, volume 2445 of CEUR Workshop Proceedings, page 47-58. CEUR-WS.org, (2019)InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions., and . IJCAI, page 4996-4999. ijcai.org, (2021)On Rational Monotony and Weak Rational Monotony for Inference Relations Induced by Sets of Minimal C-Representations., , and . FLAIRS, page 458-463. AAAI Press, (2019)A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures., , and . FLAIRS, (2021)Computation of Closures of Nonmonotonic Inference Relations Induced by Conditional Knowledge Bases., and . ECSQARU, volume 11726 of Lecture Notes in Computer Science, page 226-237. Springer, (2019)Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence., and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 279-286. Springer, (2019)