Irina Trubitsyna

Available identifiers

zbMath Open trubitsyna.irinaMaRDI QIDQ2084949

List of research outcomes

Publication	Date of Publication	Type
On acceptance conditions in abstract argumentation frameworks	2024-04-30	Paper
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks	2023-10-04	Paper
Preference-based inconsistency-tolerant query answering under existential rules	2022-11-08	Paper
Query answering over inconsistent knowledge bases: a probabilistic approach	2022-10-14	Paper
A logical framework for view updating in indefinite databases	2022-06-09	Paper
On the semantics of abstract argumentation frameworks: a logic programming approach	2020-12-13	Paper
Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols	2018-03-22	Paper
Checking termination of bottom-up evaluation of logic programs with function symbols	2017-11-09	Paper
Using linear constraints for logic program termination analysis	2017-11-09	Paper
A measure of arbitrariness in abductive explanations	2014-11-25	Paper
Logic programming with function symbols: checking termination of bottom-up evaluation through program adornments	2014-02-27	Paper
On the termination of logic programs with function symbols	2014-02-25	Paper
The View-Update Problem for Indefinite Databases	2012-09-21	Paper
\(\mathcal {NPD}\)atalog: A logic language for expressing \(\mathcal {NP}\) search and optimization problems	2010-04-07	Paper
On the semantics of logic programs with preferences	2009-04-28	Paper
On the Semantics of Logic Programs with Preferences	2008-10-30	Paper
Aggregates and Preferences in Logic Programming	2008-03-17	Paper
Optimization of bound disjunctive queries with constraints	2006-01-03	Paper
https://portal.mardi4nfdi.de/entity/Q4659574	2005-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4428302	2003-09-15	Paper

Research outcomes over time

This page was built for person: Irina Trubitsyna