( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Antecedent Normal Form of Conditional Knowledge Bases.

, и . ECSQARU, том 11726 из Lecture Notes in Computer Science, стр. 175-186. 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.

Christoph Beierle

Christoph Beierle

Eva Beierle

Ben Beierle

Jörg Beierle

 

Другие публикации лиц с тем же именем

Cognitive Logics - Features, Formalisms, and Challenges., , , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 2931-2932. IOS Press, (2020)Iterated Belief Change, Computationally., и . KR, (2022)Properties of System W and Its Relationships to Other Inductive Inference Operators., и . FoIKS, том 13388 из Lecture Notes in Computer Science, стр. 206-225. Springer, (2022)Decrement Operators in Belief Change., и . ECSQARU, том 11726 из Lecture Notes in Computer Science, стр. 251-262. Springer, (2019)A kinematics principle for iterated revision., , и . Artif. Intell., (2023)Automatic Analysis of Programming Assignments., , и . DeLFI, том P-37 из LNI, стр. 144-153. GI, (2003)Ein erweiterbares interaktives Online-Übungssystem mit Aufgaben zu Aussagen- und Prädikatenlogik., и . DeLFI, том P-87 из LNI, стр. 243-254. GI, (2006)Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen., , , , и . DeLFI, том P-66 из LNI, стр. 523-524. GI, (2005)Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation., , , и . KI, том 12325 из Lecture Notes in Computer Science, стр. 204-218. Springer, (2020)Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 5. Auflage., и . Computational intelligence SpringerVieweg, (2014)