( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Lukaszewicz-style Answer Set Programming: A Preliminary Report.

, , , , и . Answer Set Programming, том 78 из CEUR Workshop Proceedings, CEUR-WS.org, (2003)

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.

Ludwig Risch

Lothar Risch

Uta Risch

Uwe Risch

Katrin Risch

 

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

Tableaux-Based Characterization and Theorem Proving for default Logic., и . J. Autom. Reason., 13 (2): 223-242 (1994)A Tableau-Based Characterisation for Default Logic., и . ECSQARU, том 548 из Lecture Notes in Computer Science, стр. 310-317. Springer, (1991)Yet Some More Considerations On Cumulativity In Default Logics.. ECSQARU, том 946 из Lecture Notes in Computer Science, стр. 364-378. Springer, (1995)Argumentation Frameworks with Necessities., и . SUM, том 6929 из Lecture Notes in Computer Science, стр. 163-176. Springer, (2011)A Resilient Behavior Approach Based on Non-monotonic Logic., , , и . MICAI, том 11835 из Lecture Notes in Computer Science, стр. 403-413. Springer, (2019)The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus., , , и . Advances in Modal Logic, стр. 322-341. College Publications, (2016)Bipolar Argumentation Frameworks with Specialized Supports., и . ICTAI (1), стр. 215-218. IEEE Computer Society, (2010)Tableaux-Based Theorem Proving and Non-Standard Reasoning., и . TABLEAUX, стр. 76-78. (1992)Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system., и . Answer Set Programming, том 78 из CEUR Workshop Proceedings, CEUR-WS.org, (2003)A Reconstruction of Abstract Argumentation Admissible Semantics into Defaults and Answer Sets Programming., и . ICAART (1), стр. 237-242. SciTePress, (2012)