Bases de datos bibliográficos Pascal y Francis

Ayuda

Exportación

Selección :

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

Epistemic Logic Founded on Nonignorance

Autor
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
Titulo de la publicación
Foundations and Applications of Granular Computing
Autor ( monografía)
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
Fuente

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

CODEN
IJISED
ISSN
0884-8173
Campo Científico
Computer science
Editor
Wiley, Hoboken, NJ
País de la publicación
United States
Tipo de documento
Article
Idioma
English
Palabra clave (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
Palabra clave (in)
Axiomatic Completeness Belief Imperfect information First order logic Propositional logic Epistemic logic Kripke model Modeling Knowledge representation Semantics
Palabra clave (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
Clasificación
Pascal
001 Exact sciences and technology / 001D Applied sciences / 001D02 Computer science; control theory; systems / 001D02A Theoretical computing / 001D02A04 Logical, boolean and switching functions

Disciplina
Computer science : theoretical automation and systems
Procedencia
Inist-CNRS
Base de datos
PASCAL
Identificador INIST
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

Acceso al documento

Buscar en la web