Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results
暂无分享,去创建一个
Madalina Croitoru | Srdjan Vesic | Pierre Bisquert | Bruno Yun | Madalina Croitoru | Bruno Yun | Pierre Bisquert | Srdjan Vesic | M. Croitoru
[1] Meghyn Bienvenu,et al. On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies , 2012, AAAI.
[2] Abdelraouf Hecham,et al. An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query Answering , 2017, Description Logics.
[3] Phan Minh Dung,et al. On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..
[4] Jia-Huai You,et al. Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering , 2016, IJCAI.
[5] Leila Amgoud,et al. Postulates for logic-based argumentation systems , 2014, Int. J. Approx. Reason..
[6] Pietro Baroni,et al. SCC-recursiveness: a general schema for argumentation semantics , 2005, Artif. Intell..
[7] Madalina Croitoru,et al. A Structural Benchmark for Logical Argumentation Frameworks , 2017, IDA.
[8] Jean-Marie Lagniez,et al. CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver , 2015, 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI).
[9] Abdelraouf Hecham,et al. Argumentation-Based Defeasible Reasoning For Existential Rules , 2017, AAMAS.
[10] Stefan Woltran,et al. The cf2 argumentation semantics revisited , 2013, J. Log. Comput..
[11] Hannes Strass,et al. Summary Report of The First International Competition on Computational Models of Argumentation , 2016, AI Mag..
[12] Abdelraouf Hecham,et al. Substantive Irrationality in Cognitive Systems , 2016, ECAI.
[13] Martin Caminada,et al. On the evaluation of argumentation formalisms , 2007, Artif. Intell..
[14] Maurizio Lenzerini,et al. Inconsistency-Tolerant Semantics for Description Logics , 2010, RR.
[15] Massimiliano Giacomin,et al. Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach , 2013, TAFA.
[16] Andrea Calì,et al. A general Datalog-based framework for tractable query answering over ontologies , 2012, J. Web Semant..
[17] Sebastian Rudolph,et al. Mixing Materialization and Query Rewriting for Existential Rules , 2014, ECAI.
[18] Madalina Croitoru,et al. Are Ranking Semantics Sensitive to the Notion of Core? , 2017, AAMAS.
[19] Madalina Croitoru,et al. What Can Argumentation Do for Inconsistent Ontology Query Answering? , 2013, SUM.
[20] Abdallah Arioua,et al. Explanatory dialogues with argumentative faculties over inconsistent knowledge bases , 2017, Expert Syst. Appl..
[21] Abdallah Arioua,et al. DALEK: A Tool for Dialectical Explanations in Inconsistent Knowledge Bases , 2016, COMMA.
[22] Abdallah Arioua,et al. Logic-based argumentation with existential rules , 2017, Int. J. Approx. Reason..
[23] Pietro Baroni,et al. An introduction to argumentation semantics , 2011, The Knowledge Engineering Review.
[24] Abdallah Arioua,et al. A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks , 2016, ECAI.
[25] Madalina Croitoru,et al. An Argumentation Workflow for Reasoning in Ontology Based Data Access , 2016, COMMA.
[26] Andrea Calì,et al. A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.
[27] Jean-François Baget,et al. On rules with existential variables: Walking the decidability line , 2011, Artif. Intell..