Argumentation-Based Defeasible Reasoning For Existential Rules
暂无分享,去创建一个
Abdelraouf Hecham | Madalina Croitoru | Pierre Bisquert | Pierre Bisquert | Abdelraouf Hecham | M. Croitoru
[1] Andrea Calì,et al. A general Datalog-based framework for tractable query answering over ontologies , 2012, J. Web Semant..
[2] Henry Prakken,et al. An abstract framework for argumentation with structured arguments , 2010, Argument Comput..
[3] Henry Prakken,et al. Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.
[4] Michael J. Maher,et al. Efficient defeasible reasoning systems , 2000, Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000.
[5] Guillermo Ricardo Simari,et al. Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.
[6] Jean-François Baget,et al. Graal: A Toolkit for Query Answering with Existential Rules , 2015, RuleML.
[7] Guillermo Ricardo Simari,et al. On the Influence of Incoherence in Inconsistency-tolerant Semantics for Datalog± , 2015, JOWO@IJCAI.
[8] Guillermo Ricardo Simari,et al. Inconsistency-Tolerant Reasoning in Datalog ^± ± Ontologies via an Argumentative Semantics , 2014, IBERAMIA.
[9] Michael J. Maher,et al. Argumentation Semantics for Defeasible Logic , 2004, J. Log. Comput..
[10] Paul J. Krause,et al. A review of current defeasible reasoning implementations , 2008, Knowl. Eng. Rev..
[11] Ronald Fagin,et al. Data exchange: semantics and query answering , 2003, Theor. Comput. Sci..
[12] 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..
[13] Abdelraouf Hecham,et al. Formalizing Cognitive Acceptance of Arguments: Durum Wheat Selection Interdisciplinary Study , 2017, Minds and Machines.
[14] Abdelraouf Hecham,et al. Substantive Irrationality in Cognitive Systems , 2016, ECAI.
[15] Jean-François Baget,et al. Extending Acyclicity Notions for Existential Rules , 2014, ECAI.
[16] Abdallah Arioua,et al. A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks , 2016, ECAI.
[17] Andrea Calì,et al. A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.