Formal logics for imprecise quantities

被引：0

作者：

Gottwald, Siegfried ^{[1
]}

机构：

[1] Abteilung Logik und Wissenschaftstheorie am Institut für Philosophie, Universität Leipzig, Beethovenstr. 15, Leipzig,04107, Germany

来源：

Informatik-Spektrum | 2015年 / 38卷 / 06期

关键词：

Compendex;

D O I：

10.1007/s00287-015-0930-9

中图分类号：

学科分类号：

摘要：

引用

页码：533 / 542

共 50 条

[31] Framing of Imprecise Quantities: When Are Lower Interval Bounds Preferred to Upper Bounds?
Halberg, Anne-Marie
Teigen, Karl Halvor
JOURNAL OF BEHAVIORAL DECISION MAKING, 2009, 22 (05) : 490 - 509
[32] Volume II: New advances in Logics of Formal Inconsistency
Alejandro Barrio, Eduardo
Carnielli, Walter
LOGIC JOURNAL OF THE IGPL, 2020, 28 (05) : 845 - 850
[33] Research on formal models of railway signal interlocking logics
Chen, Bang-Xing
Wu, Fang-Mei
Tiedao Xuebao/Journal of the China Railway Society, 2002, 24 (06):
[34] Combining Description Logics and Typicality Effects in Formal Ontologies
Frixione, Marcello
Lieto, Antonio
AI(STAR)IA 2011: ARTIFICIAL INTELLIGENCE AROUND MAN AND BEYOND, 2011, 6934 : 401 - 406
[35] Formal Concept Analysis and Structures Underlying Quantum Logics
Kridlo, Ondrej
Ojeda-Aciego, Manuel
INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS: THEORY AND FOUNDATIONS, IPMU 2018, PT I, 2018, 853 : 574 - 584
[36] Volume I: Recovery operators in logics of formal inconsistency
Alejandro Barrio, Eduardo
Carnielli, Walter
LOGIC JOURNAL OF THE IGPL, 2020, 28 (05) : 615 - 623
[37] Semantifying formal concept analysis using description logics
Jiang, Yuncheng
KNOWLEDGE-BASED SYSTEMS, 2019, 186
[38] AN ANALYSIS OF FORMAL LOGICS AS INFERENCE MECHANISMS IN EXPERT SYSTEMS
MAMDANI, EH
EFSTATHIOU, J
INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1984, 21 (03): : 213 - 227
[39] The material and the formal Truth Connection, A Study concerning mathematical Logics
Freytag, Willy
ARCHIV FUR DIE GESAMTE PSYCHOLOGIE, 1930, 77 (1-2): : 67 - 96
[40] CONSISTENCY OF STRUCTURED KNOWLEDGE - A FORMAL FRAMEWORK BASED ON DESCRIPTION LOGICS
HORS, P
ROUSSET, MC
EXPERT SYSTEMS WITH APPLICATIONS, 1995, 8 (03) : 371 - 380

← 1 2 3 4 5 →