BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Hungary
1 × Korea
2 × Spain
3 × Portugal
Collaborated with:
S.Greco E.Zumpano L.Caroprese F.Spezzano C.Molinaro M.Calautti A.Tagarelli M.Truszczynski P.Veltri G.Greco
Talks about:
program (7) logic (4) function (3) termin (3) symbol (3) techniqu (2) priorit (2) datalog (2) reason (2) optim (2)

Person: Irina Trubitsyna

DBLP DBLP: Trubitsyna:Irina

Contributed to:

ICLP 20142014
ICLP 20132013
PPDP 20132013
ICLP 20122012
VLDB 20112011
ICEIS AIDSS 20072007
ICLP 20072007
SAC 20072007
ICEIS v2 20042004
SAC 20042004
LOPSTR 20022002

Wrote 11 papers:

ICLP-J-2014-CaropreseTTZ #abduction
A Measure of Arbitrariness in Abductive Explanations (LC, IT, MT, EZ), pp. 665–679.
ICLP-J-2013-GrecoMT #bottom-up #evaluation #logic programming #termination
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments (SG, CM, IT), pp. 737–752.
PPDP-2013-CalauttiGT #decidability #detection #logic programming #source code
Detecting decidable classes of finitely ground logic programs with function symbols (MC, SG, IT), pp. 239–250.
ICLP-2012-GrecoST #logic programming #on the #source code #termination
On the Termination of Logic Programs with Function Symbols (SG, FS, IT), pp. 323–333.
VLDB-2011-GrecoST #termination
Stratification Criteria and Rewriting Techniques for Checking Chase Termination (SG, FS, IT), pp. 1158–1168.
ICEIS-AIDSS-2007-CaropreseTZ #implementation #logic programming #reasoning
Implementing Prioritized Reasoning in Logic Programming (LC, IT, EZ), pp. 94–100.
ICLP-2007-CaropreseTZ #constraints
View Updating Through Active Integrity Constraints (LC, IT, EZ), pp. 430–431.
SAC-2007-CaropreseTZ #evaluation #framework #reasoning
A framework for prioritized reasoning based on the choice evaluation (LC, IT, EZ), pp. 65–70.
ICEIS-v2-2004-TagarelliTG #clustering #linear #mining #programming
Mining Scientific Results Through the Combined Use of Clustering and Linear Programming Techniques (AT, IT, SG), pp. 84–91.
SAC-2004-ZumpanoGTV #on the #optimisation #power of #problem #semantics
On the semantics and expressive power of Datalog-like languages for NP search and optimization problems (EZ, SG, IT, PV), pp. 692–697.
LOPSTR-2002-GrecoGTZ #optimisation #query #source code
Translating Datalog-Like Optimization Queries into ILOG Programs (GG, SG, IT, EZ), pp. 48–49.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.