Author of the publication

On the Verification and Existence Problems in Epistemic Argumentation Framework.

, , , , and . AI³@AI*IA, volume 3546 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)

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

Binding Propagation in Disjunctive Databases.. VLDB, page 287-298. Morgan Kaufmann, (1998)Optimization of Linear Logic Programs Using Counting Methods., and . EDBT, volume 580 of Lecture Notes in Computer Science, page 72-87. Springer, (1992)Consistent query answering over inconsistent databases., and . Int. J. Knowl. Based Intell. Eng. Syst., 15 (3): 119-129 (2011)Querying and Updating Inconsistent Databases (Extended Abstract)., , , and . SEBD, page 438-445. Esculapio Editore, (2010)An Architecture for Integrating Genetic and Clinical Data., , , and . ICCS, volume 29 of Procedia Computer Science, page 1959-1969. Elsevier, (2014)Prioritized Active Integrity Constraints for Database Maintenance., , and . SEBD, page 20-31. (2006)Negative Logic Programs., and . NACLP, page 480-497. MIT Press, (1990)Optimization of bound disjunctive queries with constraints., , , and . Theory Pract. Log. Program., 5 (6): 713-745 (2005)Checking termination of bottom-up evaluation of logic programs with function symbols., , , and . Theory Pract. Log. Program., 15 (6): 854-889 (2015)Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity., , , and . AAAI, page 6175-6184. AAAI Press, (2021)