COMPLEXITY OF NON-MONOTONIC LOGICS

被引：0
|
作者：
Toran, Jacob [1 ]
Thomas, Michael [2 ]
Vollmer, Heribert [2 ]
机构：
[1] Univ Ulm, Dept Theoret Informat, Oberer Eselsberg, D-89069 Ulm, Germany
[2] Leibniz Univ Hannover, Inst Theoret Informat, Hannover, Germany
来源：
BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE | 2010年 / 102期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The study of the complexity of logical problems has provided a very fruitful field of research since many decades. On the one hand researchers have tried to classify exactly in terms of complexity classes and upper and lower bounds the complexity of decision and other logical problems. Although in general such problems are of high complexity, efforts have been made to develop efficient algorithms to solve such problems when restricted to important logic fragments, that are relevant in the praxis. Michael Thomas and Heribert Vollmer survey in this excellent column recent complexity results for fragments of languages of non-monotonic logics.
引用
收藏
页码：53 / 82
页数：30
相关论文
共 50 条
  • [1] On the parameterized complexity of non-monotonic logics
    Meier, Arne
    Schindler, Irina
    Schmidt, Johannes
    Thomas, Michael
    Vollmer, Heribert
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2015, 54 (5-6) : 685 - 710
  • [2] On the parameterized complexity of non-monotonic logics
    Arne Meier
    Irina Schindler
    Johannes Schmidt
    Michael Thomas
    Heribert Vollmer
    [J]. Archive for Mathematical Logic, 2015, 54 : 685 - 710
  • [3] Monotonic and non-monotonic logics of knowledge
    Parikh, Rohit
    [J]. Fundamenta Mathematicae, 1991, 15 (3-4) : 255 - 274
  • [4] On the intertranslatability of non-monotonic logics
    Janhunen, T
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1999, 27 (1-4) : 79 - 128
  • [5] Non-monotonic Temporal Logics for Goal Specification
    Baral, Chitta
    Zhao, Jicheng
    [J]. 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 236 - 242
  • [6] Handling and measuring inconsistency in non-monotonic logics
    Ulbricht, Markus
    Thimm, Matthias
    Brewka, Gerhard
    [J]. ARTIFICIAL INTELLIGENCE, 2020, 286 (286)
  • [7] Modeling generalized implicatures using non-monotonic logics
    Wainer J.
    [J]. Journal of Logic, Language and Information, 2007, 16 (2) : 195 - 216
  • [8] Reasoning Biases, Non-Monotonic Logics and Belief Revision
    Novaes, Catarina Dutilh
    Veluwenkamp, Herman
    [J]. THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2017, 83 (01): : 29 - 52
  • [9] First-order non-monotonic modal logics
    Kaminski, Michael
    Guy, Rey
    [J]. Fundamenta Informaticae, 2000, 42 (03) : 303 - 333
  • [10] Range of applicability of some non-monotonic logics for strict inertia
    Sandewall, E.
    [J]. Journal of Logic and Computation, 1994, 4 (05)
12345