( en | de | ru )

 

Disambiguation of "Risch, Vincent"

Author of the publication

copydeleteadd this publication to your clipboard
Lukaszewicz-style Answer Set Programming: A Preliminary Report.

, , , , and . Answer Set Programming, volume 78 of 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. You can also use the button next to the name to display some publications already assigned to the person.

Ludwig Risch

Lothar Risch

Uta Risch

Uwe Risch

Katrin Risch

 

Other publications of authors with the same name

Tableaux-Based Characterization and Theorem Proving for default Logic., and . J. Autom. Reason., 13 (2): 223-242 (1994)Yet Some More Considerations On Cumulativity In Default Logics.. ECSQARU, volume 946 of Lecture Notes in Computer Science, page 364-378. Springer, (1995)A Tableau-Based Characterisation for Default Logic., and . ECSQARU, volume 548 of Lecture Notes in Computer Science, page 310-317. Springer, (1991)Argumentation Frameworks with Necessities., and . SUM, volume 6929 of Lecture Notes in Computer Science, page 163-176. Springer, (2011)A Resilient Behavior Approach Based on Non-monotonic Logic., , , and . MICAI, volume 11835 of Lecture Notes in Computer Science, page 403-413. Springer, (2019)Tableaux-Based Theorem Proving and Non-Standard Reasoning., and . TABLEAUX, page 76-78. (1992)The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus., , , and . Advances in Modal Logic, page 322-341. College Publications, (2016)Bipolar Argumentation Frameworks with Specialized Supports., and . ICTAI (1), page 215-218. IEEE Computer Society, (2010)Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system., and . Answer Set Programming, volume 78 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)Comparing a Pair-Wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results., , and . ECSQARU, volume 2143 of Lecture Notes in Computer Science, page 580-591. Springer, (2001)