Strong and explicit negation in non-monotonic reasoning and logic programming

被引：0
|
作者：
Alferes, JJ
Pereira, LM
Przymusinski, TC
机构：
[1] UNIV NOVA LISBOA, CITIA, P-2825 MONTE DE CAPARICA, PORTUGAL
[2] UNIV NOVA LISBOA, DCS, P-2825 MONTE DE CAPARICA, PORTUGAL
[3] UNIV CALIF RIVERSIDE, DEPT COMP SCI, RIVERSIDE, CA 92521 USA
来源：
LOGICS IN ARTIFICIAL INTELLIGENCE | 1996年 / 1126卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
下载
收藏
页码：143 / 163
页数：21
相关论文
共 50 条
  • [41] 'Classical' Negation in Nonmonotonic Reasoning and Logic Programming
    José Júlio Alferes
    Luís Moniz Pereira
    Teodor C. Przymusinski
    Journal of Automated Reasoning, 1998, 20 : 107 - 142
  • [42] 'Classical' negation in nonmonotonic reasoning and logic programming
    Alferes, JJ
    Pereira, LM
    Przymusinski, TC
    JOURNAL OF AUTOMATED REASONING, 1998, 20 (1-2) : 107 - 142
  • [43] Non-monotonic Reasoning via Dynamic Consequence
    Areces, Carlos
    Cassano, Valentin
    Fervari, Raul
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2022, 2022, 13468 : 395 - 410
  • [44] Automated non-monotonic reasoning in System P
    Stojanovic, Tatjana
    Ikodinovic, Nebojsa
    Davidovic, Tatjana
    Ognjanovic, Zoran
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2021, 89 (5-6) : 471 - 509
  • [45] Non-monotonic and uncertain reasoning in cognition - Introduction
    Schurz, G
    Leitgeb, H
    SYNTHESE, 2005, 146 (1-2) : 1 - 5
  • [46] Component selection using non-monotonic reasoning
    Seddon, AP
    Brereton, P
    ARTIFICIAL INTELLIGENCE IN ENGINEERING, 1996, 10 (03): : 235 - 241
  • [47] Automated non-monotonic reasoning in System P
    Tatjana Stojanović
    Nebojša Ikodinović
    Tatjana Davidović
    Zoran Ognjanović
    Annals of Mathematics and Artificial Intelligence, 2021, 89 : 471 - 509
  • [48] Non-monotonic reasoning rules for energy efficiency
    Tomazzoli, Claudio
    Cristani, Matteo
    Karafili, Erisa
    Olivieri, Francesco
    JOURNAL OF AMBIENT INTELLIGENCE AND SMART ENVIRONMENTS, 2017, 9 (03) : 345 - 360
  • [49] Component selection using non-monotonic reasoning
    Staffordshire Univ, Staffordshire, United Kingdom
    Artif Intell Eng, 3 (235-241):
  • [50] Reasoning over Ontologies and Non-monotonic Rules
    Ivanov, Vadim
    Knorr, Matthias
    Leite, Joao
    PROGRESS IN ARTIFICIAL INTELLIGENCE-BK, 2015, 9273 : 388 - 401
12345