E-LIB Suche - Ergebnisse für: Fariñas del Cerro, Luis

1

Logical connectives for two-state semantics:

Cialdea Mayer, Marta ; Fariñas del Cerro, Luis
Journal of Applied Non-Classical Logics. 33 (2023) 3-4 - p. 520-536 , 2023

Link: https://doi.org/10.1080/..

2

Probabilistic Autoepistemic Equilibrium Logic:

, In: Advances in Applied Logics; Intelligent Systems Reference Library,

Cabalar, Pedro ; Fandinno, Jorge ; Fariñas del Cerro, Luis - p. 81-87 , 2023

Link: https://doi.org/10.1007/..

3

Metric dynamic equilibrium logic:

Becker, Arvid ; Cabalar, Pedro ; Diéguez, Martín...
Journal of Applied Non-Classical Logics. 33 (2023) 3-4 - p. 495-519 , 2023

Link: https://doi.org/10.1080/..

4

Abstract Argumentation and Answer Set Programming: Two Face..:

FANDINNO, JORGE ; FARIÑAS DEL CERRO, LUIS
Theory and Practice of Logic Programming. 23 (2022) 2 - p. 444-467 , 2022

Link: https://doi.org/10.1017/..

5

Multi-adjoint lattice logic and truth-stressing hedges:

Cornejo, M. Eugenia ; Fariñas del Cerro, Luis ; Medina, Jesús
Fuzzy Sets and Systems. 445 (2022) - p. 43-65 , 2022

Link: https://doi.org/10.1016/..

6

Multi-adjoint Lattice Logic. Properties and Query Answering:

, In: Progress in Artificial Intelligence; Lecture Notes in Computer Science,

Cornejo, Maria Eugenia ; Fariñas del Cerro, Luis ; Medina, Jesús - p. 701-712 , 2022

Link: https://doi.org/10.1007/..

7

A logical characterization of multi-adjoint algebras:

Cornejo, M. Eugenia ; Fariñas del Cerro, Luis ; Medina, Jesús
Fuzzy Sets and Systems. 425 (2021) - p. 140-156 , 2021

Link: https://doi.org/10.1016/..

8

Autoepistemic answer set programming:

Cabalar, Pedro ; Fandinno, Jorge ; Fariñas del Cerro, Luis
Artificial Intelligence. 289 (2020) - p. 103382 , 2020

Link: https://doi.org/10.1016/..

9

Autoepistemic equilibrium logic and epistemic specification:

Iraz Su, Ezgi ; Fariñas del Cerro, Luis ; Herzig, Andreas
Artificial Intelligence. 282 (2020) - p. 103249 , 2020

Link: https://doi.org/10.1016/..

10

Splitting Epistemic Logic Programs:

CABALAR, PEDRO ; FANDINNO, JORGE ; FARIÑAS DEL CERRO, LUIS
Theory and Practice of Logic Programming. 21 (2020) 3 - p. 296-316 , 2020

Link: https://doi.org/10.1017/..

11

Splitting Epistemic Logic Programs:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,

Cabalar, Pedro ; Fandinno, Jorge ; Fariñas del Cerro, Luis - p. 120-133 , 2019

Link: https://doi.org/10.1007/..

12

Functional ASP with Intensional Sets: Application to Gelfon..:

CABALAR, PEDRO ; FANDINNO, JORGE ; FARIÑAS DEL CERRO, LUIS.
Theory and Practice of Logic Programming. 18 (2018) 3-4 - p. 390-405 , 2018

Link: https://doi.org/10.1017/..

13

Errata and Addenda to 'Finite non-deterministic semantics f..:

Coniglio, Marcelo E. ; Fariñas del Cerro, Luis ; Peron, Newton M.
Journal of Applied Non-Classical Logics. 26 (2016) 4 - p. 336-345 , 2016

Link: https://doi.org/10.1080/..

14

Translation of first order formulas into ground formulas vi..:

Demolombe, Robert ; Fariñas del Cerro, Luis ; Obeid, Naji
Journal of Applied Logic. 15 (2016) - p. 130-149 , 2016

Link: https://doi.org/10.1016/..

15

Logical modeling of biological systems

ISTE

Inoue, Katsumi ; Fariñas del Cerro, Luis , 2014

Link: https://onlinelibrary.wi..