Computer Science and Information Technologies

A Fixpoint Characterisation of Temporal Equilibrium Logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Compiling Metric Temporal Answer Set Programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Metric dynamic equilibrium logic
Journal of Applied Non-Classical Logics, Vol. 33, Núm. 3-4, pp. 495-519
On the Semantics of Hybrid ASP Systems Based on Clingo
Algorithms, Vol. 16, Núm. 4
Past-Present Temporal Programs over Finite Traces
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Past-present temporal programs over finite traces: a preliminary report
CEUR Workshop Proceedings

Metric Temporal Answer Set Programming over Timed Traces
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A Uniform Treatment of Aggregates and Constraints in Hybrid ASP
KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING
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
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
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

Department