AI & ChatGPT searches , social queriess for PHOKION
Search references for PHOKION. Phrases containing PHOKION
See searches and references containing PHOKION!
Search references for PHOKION. Phrases containing PHOKION
See searches and references containing PHOKION!PHOKION
Name list
Phokion or Phocion may refer to: Phocion (c. 402 – c. 318 BC), Athenian statesman and strategos Phokion G. Kolaitis (born 1950), Greek computer scientist
Phokion
American computer scientist
Phokion Gerasimos Kolaitis ACM (born 4 July 1950) is a computer scientist who is currently a Distinguished Research Professor at UC Santa Cruz and a Principal
Phokion_G._Kolaitis
Phokion J. Tanos (1898 – 9 February 1972), also known as Phocion Jean Tano, Phoqué J. Tano, Phokion J. Tano, was a Cypriot dealer of antiques in Cairo
Phokion_J._Tanos
Field of knowledge
OCLC 71798942. Halpern, Joseph; Harper, Robert; Immerman, Neil; Kolaitis, Phokion; Vardi, Moshe; Vianu, Victor (Jan 2001). "On the Unusual Effectiveness
Mathematics
Indo-European language
Room (OBA 00256): www.vhmml.org/readingRoom/view/120512 Kotzageorgis, Phokion (2010). Gruber, Christiane J.; Colby, Frederick Stephen (eds.). The Prophet's
Greek_language
British actor (1913–1994)
Phokion Stavros Plytas (9 January 1913 – 27 December 1994), known professionally as Steve Plytas, was a Greek film and television actor based in the United
Steve_Plytas
4th-century BCE Athenian statesman and general
Phocion (/ˈfoʊʃiən, -ˌɒn/; Ancient Greek: Φωκίων Φώκου Ἀθηναῖος Phokion; c. 402 – c. 318 BC), nicknamed The Good (ὁ χρηστός ho khrēstos), was an Athenian
Phocion
American logician (born 1938)
Mathematics Institutions UCLA Doctoral advisor Stephen Kleene Doctoral students Alexander S. Kechris Phokion G. Kolaitis Katherine St. John Benedict Freedman
Yiannis_N._Moschovakis
Israeli mathematician and computer scientist
Moses, and Finite Model Theory and Its Applications with Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema, and
Moshe_Vardi
Collection of Gnostic and Christian texts
generally accepted. Slowly, most of the tracts came into the hands of Phokion J. Tanos, a Cypriot antiques dealer in Cairo, and they were thereafter
Nag_Hammadi_library
Comic play by Menander (c. 317–316 BCE)
that the play is used to criticise the demos involved in the handling of Phokion, the previous general and head of government, who had established a high
Dyskolos
Species of butterfly
Charlotte Island) E. s. flaminia (Fruhstorfer, 1904) (Salawati) E. s. phokion (Fruhstorfer, 1904) (East New Guinea, Huon Gulf, Karkar Island) E. s. garcila
Euploea_stephensii
Where all data references are valid
Database Systems 10th ed. Cengage Learning, ISBN 978-1-111-96960-8 Kolaitis, Phokion G. "A Tutorial on Database Dependencies" (PDF). University of California
Referential_integrity
Probability saying
mathcentral.uregina.ca. Retrieved 2019-11-16. Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema
Almost_surely
Logical formulation of graph properties
fragments of monadic second-order logic" (PDF), in Immerman, Neil; Kolaitis, Phokion G. (eds.), Proc. Descr. Complex. Finite Models, DIMACS, vol. 31, Amer.
Logic_of_graphs
in depth. For example, Heng Zhang et al., as well as Marco Console and Phokion G. Kolaitis, have developed a series of model-theoretic characterizations
Tuple-generating_dependency
Set of objects whose state must satisfy limits
Satisfaction: Dilemmas of the Infinite Sheep". arXiv:2203.17182 [cs.LO]. Kolaitis, Phokion G.; Vardi, Moshe Y. (2000). "Conjunctive-Query Containment and Constraint
Constraint satisfaction problem
Constraint_satisfaction_problem
Ottoman capture of the Byzantine city
Ottoman Civil War of 1402–13. Brill. ISBN 978-90-04-15836-8. Kotzageorgis, Phokion (2018). "Christians and Muslims in an Ottoman City: the Formation of the
Siege of Thessalonica (1422–1430)
Siege_of_Thessalonica_(1422–1430)
Simplification technique in mathematical logic
Springer-Verlag. ISBN 978-3-540-77269-9. Zbl 1145.12001. Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema
Quantifier_elimination
Proof technique in model theory
Ehrenfeucht–Fraïssé game is given in one of Ivars Peterson's MathTrek columns. Phokion Kolaitis' slides and Neil Immerman's book chapter on Ehrenfeucht–Fraïssé
Ehrenfeucht–Fraïssé_game
Declarative logic programming language
Computer Science. Archived from the original on 2017-03-25. Kolaitis, Phokion G.; Vardi, Moshe Y. (1990-04-02). "On the expressive power of datalog:
Datalog
Apparatus used in artistic gymnastics
the first transportable parallel bars were created by a Swiss educator, Phokion Heinrich Clias. However, they were not very popular. Later, Hermann Otto
Parallel_bars
Form of logic that allows quantification over predicates
Reprinted in Boolos, Logic, Logic and Logic, 1998. Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema
Second-order_logic
In mathematics, with negligible exceptions
University Press. pp. 34–36. ISBN 978-0-521-79722-1. Grädel, Eric; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema
Almost_all
Smallest transitive relation containing a given binary relation
Computer Society. pp. 129–131. doi:10.1109/SWAT.1971.4. Erich Grädel; Phokion G. Kolaitis; Leonid Libkin; Maarten Marx; Joel Spencer; Moshe Y. Vardi;
Transitive_closure
Capital and largest city of Epirus, Greece
Botimer IDK (published 2017). p. 124. ISBN 978-99943-982-87. "Kotzageorgis Phokion P, "Pour une définition de la culture ottomane : le cas des Tourkoyanniotes"
Ioannina
Ethnoreligious group
strongly reminiscent of rural styles in provincial Crete." Kotzageorgis, Phokion (2010). Gruber, Christiane J.; Colby, Frederick Stephen (eds.). The Prophet's
Greek_Muslims
American mathematician and computer scientist
the 2001 ACM Symposium on Principles of Database Systems). Ronald Fagin, Phokion G. Kolaitis, Renee J Miller, and Lucian Popa. "Data exchange: semantics
Ronald_Fagin
Mathematical game played on a directed graph
"Deciding parity games in quasipolynomial time" (PDF), Stoc 2017 Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi
Parity_game
Extension of propositional modal logic
Bradfield and Stirling, p. 731 Bradfield and Stirling, p. 6 Erich Grädel; Phokion G. Kolaitis; Leonid Libkin; Maarten Marx; Joel Spencer; Moshe Y. Vardi;
Modal_μ-calculus
Data organized by tags but not tables
Serge (1997). "Querying semi-structured data". In Afrati, Foto; Kolaitis, Phokion (eds.). Database Theory — ICDT '97. Lecture Notes in Computer Science.
Semi-structured_data
Problem in formal logic
Intelligence. 1 (1–4): 33–47. doi:10.1007/BF01531069. Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema
Horn-satisfiability
Creative Arts Photography Clayton Koelb German & Scandinavian Literature Phokion G. Kolaitis Computer Science Allen Kurzweil Creative Arts Fiction Oliver
List of Guggenheim Fellowships awarded in 1993
List_of_Guggenheim_Fellowships_awarded_in_1993
Ancient Greek city
2015, p. 285 Smyrlis 2015, p. 113 Smyrlis 2015, pp. 286–287 Kotzageorgis, Phokion. "Ottoman Macedonia (late 14th – late 17th century)". In Koliopoulos, I
Akanthos_(Greece)
Existential second order logic captures NP
127–144. doi:10.1007/BF01786976. S2CID 496247. Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema
Fagin's_theorem
Papyrus that some claim to be a transcription with evidence of alien life
1934 after viewing the papyrus for a short while at the home of "Tano" (=Phokion J. Tanos?) in Cairo. In letters published in 1962 and 1971, Rachewiltz
Tulli_Papyrus
University of America Press. p. 22. ISBN 9780813216799. Kotzageorgis, Phokion. "Ottoman Macedonia (late 14th – late 17th century)" (PDF). Macedonian
Metropolis of Kitros, Katerini and Platamon
Metropolis_of_Kitros,_Katerini_and_Platamon
American computer scientist (1953–1995)
doi:10.1145/235666.235670. S2CID 28406126. Afrati, Foto N.; Kolaitis, Phokion, eds. (1997). Database Theory - ICDT '97. Lecture Notes in Computer Science
Paris_Kanellakis
Greek orator and statesman (389 BC-314 BC)
Phlius in the Peloponnese (368 BC), Battle of Mantinea (362 BC), and Phokion's campaign in Euboea (349 BC). The fall of Olynthus (348 BC) brought Aeschines
Aeschines
Greek politician
Fokion (Phokion) Zaimis (1899–1967) was a Greek politician. He served twice as minister of the interior (1949–1950, 1965–1966), minister of finance (March–April
Fokion_Zaimis
Mathematical game
pp. 39–44. ISBN 3-7643-3719-2. Zbl 0816.68086. Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema
Pebble_game
Complexity class of problems
155–171. doi:10.1145/321864.321877. S2CID 14352974. Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema
NP-intermediate
iv. 6, 11; Pompeius Trogus, Prologi, 14 Gehrke, Hans-Joachim (1973). Phokion. Studien zur Erfassung seiner Historischen Gestalt (in German). Göttingen:
Nicanor_(Antipatrid_general)
Branch of logic
Complexity. New York: Springer. ISBN 0-387-98600-6. Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema
Finite_model_theory
Generalization of depth-first search trees
fragments of monadic second-order logic" (PDF), in Immerman, Neil; Kolaitis, Phokion G. (eds.), Proc. Descr. Complex. Finite Models, DIMACS, vol. 31, Amer.
Trémaux_tree
Dubois Michael J. Franklin Ophir Frieder Robert Harper Maurice Herlihy Phokion G. Kolaitis Vipin Kumar T. V. Lakshman Brad A. Myers David M. Nicol Krishna
List of fellows of the Association for Computing Machinery
List_of_fellows_of_the_Association_for_Computing_Machinery
Koch Simon B. Kochen Waldemar W. Koczkodaj Kunihiko Kodaira Sven Koenig Phokion G. Kolaitis János Kollár Sergei Konyagin Eugene Koonin Ádám Korányi Jacob
List of people by Erdős number
List_of_people_by_Erdős_number
Austrian computer scientist
arXiv:cs/9812022. doi:10.1006/jcss.2001.1809. S2CID 121575202. Kolaitis, Phokion G.; Vardi, Moshe Y. (2000). "Conjunctive-Query Containment and Constraint
Georg_Gottlob
International specialist organization
Ulrich Kohlenbach 2016–2018 30th President Julia Knight 2019–2021 31st President Phokion Kolaitis 2022–2024 32nd President Natasha Dobrinen 2025–2028
Association for Symbolic Logic
Association_for_Symbolic_Logic
Research association in computer science
model for computing with data involving atomic names." 2020 Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa, and Wang-Chiew Tan for "their
ACM_SIGLOG
Structure-preserving correspondence between node-link graphs
9781611974331.ch112, ISBN 978-1-611974-33-1 Dalmau, Víctor; Kolaitis, Phokion G.; Vardi, Moshe Y. (2002), "Constraint satisfaction, bounded treewidth
Graph_homomorphism
Depth of nesting of quantifiers in a formula
Model Theory, Springer, ISBN 978-3-540-60149-4. Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema
Quantifier_rank
German historian of classical antiquity
Gregor Weber, Michael Sommer, Eckhard Wirbelauer and Felix K. Maier. Phokion. Studien zur Erfassung seiner historischen Gestalt [Phocion. Studies on
Hans-Joachim_Gehrke
Type of database query
Koutris, Paris. "Lecture 2: Query Containment" (PDF). Theorem 2 Kolaitis, Phokion G.; Vardi, Moshe Y. (2000), "Conjunctive-Query Containment and Constraint
Conjunctive_query
Complexity class
doi:10.1016/0022-0000(91)90023-X. Zbl 0765.68036. Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema
SNP_(complexity)
Greek bishop and revolutionary
χαρακτήρισα τους δύο δήμιους - έκφραση μίσους και εκδίκησης." Kotzageorgis, Phokion. "VI. Ottoman Macedonia (late 14th–late 17th century)" "Exhibits prior
Dionysios_Skylosophos
Term in mathematical logic
Proceedings. Vol. 7. pp. 27–41. Zbl 0303.68035. Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Venema
Spectrum_of_a_sentence
Annual Greek cinema awards
for From the Earth to the Moon 2015 Roulis Alahouzos, Ionas Katrazanos, Phokion Xenos for Norvigia 2016 Roulis Alahouzos, Ippokratis Halas for Tetarti
Hellenic_Film_Academy_Awards
French archaeologist (1889–1961)
acquire as much of the collection as he could. Cairo antiquities dealer Phokion J. Tanos had acquired most of the collection from these outlaws, but had
Étienne_Drioton
Constantinople-born French architectural historian
Famous City, Angora (Antique Ancyra)), Schulz, Prague, 1924. Kotzageorgis, Phokion; Papastamatiou, Dimitris (2024). Aspects of Ottoman economy and culture
Alexandre_Raymond
4th-century Greek Christian epic poem, where the narrator is transported to Heaven
for by Swiss Egyptologist Martin Bodmer from the Cypriot antiques dealer Phokion J. Tanos in July 1956, arriving on 1 September to be housed at the Bodmer
The_Vision_of_Dorotheus
PHOKION
PHOKION
PHOKION
PHOKION
Boy/Male
Indian, Punjabi, Sikh
Complete Happiness
Female
Greek
Variant spelling of Greek Aoide, AOEDE means "to sing."
Girl/Female
Hindu
Male
English
Anglicized form of Greek Ourias (Hebrew Uwriyah), URIAH means "flame of Jehovah" or "God is my light." In the bible, this is the name of several characters, including the husband of Bathsheba.Â
Girl/Female
Indian
One who has only friends and no enemies
Boy/Male
Celebrity, Gujarati, Hindu, Indian, Kannada, Tamil, Telugu, Traditional
One with Beautiful Eyes; Lotus
Boy/Male
Indian
The expediter
Girl/Female
Biblical
Deliverance of the Lord.
Boy/Male
English
When a nineteenth-century American named Maverick refused to brand his calves as other ranchers...
Girl/Female
Hindu
PHOKION
PHOKION
PHOKION
PHOKION
PHOKION