LOGIC AND SEMANTIC NETWORKS

被引：25

作者：

DELIYANNI, A

KOWALSKI, RA

机构：

[1] UNIV LONDON IMPERIAL COLL SCI & TECHNOL,DEPT COMP & CONTROL,LONDON SW7 2BZ,ENGLAND

[2] UNIV ATHENS,DIV ELECTR,ATHENS,GREECE

来源：

关键词：

D O I：

10.1145/359080.359090

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：184 / 192

页数：9

共 50 条

[31] Semantic Web Logic Programming tools
Alferes, JJ
Damásio, CV
Pereira, LM
PRINCIPLES AND PRACTICE OF SEMANTIC WEB REASONING, 2003, 2901 : 16 - 32
[32] A Semantic Framework for the Impure Logic of Ground
Louis deRosset
Journal of Philosophical Logic, 2024, 53 : 463 - 491
[33] A defeasible logic reasoner for the Semantic Web
Bassiliades, N
Antoniou, G
Vlahavas, L
RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS, 2004, 3323 : 49 - 64
[34] Semantic Paradoxes and Transparent Intensional Logic
Raclavsky, Jiri
LOGICA YEARBOOK 2011, 2012, : 239 - 251
[35] A Semantic Framework for the Impure Logic of Ground
deRosset, Louis
JOURNAL OF PHILOSOPHICAL LOGIC, 2024, 53 (02) : 493 - 520
[36] Meaning, Classical Logic and Semantic Realism
Vignolo, Massimiliano
PROLEGOMENA, 2010, 9 (01): : 25 - 44
[37] Semantic Penumbra: Concept Similarity in Logic
Woods, John
TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 2012, 31 (01): : 121 - 134
[38] SYSTEMATIC SEMANTIC APPROXIMATIONS OF LOGIC PROGRAMS
NILSSON, U
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 291 - 306
[39] A defeasible logic reasoner for the semantic web
Bassiliades, Nick
Antoniou, Grigoris
Vlahavas, Ioannis
INTERNATIONAL JOURNAL ON SEMANTIC WEB AND INFORMATION SYSTEMS, 2006, 2 (01) : 1 - 41
[40] A Nonstandard Semantic Framework for Intuitionistic Logic
Puncochar, Vit
LOGICA YEARBOOK 2015, 2016, : 179 - 192