Faculty

Institution

Unit

Venue

Phokion G. Kolaitis

Distinguished Professor Emeritus

University of California, Santa Cruz

Affiliations

Baskin School of Engineering

Computer Science and Engineering

Phokion G. Kolaitis is currently serving as a Baskin School Of Engineering Distinguished Professor Emeritus at University of California, Santa Cruz.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Phokion G. Kolaitis

University of California, Santa Cruz

Distinguished Professor Emeritus

You can click a keyword to filter the displayed items

computer science applied mathematics machine learning data science theoretical computer science database theory data exchange natural language processing computational complexity logic in computer science schema mappings informatics databases constraint satisfaction systems engineering graph theory theory of computation mathematical logic information technology information theory question answering finite model theory data examples computability theory expressive power computational intelligence database processing computational complexity theory semantic web complexity theory constraint solving constrained optimization constraint programming infinitary logic mathematical optimization automated reasoning first-order logic computational thinking ontology (information science) decision problem finite models existential second-order logic inconsistent databases conjunctive queries knowledge discovery metadata management schema evolution logic programming query analysis resource constraints two-variable first-order logic infinitary logics decision problems second-order logic containment problem fixpoint logic descriptive complexity system science mathematics education physic education systematics fuzzy logic mathematical sciences social choice scientific computing error correction error correction code mathematical proof foundation of mathematics history of logic philosophy of physics proof system information processing (psychology) algorithmic information theory satisfiability logical reasoning knowledge representation and reasoning computational logic formal methods relational database

Notable Scholarly Works

Notable Federal Grants

Collaborators

A Unifying Framework for Incompleteness, Inconsistency, and Uncertainty in Databases. Communications of the ACM (2024)

Benny KimelfeldPhokion G. Kolaitis

database theorydatabasesinformaticsunifying frameworkdata miningdatabase technologyinformation retrievalincompletenesscomputer science

Consistency of Relations Over Monoids. Proceedings of the ACM on Management of Data (2024)

Albert AtseriasPhokion G Kolaitis

managementdata consistencydata managementstatisticsdata sciencemachine learning

A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases. (2023)

Ronald FaginPhokion G. KolaitisDomenico LemboLucian PopaFederico Scafoglieri

query answeringquestion answeringnatural language processingentity resolutioncomputer science

Consistency, Acyclicity, and Positive Semirings. Outstanding contributions to logic (2023)

Albert AtseriasPhokion G. Kolaitis

semanticslinguisticspositive semirings

Theory and Practice of Relational-To-Rdf Temporal Data Exchange and Query Answering. Journal of Data and Information Quality (2023)

Jing AoZehui ChengRada ChirkovaPhokion G. Kolaitis

database theorydata exchangequery answeringquestion answeringinformation retrievalinformation qualitydata science

Consistent Answers of Aggregation Queries via Sat. 2022 IEEE 38th International Conference on Data Engineering (ICDE) (2022)

Akhil A. DixitPhokion G. Kolaitis

information retrievaldata scienceconsistent answersmachine learningquery analysisaggregation queriesdata engineering

Structure and Complexity of Bag Consistency. ACM SIGMOD Record (2022)

Albert AtseriasPhokion G. Kolaitis

materials sciencesystems engineeringmachine learningbag consistency

Algorithmic Techniques for Necessary and Possible Winners. ACM/IMS Transactions on Data Science (2021)

Vishal ChakrabortyTheo DelemazureBenny KimelfeldPhokion G. KolaitisKunal ReliaJulia Stoyanovich

machine learningpossible winnersdata sciencealgorithmic techniques

Bag Query Containment and Information Theory. ACM Transactions on Database Systems (2021)

Mahmoud Abo KhamisPhokion G. KolaitisHung Q. NgoDan Suciu

information theorycomputer sciencebag query containmentdata mining

CAVSAT: Answering Aggregation Queries Over Inconsistent Databases via Sat Solving. Proceedings of the 2022 International Conference on Management of Data (2021)

Akhil A. DixitPhokion G. Kolaitis

database theoryinconsistent databasessat solvinginformation retrievalcomputer science

1
2
3
4
5
17
10 / page

Phokion G. Kolaitis

Distinguished Professor Emeritus

University of California, Santa Cruz

Affiliations

Baskin School of Engineering

Computer Science and Engineering

Phokion G. Kolaitis is currently serving as a Baskin School Of Engineering Distinguished Professor Emeritus at University of California, Santa Cruz.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Phokion G. Kolaitis

