Author of the publication

Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports.

, , , and . FoIKS, volume 10833 of Lecture Notes in Computer Science, page 150-169. Springer, (2018)

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

Logics with Structured Contexts., and . AIMSA, page 43-50. North-Holland, (1990)Declarative Semantics for Modal Logic Programs., , and . FGCS, page 507-514. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)Mutual Belief Logic for Processing Definite Reference., and . Natural Language Understanding and Natural Language Understanding Workshop, page 65-78. North-Holland, (1984)Epistemic Equilibrium Logic., , and . IJCAI, page 2964-2970. AAAI Press, (2015)An Inference Rule for Hypothesis Generation., and . IJCAI, page 152-157. Morgan Kaufmann, (1991)Space as Time.. Inf. Process. Lett., 17 (3): 113-115 (1983)Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports., , , and . FoIKS, volume 10833 of Lecture Notes in Computer Science, page 150-169. Springer, (2018)Specification and Verification of Networks Protocols Using., and . Symposium on Programming, volume 167 of Lecture Notes in Computer Science, page 59-73. Springer, (1984)Constructive Logic Covers Argumentation and Logic Programming., and . KR, page 128-137. AAAI Press, (2018)FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions., , and . IJCAI, page 891-897. IJCAI/AAAI, (2013)