Eyal Amir

According to our database, Eyal Amir authored at least 76 papers between 1998 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Psycholinguistic Features for Deceptive Role Detection in Werewolf.

Codruta Gîrlea, Roxana Girju, Eyal Amir

Proceedings of the NAACL HLT 2016, 2016

2015

A Deterministic Partition Function Approximation for Exponential Random Graph Models.

Wen Pu, Jaesik Choi, Yunseong Hwang, Eyal Amir

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Probabilistic Region Connection Calculus.

Codruta Liliana Gîrlea, Eyal Amir

Proceedings of the 2015 AAAI Spring Symposia, 2015

Learning Relational Kalman Filtering.

Jaesik Choi, Eyal Amir, Tianfang Xu, Albert J. Valocchi

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Emotions in Social Computer Games: Relations with Bullying, Aggression, and School Belonging.

Juan Fernando Mancilla-Caceres, Dorothy Espelage, Eyal Amir

Int. J. Gaming Comput. Mediat. Simulations, 2014

Tracking Beliefs and Intentions in the Werewolf Game.

Codruta Liliana Gîrlea, Eyal Amir, Roxana Girju

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Parameter Estimation for Relational Kalman Filtering.

Jaesik Choi, Eyal Amir, Tianfang Xu, Albert J. Valocchi

Proceedings of the Statistical Relational Artificial Intelligence, 2014

2013

Peer Nominations and Its Relation to Interactions in a Computer Game.

Juan Fernando Mancilla-Caceres, Eyal Amir, Dorothy Espelage

Proceedings of the Social Computing, Behavioral-Cultural Modeling and Prediction, 2013

Adaptive game for reducing aggressive behavior.

Juan Fernando Mancilla-Caceres, Eyal Amir, Dorothy Espelage

Proceedings of the 18th International Conference on Intelligent User Interfaces, 2013

Lifted Inference on Transitive Relations.

Wen Pu, Jaesik Choi, Eyal Amir

Proceedings of the Statistical Relational Artificial Intelligence, 2013

2012

Lifted Relational Variational Inference.

Jaesik Choi, Eyal Amir

Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, 2012

Nonparametric Relational Hybrid Models.

Jaesik Choi, Eyal Amir

Proceedings of the 2nd International Workshop on Statistical Relational AI (StaRAI-12), 2012

A Computer-in-the-Loop Approach for Detecting Bullies in the Classroom.

Juan Fernando Mancilla-Caceres, Wen Pu, Eyal Amir, Dorothy Espelage

Proceedings of the Social Computing, Behavioral - Cultural Modeling and Prediction, 2012

Information Set Generation in Partially Observable Games.

Mark Richards, Eyal Amir

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Identifying Bullies with a Computer Game.

Juan Fernando Mancilla-Caceres, Wen Pu, Eyal Amir, Dorothy Espelage

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

First-order logical filtering.

Afsaneh Shirazi, Eyal Amir

Artif. Intell., 2011

Reasoning about RoboCup Soccer Narratives.

Hannaneh Hajishirzi, Julia Hockenmaier, Erik T. Mueller, Eyal Amir

Proceedings of the UAI 2011, 2011

Evaluating Commonsense Knowledge with a Computer Game.

Juan Fernando Mancilla-Caceres, Eyal Amir

Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

Lifted Relational Kalman Filtering.

Jaesik Choi, Abner Guzmán-Rivera, Eyal Amir

Proceedings of the IJCAI 2011, 2011

Understanding Robocup-Soccer Narratives.

Hannaneh Hajishirzi, Eyal Amir

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

Approximation Algorithms for Treewidth.

Eyal Amir

Algorithmica, 2010

Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering.

Hannaneh Hajishirzi, Eyal Amir

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Combining Planning and Motion Planning.

Jaesik Choi, Eyal Amir

Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

A Turing Game for Commonsense Knowledge Extraction.

Juan Fernando Mancilla-Caceres, Eyal Amir

Proceedings of the Commonsense Knowledge, 2010

Lifted Inference for Relational Continuous Models.

Jaesik Choi, David J. Hill, Eyal Amir

Proceedings of the Statistical Relational Artificial Intelligence, 2010

2009

Counting objects with biologically inspired regulatory-feedback networks.

Tsvi Achler, Dervis C. Vural, Eyal Amir

Proceedings of the International Joint Conference on Neural Networks, 2009

Greedy Algorithms for Sequential Sensing Decisions.

Hannaneh Hajishirzi, Afsaneh Shirazi, Jaesik Choi, Eyal Amir

Proceedings of the IJCAI 2009, 2009

2008

A Survey of First-Order Probabilistic Models.

Rodrigo de Salvo Braz, Eyal Amir, Dan Roth

Proceedings of the Innovations in Bayesian Networks: Theory and Applications, 2008

Learning Partially Observable Deterministic Action Models.

Eyal Amir, Allen Chang

J. Artif. Intell. Res., 2008

Sampling First Order Logical Particles.

Hannaneh Hajishirzi, Eyal Amir

Proceedings of the UAI 2008, 2008

Hybrid Classification and Symbolic-Like Manipulation Using Self-Regulatory Feedback Networks.

Tsvi Achler, Eyal Amir

Proceedings of the Fourth International Workshop on Neural-Symbolic Learning and Reasoning, 2008

Shedding weights: More with less.

Tsvi Achler, Cyrus Omar, Eyal Amir

Proceedings of the International Joint Conference on Neural Networks, 2008

Input Feedback Networks: Classification and Inference Based on Network Structure.

