Eyal Amir

According to our database1, Eyal Amir authored at least 74 papers between 1998 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Psycholinguistic Features for Deceptive Role Detection in Werewolf.
Proceedings of the NAACL HLT 2016, 2016

2015
A Deterministic Partition Function Approximation for Exponential Random Graph Models.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Probabilistic Region Connection Calculus.
Proceedings of the 2015 AAAI Spring Symposia, 2015

Learning Relational Kalman Filtering.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Emotions in Social Computer Games: Relations with Bullying, Aggression, and School Belonging.
Int. J. Gaming Comput. Mediat. Simulations, 2014

Tracking Beliefs and Intentions in the Werewolf Game.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Parameter Estimation for Relational Kalman Filtering.
Proceedings of the Statistical Relational Artificial Intelligence, 2014

2013
Peer Nominations and Its Relation to Interactions in a Computer Game.
Proceedings of the Social Computing, Behavioral-Cultural Modeling and Prediction, 2013

Adaptive game for reducing aggressive behavior.
Proceedings of the 18th International Conference on Intelligent User Interfaces, 2013

Lifted Inference on Transitive Relations.
Proceedings of the Statistical Relational Artificial Intelligence, 2013

2012
Lifted Relational Variational Inference.
Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, 2012

A Computer-in-the-Loop Approach for Detecting Bullies in the Classroom.
Proceedings of the Social Computing, Behavioral - Cultural Modeling and Prediction, 2012

Information Set Generation in Partially Observable Games.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Identifying Bullies with a Computer Game.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
First-order logical filtering.
Artif. Intell., 2011

Reasoning about RoboCup Soccer Narratives.
Proceedings of the UAI 2011, 2011

Evaluating Commonsense Knowledge with a Computer Game.
Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

Lifted Relational Kalman Filtering.
Proceedings of the IJCAI 2011, 2011

Understanding Robocup-Soccer Narratives.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010
Approximation Algorithms for Treewidth.
Algorithmica, 2010

Lifted Inference for Relational Continuous Models.
Proceedings of the UAI 2010, 2010

Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Combining Planning and Motion Planning.
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

A Turing Game for Commonsense Knowledge Extraction.
Proceedings of the Commonsense Knowledge, 2010

2009
Counting objects with biologically inspired regulatory-feedback networks.
Proceedings of the International Joint Conference on Neural Networks, 2009

Greedy Algorithms for Sequential Sensing Decisions.
Proceedings of the IJCAI 2009, 2009

2008
A Survey of First-Order Probabilistic Models.
Proceedings of the Innovations in Bayesian Networks: Theory and Applications, 2008

Learning Partially Observable Deterministic Action Models.
J. Artif. Intell. Res., 2008

Sampling First Order Logical Particles.
Proceedings of the UAI 2008, 2008

Hybrid Classification and Symbolic-Like Manipulation Using Self-Regulatory Feedback Networks.
Proceedings of the Fourth International Workshop on Neural-Symbolic Learning and Reasoning, 2008

Shedding weights: More with less.
Proceedings of the International Joint Conference on Neural Networks, 2008

Input Feedback Networks: Classification and Inference Based on Network Structure.
Proceedings of the Artificial General Intelligence 2008, 2008

A Novel Classification Method Using Self-Regulatory Feedback.
Proceedings of the Biologically Inspired Cognitive Architectures, 2008

Factored Models for Probabilistic Modal Logic.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Reachability Under Uncertainty.
Proceedings of the UAI 2007, 2007

Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic.
Proceedings of the Abstraction, 2007

Factor-guided motion planning for a robot arm.
Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29, 2007

Logical Circuit Filtering.
Proceedings of the IJCAI 2007, 2007

Opponent Modeling in Scrabble.
Proceedings of the IJCAI 2007, 2007

Bayesian Inverse Reinforcement Learning.
Proceedings of the IJCAI 2007, 2007

Towards a Theory of AI Completeness.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

Probabilistic Modal Logic.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Stochastic Filtering in a Probabilistic Action Model.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
FleaNet: A Virtual Market Place on Vehicular Networks.
Proceedings of the 3rd Annual International ICST Conference on Mobile and Ubiquitous Systems: Computing, 2006

Goal Achievement in Partially Known, Partially Observable Domains.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Building Knowledge about Buildings.
Proceedings of the Semantic Web for Collaborative Knowledge Acquisition, 2006

Factored Planning for Controlling a Robotic Arm.
Proceedings of the Integrating Reasoning into Everyday Applications, 2006

Learning Partially Observable Action Models: Efficient Algorithms.
Proceedings of the Proceedings, 2006

Learning Partially Observable Action Schemas.
Proceedings of the Proceedings, 2006

Reasoning about Partially Observed Actions.
Proceedings of the Proceedings, 2006

MPE and Partial Inversion in Lifted Probabilistic Variable Elimination.
Proceedings of the Proceedings, 2006

2005
Partition-based logical reasoning for first-order and propositional theories.
Artif. Intell., 2005

Lifted First-Order Probabilistic Inference.
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.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Commonsense Knowledge Retrieval.
Proceedings of the Knowledge Collection from Volunteer Contributors, 2005

Compact Propositional Encodings of First-Order Theories.
Proceedings of the Proceedings, 2005

2004
Logic-based subsumption architecture.
Artif. Intell., 2004

2003
Constant factor approximation of vertex-cuts in planar graphs.
Proceedings of the 35th Annual ACM Symposium on Theory of Computing, 2003

Practical Partition-Based Theorem Proving for Large Knowledge Bases.
Proceedings of the IJCAI-03, 2003

Logical Filtering.
Proceedings of the IJCAI-03, 2003

Factored Planning.
Proceedings of the IJCAI-03, 2003

2002
Interpolation theorems for nonmonotonic reasoning systems.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Projection in Decomposed Situation Calculus.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001
Theorem Proving with Structured Theories (Preliminary Report)<sup>*</sup>.
Electron. Notes Discret. Math., 2001

Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report).
Electron. Notes Discret. Math., 2001

Efficient Approximation for Triangulation of Minimum Treewidth.
Proceedings of the UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, 2001

Theorem Proving with Structured Theories.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
Improving the Efficiency of Reasoning Through Structure-Based Reformulation.
Proceedings of the Abstraction, 2000

Partition-Based Logical Reasoning.
Proceedings of the KR 2000, 2000

(De)Composition of Situation Calculus Theories.
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.
Electron. Trans. Artif. Intell., 1999

Logic-Based Subsumption Architecture.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Elaboration Tolerance of Logical Theories.
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

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


  Loading...