Author of the publication

Probable Consistency Checking for Sets of Propositional Clauses.

. ECSQARU, volume 2711 of Lecture Notes in Computer Science, page 464-476. Springer, (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.

 

Other publications of authors with the same name

Contouring of Knowledge for Intelligent Searching for Arguments.. ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 250-254. IOS Press, (2006)Argumentation Using Temporal Knowledge., and . COMMA, volume 172 of Frontiers in Artificial Intelligence and Applications, page 204-215. IOS Press, (2008)Meta-Reasoning in Executable Temporal Logic., , , and . KR, page 40-49. Morgan Kaufmann, (1991)Measuring Inconsistency in Argument Graphs.. CoRR, (2017)Identifying Linear Relational Concepts in Large Language Models., , and . CoRR, (2023)Probable Consistency Checking for Sets of Propositional Clauses.. ECSQARU, volume 2711 of Lecture Notes in Computer Science, page 464-476. Springer, (2003)Machine Learning for Utility Prediction in Argument-Based Computational Persuasion., , , and . AAAI, page 5592-5599. AAAI Press, (2022)Inducing Probability Distributions from Knowledge Bases with (In)dependence Relations., , and . AAAI, page 339-344. AAAI Press, (2010)Understanding Enthymemes in Deductive Argumentation Using Semantic Distance Measures.. AAAI, page 5729-5736. AAAI Press, (2022)Knowledge Acquisition and Corpus for Argumentation-Based Chatbots., and . AI³@AI*IA, volume 2528 of CEUR Workshop Proceedings, page 1-14. CEUR-WS.org, (2019)