University of California, Santa Cruz

Distinguished Professor Emeritus

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

A Unifying Framework for Incompleteness, Inconsistency, and Uncertainty in Databases. Communications of the ACM (2024)

Benny KimelfeldPhokion G. Kolaitis

database theorydatabasesinformaticsunifying frameworkdata miningdatabase technologyinformation retrievalincompletenesscomputer science

Consistency of Relations Over Monoids. Proceedings of the ACM on Management of Data (2024)

Albert AtseriasPhokion G Kolaitis

managementdata consistencydata managementstatisticsdata sciencemachine learning

A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases. (2023)

Ronald FaginPhokion G. KolaitisDomenico LemboLucian PopaFederico Scafoglieri

query answeringquestion answeringnatural language processingentity resolutioncomputer science

Consistency, Acyclicity, and Positive Semirings. Outstanding contributions to logic (2023)

Albert AtseriasPhokion G. Kolaitis

semanticslinguisticspositive semirings

Theory and Practice of Relational-To-Rdf Temporal Data Exchange and Query Answering. Journal of Data and Information Quality (2023)

Jing AoZehui ChengRada ChirkovaPhokion G. Kolaitis

database theorydata exchangequery answeringquestion answeringinformation retrievalinformation qualitydata science

Consistent Answers of Aggregation Queries via Sat. 2022 IEEE 38th International Conference on Data Engineering (ICDE) (2022)

Akhil A. DixitPhokion G. Kolaitis

information retrievaldata scienceconsistent answersmachine learningquery analysisaggregation queriesdata engineering

Structure and Complexity of Bag Consistency. ACM SIGMOD Record (2022)

Albert AtseriasPhokion G. Kolaitis

materials sciencesystems engineeringmachine learningbag consistency

Algorithmic Techniques for Necessary and Possible Winners. ACM/IMS Transactions on Data Science (2021)

Vishal ChakrabortyTheo DelemazureBenny KimelfeldPhokion G. KolaitisKunal ReliaJulia Stoyanovich

machine learningpossible winnersdata sciencealgorithmic techniques

Bag Query Containment and Information Theory. ACM Transactions on Database Systems (2021)

Mahmoud Abo KhamisPhokion G. KolaitisHung Q. NgoDan Suciu

information theorycomputer sciencebag query containmentdata mining

CAVSAT: Answering Aggregation Queries Over Inconsistent Databases via Sat Solving. Proceedings of the 2022 International Conference on Management of Data (2021)

Akhil A. DixitPhokion G. Kolaitis

database theoryinconsistent databasessat solvinginformation retrievalcomputer science

1
2
3
4
5
17
10 / page

Similar Faculty Members

Michael Kifer

Institution

Stony Brook University

web semantics

semantic computing

Adnan Darwiche

Institution

University of California, Los Angeles

computer science

machine learning

Oscar H. Ibarra

Institution

University of California, Santa Barbara

computer science

theoretical computer science

Carlo Zaniolo

Institution

University of California, Los Angeles

semantic web

data stream management

Jeffrey Ullman

Institution

Stanford University

computer science

machine learning

Weili Wu

Institution

University of Texas at Dallas

data management

pattern mining

Andre Scedrov

Institution

University of Pennsylvania

first-order logic

formal grammar

Dana Angluin

Institution

Yale University

computational complexity

learning formal languages

Ouri Wolfson

Institution

University of Illinois Chicago

geographic information system

concurrency control

Moshe Y. Vardi

Institution

Rice University

computational complexity

applied artificial intelligence

Similar Faculty Members

Michael Kifer

Institution

Stony Brook University

web semantics

semantic computing

Adnan Darwiche

Institution

University of California, Los Angeles

computer science

machine learning

Oscar H. Ibarra

Institution

University of California, Santa Barbara

computer science

theoretical computer science

Carlo Zaniolo

Institution

University of California, Los Angeles

semantic web

data stream management

Jeffrey Ullman

Institution

Stanford University

computer science

machine learning

Weili Wu

Institution

University of Texas at Dallas

data management

pattern mining

Andre Scedrov

Institution

University of Pennsylvania

first-order logic

formal grammar

Dana Angluin

Institution

Yale University

computational complexity

learning formal languages

Ouri Wolfson

Institution

University of Illinois Chicago

geographic information system

concurrency control

Moshe Y. Vardi

Institution

Rice University

computational complexity

applied artificial intelligence