about
Semantic interpretation as computation in nonmonotonic logic: the real meaning of the suppression task.The empirical study of norms is just what we are missing.Some expert systems need common sense.Revisiting Grounded Circumscription in Description LogicsA tutorial on assumption-based argumentationA functional perspective on argumentation schemesSenses of ‘argument’ in instantiated argumentation frameworksStrong Backdoors for Default LogicOn the parameterized complexity of non-monotonic logicsThe Complexity of Reasoning for Fragments of Default LogicA KEYHOLE PLAN RECOGNITION MODEL FOR ALZHEIMER'S PATIENTS: FIRST RESULTSPERSPECTIVES IN KNOWLEDGE REPRESENTATIONThe COPD Ontology and Toward Empowering Clinical Scientists as Ontology EngineersGlobal ontology research progress: a bibliometric analysis
P2860
Q38411195-7BDA861C-0BC5-462B-8F64-3056F0D358E2Q42113840-B2940280-7234-4856-AB13-F2E446788B89Q43639810-03BF17FB-E10C-4998-980C-F5E678264FE5Q54824447-424BDA82-689A-4648-9DE4-F6318CC39FBEQ56551819-AE64D2A0-6951-4534-92BF-5244E8AB7B84Q57727084-0E242425-50A0-43EF-B255-C9EEC26207CAQ57727091-D25BCB41-F830-4E68-B445-DA70D0CA37B3Q57998270-6D3CA197-9F94-4865-993F-ED9C97B09A35Q57998282-EE470C58-90D3-4334-8821-DED66C5501CDQ57998330-2AE8AEE5-EFDF-4E0B-8358-1F0E3DE31819Q58166874-90D109A4-C371-4CB7-9B2B-849615616531Q58182374-2F001742-2B3F-4016-85EB-89FE5BB3B6D3Q58524172-D66671F7-8B72-40F0-B794-AEA6EFC54939Q58899912-56F9E156-7AFC-4E20-BB6E-359254559048
P2860
description
article
@en
im April 1980 veröffentlichter wissenschaftlicher Artikel
@de
wetenschappelijk artikel
@nl
наукова стаття, опублікована у квітні 1980
@uk
ലേഖനം
@ml
name
Circumscription—A form of non-monotonic reasoning
@en
Circumscription—A form of non-monotonic reasoning
@nl
type
label
Circumscription—A form of non-monotonic reasoning
@en
Circumscription—A form of non-monotonic reasoning
@nl
prefLabel
Circumscription—A form of non-monotonic reasoning
@en
Circumscription—A form of non-monotonic reasoning
@nl
P1476
Circumscription—A form of non-monotonic reasoning
@en
P356
10.1016/0004-3702(80)90011-9
P407
P577
1980-04-01T00:00:00Z