Volgen
Phokion Kolaitis
Phokion Kolaitis
Distinguished Research Professor, UC Santa Cuz and Principal Research Staff Member, IBM Research
Geverifieerd e-mailadres voor ucsc.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Data exchange: semantics and query answering
R Fagin, PG Kolaitis, RJ Miller, L Popa
Theoretical Computer Science 336 (1), 89-124, 2005
17382005
Conjunctive-query containment and constraint satisfaction
PG Kolaitis, MY Vardi
Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998
5371998
Data exchange: getting to the core
R Fagin, PG Kolaitis, L Popa
ACM Transactions on Database Systems (TODS) 30 (1), 174-210, 2005
4882005
On the decision problem for two-variable first-order logic
E Grädel, PG Kolaitis, MY Vardi
Bulletin of symbolic logic 3 (1), 53-69, 1997
4251997
Composing schema mappings: Second-order dependencies to the rescue
R Fagin, PG Kolaitis, L Popa, WC Tan
ACM Transactions on Database Systems (TODS) 30 (4), 994-1055, 2005
4072005
Schema mappings, data exchange, and metadata management
PG Kolaitis
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on …, 2005
3732005
Finite Model Theory and its applications
E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ...
Springer, 2007
3052007
Constraint satisfaction, bounded treewidth, and finite-variable logics
V Dalmau, PG Kolaitis, MY Vardi
International Conference on Principles and Practice of Constraint …, 2002
2632002
Why not negation by fixpoint?
PG Kolaitis, CH Papadimitriou
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1988
2421988
On the expressive power of Datalog: tools and a case study
PG Kolaitis, MY Vardi
Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of …, 1990
2091990
Infinitary logics and 0–1 laws
PG Kolaitis, MY Vardi
Information and computation 98 (2), 258-294, 1992
2011992
Repair checking in inconsistent databases: algorithms and complexity
FN Afrati, PG Kolaitis
Proceedings of the 12th International Conference on Database Theory, 31-41, 2009
1862009
Generalized quantifiers and pebble games on finite structures
PG Kolaitis, JA Väänänen
Annals of pure and applied logic 74 (1), 23-75, 1995
1771995
On the unusual effectiveness of logic in computer science
JY Halpern, R Harper, N Immerman, PG Kolaitis, MY Vardi, V Vianu
Bulletin of Symbolic Logic 7 (2), 213-236, 2001
1742001
Peer data exchange
A Fuxman, PG Kolaitis, RJ Miller, WC Tan
ACM Transactions on Database Systems (TODS) 31 (4), 1454-1498, 2006
1602006
The connectivity of Boolean satisfiability: computational and structural dichotomies
P Gopalan, PG Kolaitis, E Maneva, CH Papadimitriou
SIAM Journal on Computing 38 (6), 2330-2355, 2009
1592009
The expressive power of stratified logic programs
PG Kolaitis
Information and Computation 90 (1), 50-66, 1991
1541991
Logical definability of NP optimization problems
PG Kolaitis, MN Thakur
Information and Computation 115 (2), 321-353, 1994
1431994
Approximation properties of NP minimization classes
PG Kolaitis, MN Thakur
Journal of Computer and System Sciences 50 (3), 391-411, 1995
142*1995
Designing and refining schema mappings via data examples
B Alexe, B Ten Cate, PG Kolaitis, WC Tan
Proceedings of the 2011 ACM SIGMOD International Conference on Management of …, 2011
1312011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20