Pascal and Francis Bibliographic Databases

Help

Export

Selection :

Permanent link
http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=27717133

Epistemic Logic Founded on Nonignorance

Author
AKAMA, Seiki; MURAI, Tetsuya1 ; KUDO, Yasuo2
[1] Graduate School of Engineering, Hokkaido University, Sapporo, 080-8628, Japan
[2] Department of Computer Science and Systems Engineering, Muroran Institute of Technology, Muroran, 050-8585, Japan
Issue title
Foundations and Applications of Granular Computing
Author (monograph)
LIN, Tsau Young (Editor)1 ; KUDO, Yasuo (Editor)2 ; MIYAMOTO, Sadaaki (Editor)3
[1] Department of Computer Science, San Jose State University, San Jose, CA, United States
[2] College of Information and Systems, Muroran Institute of Technology, Muroran, Japan
[3] Graduate School of Systems and Information Engineering, University of Tsukuba, Tsukuba, Japan
Source

International journal of intelligent systems. 2013, Vol 28, Num 9, pp 883-891, 9 p ; ref : 8 ref

CODEN
IJISED
ISSN
0884-8173
Scientific domain
Computer science
Publisher
Wiley, Hoboken, NJ
Publication country
United States
Document type
Article
Language
English
Keyword (fr)
Axiomatique Complétude Croyance Information imparfaite Logique ordre 1 Logique propositionnelle Logique épistémique Modèle Kripke Modélisation Représentation connaissance Sémantique
Keyword (en)
Axiomatic Completeness Belief Imperfect information First order logic Propositional logic Epistemic logic Kripke model Modeling Knowledge representation Semantics
Keyword (es)
Axiomático Completitud Creencia Información imperfecta Lógica orden 1 Lógica proposicional Lógica epistemica Modelo Kripke Modelización Representación conocimientos Semántica
Classification
Pascal
001 Exact sciences and technology / 001D Applied sciences / 001D02 Computer science; control theory; systems / 001D02A Theoretical computing / 001D02A04 Logical, boolean and switching functions

Discipline
Computer science : theoretical automation and systems
Origin
Inist-CNRS
Database
PASCAL
INIST identifier
27717133

Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS

Access to the document

Searching the Web