Behavioral programming

By David Harel, Assaf Marron, Gera Weiss. 2012

58 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Program Analysis & Verification

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

  1. Igor Labutov
  2. Tom Michael Mitchell
  3. Shashank Srivastava
  4. Mohit Bansal
  5. Percy Liang
  6. Xiang Ren
  7. Jacob Andreas
  8. Qinyuan Ye

In Computational Theory and Mathematics

  1. Igor Labutov
  2. Tom Michael Mitchell

Citations in the corpus