Tsvi Achler, Eyal Amir

Proceedings of the Artificial General Intelligence 2008, 2008

A Novel Classification Method Using Self-Regulatory Feedback.

Tsvi Achler, Eyal Amir

Proceedings of the Biologically Inspired Cognitive Architectures, 2008

Factored Models for Probabilistic Modal Logic.

Afsaneh Shirazi, Eyal Amir

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Reachability Under Uncertainty.

Allen Chang, Eyal Amir

Proceedings of the UAI 2007, 2007

Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic.

Igor Gammer, Eyal Amir

Proceedings of the Abstraction, 2007

Factor-guided motion planning for a robot arm.

Jaesik Choi, Eyal Amir

Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29, 2007

Logical Circuit Filtering.

Dafna Shahaf, Eyal Amir

Proceedings of the IJCAI 2007, 2007

Opponent Modeling in Scrabble.

Mark Richards, Eyal Amir

Proceedings of the IJCAI 2007, 2007

Bayesian Inverse Reinforcement Learning.

Deepak Ramachandran, Eyal Amir

Proceedings of the IJCAI 2007, 2007

Towards a Theory of AI Completeness.

Dafna Shahaf, Eyal Amir

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

Probabilistic Modal Logic.

Afsaneh Shirazi, Eyal Amir

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Stochastic Filtering in a Probabilistic Action Model.

Hannaneh Hajishirzi, Eyal Amir

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

FleaNet: A Virtual Market Place on Vehicular Networks.

Uichin Lee, Joon-Sang Park, Eyal Amir, Mario Gerla

Proceedings of the 3rd Annual International ICST Conference on Mobile and Ubiquitous Systems: Computing, 2006

Goal Achievement in Partially Known, Partially Observable Domains.

Allen Chang, Eyal Amir

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Building Knowledge about Buildings.

Matthew T. Young, Eyal Amir

Proceedings of the Semantic Web for Collaborative Knowledge Acquisition, 2006

Factored Planning for Controlling a Robotic Arm.

Jaesik Choi, Eyal Amir

Proceedings of the Integrating Reasoning into Everyday Applications, 2006

Learning Partially Observable Action Models: Efficient Algorithms.

Dafna Shahaf, Allen Chang, Eyal Amir

Proceedings of the Proceedings, 2006

Learning Partially Observable Action Schemas.

Dafna Shahaf, Eyal Amir

Proceedings of the Proceedings, 2006

Reasoning about Partially Observed Actions.

Megan Nance, Adam Vogel, Eyal Amir

Proceedings of the Proceedings, 2006

MPE and Partial Inversion in Lifted Probabilistic Variable Elimination.

Rodrigo de Salvo Braz, Eyal Amir, Dan Roth

Proceedings of the Proceedings, 2006

2005

Partition-based logical reasoning for first-order and propositional theories.

Eyal Amir, Sheila A. McIlraith

Artif. Intell., 2005

Lifted First-Order Probabilistic Inference.

Rodrigo de Salvo Braz, Eyal Amir, Dan Roth

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Learning Partially Observable Deterministic Action Models.

Eyal Amir

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Commonsense Knowledge Retrieval.

Phil Oertel, Eyal Amir

Proceedings of the Knowledge Collection from Volunteer Contributors, 2005

Compact Propositional Encodings of First-Order Theories.

Deepak Ramachandran, Eyal Amir

Proceedings of the Proceedings, 2005

2004

Logic-based subsumption architecture.

Eyal Amir, Pedrito Maynard-Zhang

Artif. Intell., 2004

2003

Constant factor approximation of vertex-cuts in planar graphs.

Eyal Amir, Robert Krauthgamer, Satish Rao

Proceedings of the 35th Annual ACM Symposium on Theory of Computing, 2003

Practical Partition-Based Theorem Proving for Large Knowledge Bases.

Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe

Proceedings of the IJCAI-03, 2003

Logical Filtering.

Eyal Amir, Stuart Russell

Proceedings of the IJCAI-03, 2003

Factored Planning.

Eyal Amir, Barbara Engelhardt

Proceedings of the IJCAI-03, 2003

2002

Interpolation theorems for nonmonotonic reasoning systems.

Eyal Amir

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Projection in Decomposed Situation Calculus.

Eyal Amir

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001

Dividing and conquering logic.

Eyal Amir

PhD thesis, 2001

Theorem Proving with Structured Theories (Preliminary Report)^*.

Sheila Mcllraith, Eyal Amir

Electron. Notes Discret. Math., 2001

Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report).

Eyal Amir, Sheila Mcllraith

Electron. Notes Discret. Math., 2001

Efficient Approximation for Triangulation of Minimum Treewidth.

Eyal Amir

Proceedings of the UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, 2001

Theorem Proving with Structured Theories.

Sheila A. McIlraith, Eyal Amir

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Improving the Efficiency of Reasoning Through Structure-Based Reformulation.

Eyal Amir, Sheila A. McIlraith

Proceedings of the Abstraction, 2000

Partition-Based Logical Reasoning.

Eyal Amir, Sheila A. McIlraith

Proceedings of the KR 2000, 2000

(De)Composition of Situation Calculus Theories.

Eyal Amir

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Object-Oriented First-Order Logic.

Eyal Amir

Electron. Trans. Artif. Intell., 1999

Logic-Based Subsumption Architecture.

Eyal Amir, Pedrito Maynard-Reid II

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Elaboration Tolerance of Logical Theories.

Eyal Amir

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

Pointwise Circumscription Revisited.

Eyal Amir

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998