Sciweavers

Share
SIGMOD
2012
ACM
224views Database» more  SIGMOD 2012»
7 years 9 months ago
Tiresias: the database oracle for how-to queries
How-To queries answer fundamental data analysis questions of the form: “How should the input change in order to achieve the desired output”. As a Reverse Data Management probl...
Alexandra Meliou, Dan Suciu
CORR
2011
Springer
151views Education» more  CORR 2011»
8 years 10 months ago
A New Representation Theorem for Many-valued Modal Logics
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
Zoran Majkic
books