Knowledge representation

Logic programming

Reasoning with preferences

Preferred Answer Set Solver

A solver for logic programs with preferences

Alexander Šimko. A Descriptive Handling of Directly Conflicting Rules in Preferred Answer Sets. In Declarative Programming and Knowledge Management. Lecture Notes in Computer Science. Springer. 2014.

Alexander Šimko. A Family of Descriptive Approaches To Preferred Answer Sets. In Proceedings of the 15th International Workshop on Non-Monotonic Reasoning, pages 223-232. Wien : Technische Universitat, 2014.

Alexander Šimko. Logic programming with preferences on rules. Doctoral thesis. Comenius University. Bratislava. 2014.

You can find the list of all my publications here.

Best Newcomer Award, a best student paper award, for the paper Extension of Gelfond-Lifschitz Reduction for Preferred Answer Sets: Preliminary Report presented at 22th International Workshop on Functional and (Constraint) Logic programming, 27th Workshop on Logic Programming, 2013.

Copyright © Alexander Šimko 2019