Applications

Detalhes bibliográficos
Autor(a) principal: Abe, Jair Minoro [UNESP]
Data de Publicação: 2015
Outros Autores: Akama, Seiki, Nakamatsu, Kazumi, Abe, JM, Akama, S, Nakamatsu, K
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://dx.doi.org/10.1007/978-3-319-17912-4_6
http://hdl.handle.net/11449/244997
Resumo: This chapter discusses applications of annotated logics for various areas. After reviewing paraconsistent logic programming and generalized annotated logic programming, we survey promising applications to knowledge representation, neural computing, automation and robotics.
id UNSP_8cfc99e7382110b64a116769ad88bbdb
oai_identifier_str oai:repositorio.unesp.br:11449/244997
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling ApplicationsThis chapter discusses applications of annotated logics for various areas. After reviewing paraconsistent logic programming and generalized annotated logic programming, we survey promising applications to knowledge representation, neural computing, automation and robotics.Univ Estadual Paulista, Sao Paulo, BrazilUniv Hyogo, Himeji, Hyogo 6712201, JapanUniv Estadual Paulista, Sao Paulo, BrazilSpringerUniversidade Estadual Paulista (UNESP)Univ HyogoAbe, Jair Minoro [UNESP]Akama, SeikiNakamatsu, KazumiAbe, JMAkama, SNakamatsu, K2023-07-29T11:34:28Z2023-07-29T11:34:28Z2015-01-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article111-173http://dx.doi.org/10.1007/978-3-319-17912-4_6Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 111-173, 2015.1868-4394http://hdl.handle.net/11449/24499710.1007/978-3-319-17912-4_6WOS:000367913200007Web of Sciencereponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPengIntroduction To Annotated Logics: Foundations For Paracomplete And Paraconsistent Reasoninginfo:eu-repo/semantics/openAccess2023-07-29T11:34:28Zoai:repositorio.unesp.br:11449/244997Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-08-05T22:14:41.743367Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Applications
title Applications
spellingShingle Applications
Abe, Jair Minoro [UNESP]
title_short Applications
title_full Applications
title_fullStr Applications
title_full_unstemmed Applications
title_sort Applications
author Abe, Jair Minoro [UNESP]
author_facet Abe, Jair Minoro [UNESP]
Akama, Seiki
Nakamatsu, Kazumi
Abe, JM
Akama, S
Nakamatsu, K
author_role author
author2 Akama, Seiki
Nakamatsu, Kazumi
Abe, JM
Akama, S
Nakamatsu, K
author2_role author
author
author
author
author
dc.contributor.none.fl_str_mv Universidade Estadual Paulista (UNESP)
Univ Hyogo
dc.contributor.author.fl_str_mv Abe, Jair Minoro [UNESP]
Akama, Seiki
Nakamatsu, Kazumi
Abe, JM
Akama, S
Nakamatsu, K
description This chapter discusses applications of annotated logics for various areas. After reviewing paraconsistent logic programming and generalized annotated logic programming, we survey promising applications to knowledge representation, neural computing, automation and robotics.
publishDate 2015
dc.date.none.fl_str_mv 2015-01-01
2023-07-29T11:34:28Z
2023-07-29T11:34:28Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dx.doi.org/10.1007/978-3-319-17912-4_6
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 111-173, 2015.
1868-4394
http://hdl.handle.net/11449/244997
10.1007/978-3-319-17912-4_6
WOS:000367913200007
url http://dx.doi.org/10.1007/978-3-319-17912-4_6
http://hdl.handle.net/11449/244997
identifier_str_mv Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. Berlin: Springer-verlag Berlin, v. 88, p. 111-173, 2015.
1868-4394
10.1007/978-3-319-17912-4_6
WOS:000367913200007
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Introduction To Annotated Logics: Foundations For Paracomplete And Paraconsistent Reasoning
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 111-173
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv Web of Science
reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv
_version_ 1808129408154730496

Registros relacionados