Paraconsistency in hybrid logic
暂无分享,去创建一个
[1] Itala M. Loffredo D'Ottaviano,et al. Paraconsistency: The Logical Way to the Inconsistent , 2002 .
[2] Arnon Avron,et al. The Value of the Four Values , 1998, Artif. Intell..
[3] Ullrich Hustadt,et al. Resolution-Based Methods for Modal Logics , 2000, Log. J. IGPL.
[4] Manuel A. Martins,et al. Inconsistencies in health care knowledge , 2014, 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom).
[5] Patrick Blackburn,et al. Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto , 2000, Log. J. IGPL.
[6] Anna Zamansky,et al. Distance-based non-deterministic semantics for reasoning with uncertainty , 2009, Log. J. IGPL.
[7] Torben Braüner,et al. Axioms for classical, intuitionistic, and paraconsistent hybrid logic , 2006, J. Log. Lang. Inf..
[8] Richard Spencer-Smith,et al. Modal Logic , 2007 .
[9] B. T. Cate,et al. Model theory for extended modal languages , 2005 .
[10] Anthony Hunter,et al. On the measure of conflicts: Shapley Inconsistency Values , 2010, Artif. Intell..
[11] Kees Middelburg,et al. A Survey of Paraconsistent Logics , 2011, ArXiv.
[12] Sandra de Amo,et al. A paraconsistent logic programming approach for querying inconsistent databases , 2007, Int. J. Approx. Reason..
[13] João Marcos. Modality and Paraconsistency , 2005 .
[14] N. Costa,et al. Remarks on the applications of paraconsistent logic to physics , 2003 .
[15] Dov M. Gabbay,et al. Handbook of paraconsistency , 2007 .
[16] Jørgen Villadsen,et al. Paraconsistent Query Answering Systems , 2002, FQAS.
[17] S. Jaskowski. A propositional calculus for inconsistent deductive systems , 2004 .
[18] Anna Zamansky,et al. A framework for reasoning under uncertainty based on non-deterministic distance semantics , 2011, Int. J. Approx. Reason..
[19] George Boolos,et al. Computability and logic , 1974 .
[20] John Grant,et al. Analysing inconsistent first-order knowledgebases , 2008, Artif. Intell..
[21] Francesco Paoli,et al. Paraconsistency: Logic and Applications , 2013, Logic, Epistemology, and the Unity of Science.
[22] D. Holdstock. Past, present--and future? , 2005, Medicine, conflict, and survival.
[23] Mohd Kamir Yusof,et al. Comparative Study of Techniques in Reducing Inconsistent Data , 2012 .
[24] Shahid Rahman,et al. Logic, Epistemology, and the Unity of Science , 2004, Logic, Epistemology, and the Unity of Science.
[25] Anthony Hunter,et al. Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information , 1995, ECSQARU.
[26] Germano Lambert-Torres,et al. Uncertainty Treatment Using Paraconsistent Logic - Introducing Paraconsistent Artificial Neural Networks , 2010, Frontiers in Artificial Intelligence and Applications.
[27] John Grant,et al. Measuring inconsistency in knowledgebases , 2006, Journal of Intelligent Information Systems.
[28] Patrick Blackburn,et al. Internalizing labelled deduction , 2000, J. Log. Comput..
[29] Neil A. Ernst,et al. Agile requirements engineering via paraconsistent reasoning , 2014, Inf. Syst..