A system for modal and deontic defeasible reasoning

被引:0
|
作者
Antoniou, Grigoris [1 ]
Dimaresis, Nikos [1 ]
Governatori, Guido [2 ]
机构
[1] FORTH, Inst Comp Sci, POB 1385, GR-71110 Iraklion, Greece
[2] Univ Queensland, Sch ITEE, Brisbane, Qld 4072, Australia
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
引用
收藏
页码:609 / +
页数:2
相关论文
共 50 条
  • [1] A System for Modal and Deontic Defeasible Reasoning
    Antoniou, Grigoris
    Dimaresis, Nikos
    Governatori, Guido
    [J]. APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 2261 - +
  • [2] A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems
    Antoniou, Grigoris
    Dimaresis, Nikos
    Governatori, Guido
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2009, 36 (02) : 4125 - 4134
  • [3] A defeasible deontic reasoning system based on annotated logic programming
    Nakamatsu, K
    Abe, JM
    Suzuki, A
    [J]. COMPUTING ANTICIPATORY SYSTEMS, 2001, 573 : 609 - 620
  • [4] CONDITIONAL DEONTIC LOGIC AUGMENTED WITH DEFEASIBLE REASONING
    RYU, YU
    [J]. DATA & KNOWLEDGE ENGINEERING, 1995, 16 (01) : 73 - 91
  • [5] DEFEASIBLE DEONTIC REASONING AND ITS APPLICATIONS TO NORMATIVE SYSTEMS
    RYU, YU
    LEE, RM
    [J]. DECISION SUPPORT SYSTEMS, 1995, 14 (01) : 59 - 73
  • [6] A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web
    Kontopoulos, Efstratios
    Bassiliades, Nick
    Governatori, Guido
    Antoniou, Grigoris
    [J]. INTERNATIONAL JOURNAL ON SEMANTIC WEB AND INFORMATION SYSTEMS, 2011, 7 (01) : 18 - 43
  • [7] An argumentation system for defeasible reasoning
    Amgoud, Leila
    Nouioua, Farid
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017, 85 : 1 - 20
  • [8] On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic
    Allaire, Marc
    Governatori, Guido
    [J]. PRIMA 2014: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS, 2014, 8861 : 74 - 90
  • [9] EVID - A SYSTEM FOR INTERACTIVE DEFEASIBLE REASONING
    CAUSEY, RL
    [J]. DECISION SUPPORT SYSTEMS, 1994, 11 (02) : 103 - 131
  • [10] A defeasible reasoning system for inconsistent ontologies
    Peng, Zhiping
    Ke, Wende
    Shi, Zhongzhi
    [J]. Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2012, 40 (01): : 40 - 44