Zobrazeno 1 - 10
of 88
pro vyhledávání: '"LUIS FARIÑAS DEL CERRO"'
Publikováno v:
Fuzzy Sets and Systems. 445:43-65
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2a366f2bed52cebdf8add8b96d9e56c0
https://doi.org/10.1016/j.fss.2022.03.006
https://doi.org/10.1016/j.fss.2022.03.006
Autor:
JORGE FANDINNO, LUIS FARIÑAS DEL CERRO
Publikováno v:
Theory and Practice of Logic Programming. 23:444-467
In this work, we show that both logic programming and abstract argumentation frameworks can be interpreted in terms of Nelson’s constructive logic N4. We do so by formalising, in this logic, two principles that we call noncontradictory inference an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b26acbfa88373a82f4073bbd5b8ae844
https://doi.org/10.1017/s1471068422000114
https://doi.org/10.1017/s1471068422000114
Publikováno v:
Fuzzy Sets and Systems. 425:140-156
This paper introduces a logical characterization of multi-adjoint algebras with a twofold contribution. On the one hand, the study of multi-adjoint algebras, from a logical perspective, will allow us to discover both the core and new features of thes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb8f58979599f7db2f1a54badf33ea00
https://doi.org/10.1016/j.fss.2021.02.003
https://doi.org/10.1016/j.fss.2021.02.003
Publikováno v:
Computational Intelligence and Mathematics for Tackling Complex Problems 4 ISBN: 9783031077067
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4647c82a61f9ad0c725f72f4c858bd92
https://doi.org/10.1007/978-3-031-07707-4_2
https://doi.org/10.1007/978-3-031-07707-4_2
Autor:
Coniglio, Marcelo E1 (AUTHOR) coniglio@cle.unicamp.br, Luis, Fariñas Del Cerro2 (AUTHOR), Newton, Marques Peron3 (AUTHOR)
Publikováno v:
Logic Journal of the IGPL. Jun2020, Vol. 28 Issue 3, p281-315. 35p.
Publikováno v:
Progress in Artificial Intelligence ISBN: 9783031164736
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5f7805f6340b152068836e0678580762
https://doi.org/10.1007/978-3-031-16474-3_57
https://doi.org/10.1007/978-3-031-16474-3_57
Publikováno v:
IJCAI
Epistemic logic programs constitute an extension of the stable model semantics to deal with new constructs called "subjective literals." Informally speaking, a subjective literal allows checking whether some objective literal is true in all or some s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bbf17c3ee04dd4b1f1c411c75f307adb
https://doi.org/10.24963/ijcai.2020/653
https://doi.org/10.24963/ijcai.2020/653
Publikováno v:
Artificial Intelligence
Artificial Intelligence, Elsevier, 2020, 282, pp.103249. ⟨10.1016/j.artint.2020.103249⟩
Artificial Intelligence, Elsevier, 2020, 282, pp.103249. ⟨10.1016/j.artint.2020.103249⟩
International audience; Epistemic specifications extend disjunctive answer-set programs by an epistemic modal operator that may occur in the body of rules. Their semantics is in terms of world views, which are sets of answer sets, and the idea is tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f92d068c435f82ee38328b72095dbcb0
https://hal.archives-ouvertes.fr/hal-02945872
https://hal.archives-ouvertes.fr/hal-02945872
Publikováno v:
LPNMR 2019: Logic Programming and Nonmonotonic Reasoning
International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019)
International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019), Jun 2019, Philadelphia, PA, United States. pp.120-133
Logic Programming and Nonmonotonic Reasoning ISBN: 9783030205270
LPNMR
International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019)
International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019), Jun 2019, Philadelphia, PA, United States. pp.120-133
Logic Programming and Nonmonotonic Reasoning ISBN: 9783030205270
LPNMR
Epistemic logic programs constitute an extension of the stable models semantics to deal with new constructs called subjective literals. Informally speaking, a subjective literal allows checking whether some regular literal is true in all stable model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::347697c0cb6753f074141f97a659f975
https://hal.archives-ouvertes.fr/hal-02378387
https://hal.archives-ouvertes.fr/hal-02378387
Publikováno v:
Journal of Applied Non-Classical Logics. 26:336-345
In this note, an error in the axiomatization of Ivlev’s modal system which we inadvertedly reproduced in our paper “Finite non-deterministic semantics for some modal systems” (CFP2015), is fixed. Additionally, some axioms proposed in (CFP2015)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a26b640e123ed66505cce9ee0915c707
https://doi.org/10.1080/11663081.2017.1300436
https://doi.org/10.1080/11663081.2017.1300436