Moshe Y. Vardi

Moshe Y. Vardi is a person.

• See: Computational Logic, Knowledge-based Program, Mass Technological Unemployment.

---

---

References

• Personal Homepage: http://www.cs.rice.edu/~vardi/
• Wikipedia Person Page: http://en.wikipedia.org/wiki/Moshe_Vardi
• Google Scholar Author Page: http://scholar.google.com/citations?user=DQaARsgAAAAJ

2016

• (Vardi, 2016a) ⇒ Moshe Vardi. (2016). “The Automated-Reasoning Revolution: From Theory to Practice and Back."
• http://slideshare.net/MosheVardi/humans-machines-and-work-the-future-is-now

2015

• (Vardi, 2015) ⇒ Moshe Y. Vardi. (2015). “Artificial Intelligence and Technological Unemployment." Tutorial at AAAI-2015.

2013

• (Vardi, 2013) ⇒ Moshe Y. Vardi. (2013). “If Machines Are Capable of Doing Almost Any Work Humans Can Do, What Will Humans Do?.” In: Proceedings of i4j Summit 2013.

2012

• (Vardi, 2012a) ⇒ Moshe Y. Vardi. (2012). “Consequences of Machine Intelligence].” In: The Atlantic, 2012(10).
• (Vardi, 2012b) ⇒ Moshe Y. Vardi. (2012). “What is An Algorithm?.” In: Communications of the ACM Journal, 55(3). doi:10.1145/2093548.2093549

2005

• http://www.cs.rice.edu/~vardi/
  • Theorems are forever!
  • The proof, the whole proof, and nothing but the proof!

1995

• (Fagin et al., 1995) ⇒ Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, and Yoram Moses. (1995). “Reasoning About Knowledge.” In: MIT Press. ISBN: 0-262-06162-7.

1986

• (Vardi & Wolper, 1986) ⇒ Moshe Y. Vardi, and Pierre Wolper. (1986). “An Automata-Theoretic Approach to Automatic Program Verification.” In: Proceedings of the First Symposium on Logic in Computer Science.

1982

• (Vardi, 1982) ⇒ Moshe Y. Vardi. (1982). “The Complexity of Relational Query Languages.” In: Proceedings of 14th ACM SIGACT Symposium on the Theory of Computing..

---