Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q1585964> ?p ?o }
- Q1585964 description "American computer scientist".
- Q1585964 description "American computer scientist".
- Q1585964 subject Q5312304.
- Q1585964 subject Q6373183.
- Q1585964 subject Q6523958.
- Q1585964 subject Q6573202.
- Q1585964 subject Q7001924.
- Q1585964 subject Q7013855.
- Q1585964 subject Q7205175.
- Q1585964 subject Q7453817.
- Q1585964 subject Q7931321.
- Q1585964 subject Q8031145.
- Q1585964 subject Q8266462.
- Q1585964 subject Q8445853.
- Q1585964 subject Q8445861.
- Q1585964 subject Q8445862.
- Q1585964 subject Q8466127.
- Q1585964 subject Q8503235.
- Q1585964 subject Q8557361.
- Q1585964 subject Q8618259.
- Q1585964 abstract "Moshe Ya'akov Vardi (Hebrew: משה יעקב ורדי) is an Israeli computer scientist. He is a Professor of Computer Science at Rice University, USA. He is the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor, and Director of the Ken Kennedy Institute for Information Technology. His interests focus on applications of logic to computer science, including database theory, finite-model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He dabbles in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.Moshe Y. Vardi is the author of over 400 technical papers as well as the editor of several collections. He has authored the books Reasoning About Knowledge with Ronald Fagin, Joseph Halpern, and Yoram Moses, and Finite Model Theory and Its Applications with Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema, and Scott Weinstein. He is also the editor-in-chief of Communications of the ACM.".
- Q1585964 almaMater Q1124657.
- Q1585964 almaMater Q174158.
- Q1585964 almaMater Q4182.
- Q1585964 award Q1417143.
- Q1585964 birthDate "1954-07-04".
- Q1585964 birthName "Moshe Ya'akov Vardi".
- Q1585964 birthPlace Q41621.
- Q1585964 birthPlace Q801.
- Q1585964 birthYear "1954".
- Q1585964 thumbnail Moshe_Vardi_IMG_0010.jpg?width=300.
- Q1585964 wikiPageExternalLink ~vardi.
- Q1585964 wikiPageWikiLink Q1120519.
- Q1585964 wikiPageWikiLink Q1124657.
- Q1585964 wikiPageWikiLink Q1164390.
- Q1585964 wikiPageWikiLink Q127992.
- Q1585964 wikiPageWikiLink Q1316544.
- Q1585964 wikiPageWikiLink Q13334.
- Q1585964 wikiPageWikiLink Q1417143.
- Q1585964 wikiPageWikiLink Q1493021.
- Q1585964 wikiPageWikiLink Q1569697.
- Q1585964 wikiPageWikiLink Q1653099.
- Q1585964 wikiPageWikiLink Q174158.
- Q1585964 wikiPageWikiLink Q176452.
- Q1585964 wikiPageWikiLink Q21198.
- Q1585964 wikiPageWikiLink Q270794.
- Q1585964 wikiPageWikiLink Q2739680.
- Q1585964 wikiPageWikiLink Q2897783.
- Q1585964 wikiPageWikiLink Q30.
- Q1585964 wikiPageWikiLink Q337234.
- Q1585964 wikiPageWikiLink Q372650.
- Q1585964 wikiPageWikiLink Q40358.
- Q1585964 wikiPageWikiLink Q41506.
- Q1585964 wikiPageWikiLink Q41621.
- Q1585964 wikiPageWikiLink Q4182.
- Q1585964 wikiPageWikiLink Q4809258.
- Q1585964 wikiPageWikiLink Q5156628.
- Q1585964 wikiPageWikiLink Q529909.
- Q1585964 wikiPageWikiLink Q5312304.
- Q1585964 wikiPageWikiLink Q6283747.
- Q1585964 wikiPageWikiLink Q6373183.
- Q1585964 wikiPageWikiLink Q6523958.
- Q1585964 wikiPageWikiLink Q6573202.
- Q1585964 wikiPageWikiLink Q671421.
- Q1585964 wikiPageWikiLink Q7001924.
- Q1585964 wikiPageWikiLink Q700758.
- Q1585964 wikiPageWikiLink Q7013855.
- Q1585964 wikiPageWikiLink Q7205175.
- Q1585964 wikiPageWikiLink Q7453817.
- Q1585964 wikiPageWikiLink Q746242.
- Q1585964 wikiPageWikiLink Q781833.
- Q1585964 wikiPageWikiLink Q7931321.
- Q1585964 wikiPageWikiLink Q801.
- Q1585964 wikiPageWikiLink Q8031145.
- Q1585964 wikiPageWikiLink Q8266462.
- Q1585964 wikiPageWikiLink Q842909.
- Q1585964 wikiPageWikiLink Q8445853.
- Q1585964 wikiPageWikiLink Q8445861.
- Q1585964 wikiPageWikiLink Q8445862.
- Q1585964 wikiPageWikiLink Q8466127.
- Q1585964 wikiPageWikiLink Q8503235.
- Q1585964 wikiPageWikiLink Q8557361.
- Q1585964 wikiPageWikiLink Q8618259.
- Q1585964 wikiPageWikiLink Q881206.
- Q1585964 wikiPageWikiLink Q9051832.
- Q1585964 wikiPageWikiLink Q93124.
- Q1585964 almaMater Q1124657.
- Q1585964 almaMater Q174158.
- Q1585964 almaMater Q4182.
- Q1585964 awards Q1417143.
- Q1585964 birthDate "1954-07-04".
- Q1585964 birthName "Moshe Ya'akov Vardi".
- Q1585964 birthPlace Q801.
- Q1585964 dateOfBirth "1954-07-04".
- Q1585964 name "Professor Moshe Vardi".
- Q1585964 name "Vardi, Moshe Y.".
- Q1585964 placeOfBirth Q41621.
- Q1585964 shortDescription "American computer scientist".
- Q1585964 type Person.
- Q1585964 type Agent.