Reasoning about Normative Systems

被引：0
|
作者：
van der Hoek, Wiebe [1 ]
机构：
[1] Univ Liverpool, Dept Comp Sci, Liverpool L69 3BX, Merseyside, England
来源：
LEGAL KNOWLEDGE AND INFORMATION SYSTEMS | 2010年 / 223卷
关键词：
D O I：
10.3233/978-1-60750-682-9-3
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：3 / 3
页数：1
相关论文
共 50 条
  • [1] Reasoning about Dynamic Normative Systems
    Knobbout, Max
    Dastani, Mehdi
    Meyer, John-Jules Ch
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, 2014, 8761 : 628 - 636
  • [2] Reasoning about actions, knowledge and normative ability
    Lai, Xianwei
    Hu, Shanli
    Ning, Zhengyuan
    [J]. INTELLIGENT INFORMATION PROCESSING III, 2006, 228 : 43 - +
  • [3] A Unifying Framework for Reasoning about Normative Conflicts
    Beirlaen, Mathieu
    [J]. LOGICA YEARBOOK 2011, 2012, : 1 - 14
  • [4] Temporal reasoning:: An application to normative systems
    Stratulat, T
    Clérin-Debart, F
    Enjalbert, P
    [J]. EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 41 - 47
  • [5] WHAT ARE THE FOUNDATIONS OF NORMATIVE THEORIES ABOUT HUMAN REASONING
    COHEN, LJ
    [J]. BEHAVIORAL AND BRAIN SCIENCES, 1987, 10 (02) : 312 - 313
  • [6] Reasoning about quantum systems
    Mateus, P
    Sernadas, A
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 239 - 251
  • [7] REASONING ABOUT CONTINUOUS SYSTEMS
    CHANDY, KM
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1990, 14 (2-3) : 117 - 132
  • [8] Reasoning about interactive systems
    Back, R
    Mikhajlova, A
    von Wright, J
    [J]. FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1460 - 1476
  • [9] REASONING ABOUT INTERACTIVE SYSTEMS
    AMBRIOLA, V
    NOTKIN, D
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (02) : 272 - 276
  • [10] REASONING ABOUT NAMING SYSTEMS
    BOWMAN, M
    DEBRAY, SK
    PETERSON, LL
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (05): : 795 - 825
12345