Irina Trubitsyna

According to our database1, Irina Trubitsyna authored at least 62 papers between 2002 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Evaluating the Influence of User Searches on Neighbors.
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

ACID: A System for Computing Approximate Certain Query Answers over Incomplete Databases.
Proceedings of the 2018 International Conference on Management of Data, 2018

Approximate Query Answering over Inconsistent Knowledge Bases.
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

Computing Approximate Query Answers over Inconsistent Knowledge Bases.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Algorithms for Computing Approximate Certain Answers over Incomplete Databases.
Proceedings of the 22nd International Database Engineering & Applications Symposium, 2018

Dealing with Inconsistency in Databases: An Overview.
Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018

2017
Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols.
ACM Trans. Comput. Log., 2017

Approximation Algorithms for Computing Certain Answers over Incomplete Databases.
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

Computing Approximate Certain Answers over Incomplete Databases.
Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016
Using linear constraints for logic program termination analysis.
TPLP, 2016

Exploiting Equality Generating Dependencies in Checking Chase Termination.
PVLDB, 2016

Leveraging Equality Generating Dependencies for Chase Termination.
Proceedings of the 24th Italian Symposium on Advanced Database Systems, 2016

2015
Checking termination of bottom-up evaluation of logic programs with function symbols.
TPLP, 2015

Checking Chase Termination: Cyclicity Analysis and Rewriting Techniques.
IEEE Trans. Knowl. Data Eng., 2015

Using Linear Constraints for Logic Program Termination Analysis.
CoRR, 2015

Checking Termination of Datalog with Function Symbols Through Linear Constraints.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Logic Program Termination Analysis Using Atom Sizes.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Rewriting-based Check of Chase Termination.
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014
A Measure of Arbitrariness in Abductive Explanations.
TPLP, 2014

A Measure of Arbitrariness in Abductive Explanations.
CoRR, 2014

Checking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols.
CoRR, 2014

Termination Criteria for Datalog with Function Symbols.
Proceedings of the 22nd Italian Symposium on Advanced Database Systems, 2014

Checking Termination of Logic Programs with Function Symbols through Linear Constraints.
Proceedings of the Rules on the Web. From Theory to Applications, 2014

2013
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments.
TPLP, 2013

The View-Update Problem for Indefinite Databases.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Detecting decidable classes of finitely ground logic programs with function symbols.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols.
Proceedings of the IJCAI 2013, 2013

2012
The View-Update Problem for Indefinite Databases
CoRR, 2012

Stratification-based Criteria for Checking Chase Termination.
Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 2012

The View-Update Problem for Indefinite Databases.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

On the Termination of Logic Programs with Function Symbols.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011
Stratification Criteria and Rewriting Techniques for Checking Chase Termination.
PVLDB, 2011

ChaseT: A Tool for Checking Chase Termination.
Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011

ChaseT: A Tool For Checking Chase Termination.
Proceedings of the Sistemi Evoluti per Basi di Dati, 2011

2010
NP Datalog: A logic language for expressing search and optimization problems.
TPLP, 2010

Querying and Updating Inconsistent Databases (Extended Abstract).
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

2009
NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems
CoRR, 2009

Consistent Queries over Databases with Integrity Constraints.
Proceedings of the Database Technologies: Concepts, 2009

2008
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming.
Electr. Notes Theor. Comput. Sci., 2008

2007
On the Semantics of Logic Programs with Preferences.
J. Artif. Intell. Res., 2007

A framework for prioritized reasoning based on the choice evaluation.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

View Updating Through Active Integrity Constraints.
Proceedings of the Logic Programming, 23rd International Conference, 2007

Implementing Prioritized Reasoning in Logic Programming.
Proceedings of the ICEIS 2007, 2007

Prioritized Reasoning in Logic Programming.
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario.
Proceedings of the Principles and Practice of Constraint Programming, 2007

2006
On the Semantics of Logic Programs with Preferences.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Preferred Generalized Answers for Inconsistent Databases.
Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

Implementation and Experimentation of the Logic Language NP Datalog.
Proceedings of the Database and Expert Systems Applications, 17th International Conference, 2006

2005
Optimization of bound disjunctive queries with constraints.
TPLP, 2005

Aggregates and Preferences in Logic Programming.
Proceedings of the Foundations of Intelligent Systems, 15th International Symposium, 2005

NP Datalog: A Logic Language for NP Search and Optimization Queries.
Proceedings of the Ninth International Database Engineering and Applications Symposium (IDEAS 2005), 2005

Preferred Repairs for Inconsistent Databases.
Proceedings of the Encyclopedia of Database Technologies and Applications, 2005

2004
Optimization of Bound Disjunctive Queries with Constraints
CoRR, 2004

Combining linear programming and clustering techniques for the classification of research centers.
AI Commun., 2004

A System Supporting Website Navigation.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

On the semantics and expressive power of Datalog-like languages for NP search and optimization problems.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Mining Scientific Results Through the Combined Use of Clustering and Linear Programming Techniques.
Proceedings of the ICEIS 2004, 2004

Feasibility Conditions and Preference Criteria in Querying and Repairing Inconsistent Databases.
Proceedings of the Database and Expert Systems Applications, 15th International Conference, 2004

2003
Mining Scientific Results to Measure the Efficiency of Research Centers.
Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, 2003

Preferred Repairs for Inconsistent Databases.
Proceedings of the 7th International Database Engineering and Applications Symposium (IDEAS 2003), 2003

2002
Query Optimization of Disjunctive Databases with Constraints through Binding Propagation.
Proceedings of the Logic for Programming, 2002

Translating Datalog-Like Optimization Queries into ILOG Programs.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002


  Loading...