Ciencias da Computación e Tecnoloxías da Información

Departamento

On the Semantics of Hybrid ASP Systems Based on Clingo
Algorithms, Vol. 16, Núm. 4
Probabilistic Autoepistemic Equilibrium Logic
Intelligent Systems Reference Library (Springer Science and Business Media Deutschland GmbH), pp. 81-87

A polynomial reduction of forks into logic programs
Artificial Intelligence, Vol. 308
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs
Algorithms, Vol. 15, Núm. 6
Syntactic ASP Forgetting with Forks
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A logic program transformation for strongly persistent forgetting
Electronic Proceedings in Theoretical Computer Science, EPTCS
Towards a semantics for hybrid asp systems
Electronic Proceedings in Theoretical Computer Science, EPTCS

A system for explainable answer set programming
Electronic Proceedings in Theoretical Computer Science, EPTCS
A uniform treatment of aggregates and constraints in hybrid ASP
17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
An asp semantics for constraints involving conditional aggregates
Frontiers in Artificial Intelligence and Applications
Autoepistemic answer set programming
Artificial Intelligence, Vol. 289
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning
CEUR Workshop Proceedings
Eclingo: A solver for epistemic logic programs
Theory and Practice of Logic Programming
Explicit negation in linear-dynamic equilibrium logic
Frontiers in Artificial Intelligence and Applications
Forgetting auxiliary atoms in forks
IJCAI International Joint Conference on Artificial Intelligence
Modular Answer Set Programming as a Formal Specification Language
Theory and Practice of Logic Programming
On the splitting property for epistemic logic programs (extended abstract)
IJCAI International Joint Conference on Artificial Intelligence
Splitting Epistemic Logic Programs
Theory and Practice of Logic Programming