A Tableau Calculus for a Multi-modal Logic of Dishonesty. - Sanja Pavlovic; Hans Tompits (AI*IA, 2018)

Answer Set Programs Challenged by Ontologies. - Magdalena Ortiz 001; Sanja Pavlovic; Mantas Simkus (Description Logics, 2019)

Ontology-Enriched Data Management with Partially Complete Data. - Sanja Pavlovic (RuleML+RR (Supplement), 2019)

Resilient Logic Programs: Answer Set Programs Challenged by Ontologies. - Sanja Lukumbuzya; Magdalena Ortiz 001; Mantas Simkus (AAAI, 2020)

Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. - Tomasz Gogacz; Sanja Lukumbuzya; Magdalena Ortiz 001; Mantas Simkus (KR, 2020)

Process Mining with Common Sense. - Diego Calvanese; Sanja Lukumbuzya; Marco Montali; Mantas Simkus (Problems@BPM, 2021)

Bounded Predicates in Description Logics with Counting. - Sanja Lukumbuzya; Mantas Simkus (IJCAI, 2021)

On the Expressive Power of Ontology-Mediated Queries: Capturing coNP. - Sanja Lukumbuzya; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2023)

The biggest business process management problems to solve before we die. - Iris Beerepoot; Claudio Di Ciccio; Hajo A. Reijers; Stefanie Rinderle-Ma; Wasana Bandara; Andrea Burattin; Diego Calvanese; Tianwa Chen; Izack Cohen; Benoît Depaire; Gemma Di Federico; Marlon Dumas; et al. (Comput. Ind., 2023)

Datalog rewritability and data complexity of ALCHOIQ with closed predicates. - Sanja Lukumbuzya; Magdalena Ortiz 001; Mantas Simkus (Artif. Intell., 2024)