Ciencias da Computación e Tecnoloxías da Información
Departamento
Universidad de Málaga
Málaga, EspañaPublicacións en colaboración con investigadores/as de Universidad de Málaga (17)
2024
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2023
-
Computational approaches to Explainable Artificial Intelligence: Advances in theory, applications and trends
Information Fusion, Vol. 100
2022
-
Combining multiple granularity variability in a software product line approach for web engineering
Information and Software Technology, Vol. 148
2020
-
Artificial intelligence within the interplay between natural and artificial computation: Advances in data science, trends and applications
Neurocomputing, Vol. 410, pp. 237-270
2018
-
Answer Set Programming from a Logical Point of View
KI - Kunstliche Intelligenz, Vol. 32, Núm. 2-3, pp. 109-118
-
Integrating the common variability language with multilanguage annotations for web engineering
ACM International Conference Proceeding Series
2017
-
Machine learning models to search relevant genetic signatures in clinical context
Proceedings of the International Joint Conference on Neural Networks
-
On the properties of atom definability and well-supportedness in logic programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Stable reasoning
Journal of Applied Non-Classical Logics, Vol. 27, Núm. 3-4, pp. 238-254
2014
-
A free logic for stable models with partial intensional functions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8761, pp. 340-354
2009
-
A revised concept of safety for general answer set programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
Minimal logic programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Partial equilibrium logic
Annals of Mathematics and Artificial Intelligence
2006
-
Analysing and extending well-founded and partial stable semantics using partial equilibrium logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
On the logic and computation of partial equilibrium models
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2005
-
Reducing propositional theories in equilibrium logic to logic programs
CEUR Workshop Proceedings
-
Reducing propositional theories in equilibrium logic to logic programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)