![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Eyal Amir
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [c69]Codruta Gîrlea, Roxana Girju, Eyal Amir:
Psycholinguistic Features for Deceptive Role Detection in Werewolf. HLT-NAACL 2016: 417-422 - 2015
- [c68]Jaesik Choi, Eyal Amir, Tianfang Xu, Albert J. Valocchi:
Learning Relational Kalman Filtering. AAAI 2015: 2539-2546 - [c67]Codruta Liliana Gîrlea, Eyal Amir:
Probabilistic Region Connection Calculus. AAAI Spring Symposia 2015 - [c66]Wen Pu, Jaesik Choi, Yunseong Hwang, Eyal Amir:
A Deterministic Partition Function Approximation for Exponential Random Graph Models. IJCAI 2015: 192-200 - 2014
- [j9]Juan Fernando Mancilla-Caceres, Dorothy Espelage, Eyal Amir:
Emotions in Social Computer Games: Relations with Bullying, Aggression, and School Belonging. Int. J. Gaming Comput. Mediat. Simulations 6(3): 50-67 (2014) - [c65]Jaesik Choi, Eyal Amir, Tianfang Xu, Albert J. Valocchi:
Parameter Estimation for Relational Kalman Filtering. StarAI@AAAI 2014 - [c64]Codruta Liliana Gîrlea, Eyal Amir, Roxana Girju:
Tracking Beliefs and Intentions in the Werewolf Game. KR 2014 - [i9]Eyal Amir, Allen Chang:
Learning Partially Observable Deterministic Action Models. CoRR abs/1401.3437 (2014) - 2013
- [c63]Wen Pu, Jaesik Choi, Eyal Amir:
Lifted Inference on Transitive Relations. StarAI@AAAI 2013 - [c62]Juan Fernando Mancilla-Caceres, Eyal Amir, Dorothy Espelage:
Adaptive game for reducing aggressive behavior. IUI Companion 2013: 21-24 - [c61]Juan Fernando Mancilla-Caceres, Eyal Amir, Dorothy Espelage:
Peer Nominations and Its Relation to Interactions in a Computer Game. SBP 2013: 38-47 - [i8]Eyal Amir:
Efficient Approximation for Triangulation of Minimum Treewidth. CoRR abs/1301.2253 (2013) - 2012
- [c60]Mark Richards, Eyal Amir:
Information Set Generation in Partially Observable Games. AAAI 2012: 549-555 - [c59]Juan Fernando Mancilla-Caceres, Wen Pu, Eyal Amir, Dorothy Espelage:
Identifying Bullies with a Computer Game. AAAI 2012: 1592-1598 - [c58]Juan Fernando Mancilla-Caceres, Wen Pu, Eyal Amir, Dorothy Espelage:
A Computer-in-the-Loop Approach for Detecting Bullies in the Classroom. SBP 2012: 139-146 - [c57]Jaesik Choi, Eyal Amir:
Nonparametric Relational Hybrid Models. StarAI@UAI 2012 - [c56]Jaesik Choi, Eyal Amir:
Lifted Relational Variational Inference. UAI 2012: 196-206 - [i7]Hannaneh Hajishirzi, Julia Hockenmaier, Erik T. Mueller, Eyal Amir:
Reasoning about RoboCup Soccer Narratives. CoRR abs/1202.3728 (2012) - [i6]Jaesik Choi, Eyal Amir, David J. Hill:
Lifted Inference for Relational Continuous Models. CoRR abs/1203.3473 (2012) - [i5]Hannaneh Hajishirzi, Eyal Amir:
Sampling First Order Logical Particles. CoRR abs/1206.3264 (2012) - [i4]Allen Chang, Eyal Amir:
Reachability Under Uncertainty. CoRR abs/1206.5253 (2012) - [i3]Jaesik Choi, Eyal Amir:
Lifted Relational Variational Inference. CoRR abs/1210.4867 (2012) - 2011
- [j8]Afsaneh Shirazi, Eyal Amir:
First-order logical filtering. Artif. Intell. 175(1): 193-219 (2011) - [c55]Hannaneh Hajishirzi, Eyal Amir:
Understanding Robocup-Soccer Narratives. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - [c54]Jaesik Choi
, Abner Guzmán-Rivera, Eyal Amir:
Lifted Relational Kalman Filtering. IJCAI 2011: 2092-2099 - [c53]Juan Fernando Mancilla-Caceres, Eyal Amir:
Evaluating Commonsense Knowledge with a Computer Game. INTERACT (1) 2011: 348-355 - [c52]Hannaneh Hajishirzi, Julia Hockenmaier, Erik T. Mueller, Eyal Amir:
Reasoning about RoboCup Soccer Narratives. UAI 2011: 291-300 - 2010
- [j7]Eyal Amir:
Approximation Algorithms for Treewidth. Algorithmica 56(4): 448-479 (2010) - [c51]Jaesik Choi, David J. Hill, Eyal Amir:
Lifted Inference for Relational Continuous Models. StarAI@AAAI 2010 - [c50]Juan Fernando Mancilla-Caceres, Eyal Amir:
A Turing Game for Commonsense Knowledge Extraction. AAAI Fall Symposium: Commonsense Knowledge 2010 - [c49]Hannaneh Hajishirzi, Eyal Amir:
Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering. KR 2010 - [c48]Jaesik Choi, Eyal Amir, David J. Hill:
Lifted Inference for Relational Continuous Models. UAI 2010: 126-134 - [i2]Jaesik Choi, Eyal Amir:
Combining Planning and Motion Planning. Cognitive Robotics 2010
2000 – 2009
- 2009
- [c47]Jaesik Choi
, Eyal Amir:
Combining planning and motion planning. ICRA 2009: 238-244 - [c46]Hannaneh Hajishirzi, Afsaneh Shirazi, Jaesik Choi, Eyal Amir:
Greedy Algorithms for Sequential Sensing Decisions. IJCAI 2009: 1908-1915 - [c45]Tsvi Achler, Dervis C. Vural
, Eyal Amir:
Counting objects with biologically inspired regulatory-feedback networks. IJCNN 2009: 36-40 - 2008
- [j6]Eyal Amir, Allen Chang:
Learning Partially Observable Deterministic Action Models. J. Artif. Intell. Res. 33: 349-402 (2008) - [c44]Afsaneh Shirazi, Eyal Amir:
Factored Models for Probabilistic Modal Logic. AAAI 2008: 541-547 - [c43]Tsvi Achler, Eyal Amir:
A Novel Classification Method Using Self-Regulatory Feedback. AAAI Fall Symposium: Biologically Inspired Cognitive Architectures 2008: 4 - [c42]Tsvi Achler, Eyal Amir:
Input Feedback Networks: Classification and Inference Based on Network Structure. AGI 2008: 15-26 - [c41]Tsvi Achler, Cyrus Omar
, Eyal Amir:
Shedding weights: More with less. IJCNN 2008: 3020-3027 - [c40]Tsvi Achler, Eyal Amir:
Hybrid Classification and Symbolic-Like Manipulation Using Self-Regulatory Feedback Networks. NeSy 2008 - [c39]Hannaneh Hajishirzi, Eyal Amir:
Sampling First Order Logical Particles. UAI 2008: 248-255 - [p1]Rodrigo de Salvo Braz, Eyal Amir, Dan Roth:
A Survey of First-Order Probabilistic Models. Innovations in Bayesian Networks 2008: 289-317 - 2007
- [c38]Afsaneh Shirazi, Eyal Amir:
Probabilistic Modal Logic. AAAI 2007: 489-495 - [c37]Hannaneh Hajishirzi, Eyal Amir:
Stochastic Filtering in a Probabilistic Action Model. AAAI 2007: 999-1006 - [c36]Dafna Shahaf, Eyal Amir:
Towards a Theory of AI Completeness. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 150-155 - [c35]Mark Richards, Eyal Amir:
Opponent Modeling in Scrabble. IJCAI 2007: 1482-1487 - [c34]Deepak Ramachandran, Eyal Amir:
Bayesian Inverse Reinforcement Learning. IJCAI 2007: 2586-2591 - [c33]Dafna Shahaf, Eyal Amir:
Logical Circuit Filtering. IJCAI 2007: 2611-2618 - [c32]Jaesik Choi
, Eyal Amir:
Factor-guided motion planning for a robot arm. IROS 2007: 27-32 - [c31]Igor Gammer, Eyal Amir:
Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic. SARA 2007: 169-183 - [c30]Allen Chang, Eyal Amir:
Reachability Under Uncertainty. UAI 2007: 41-48 - 2006
- [c29]Megan Nance, Adam Vogel, Eyal Amir:
Reasoning about Partially Observed Actions. AAAI 2006: 888-893 - [c28]Dafna Shahaf, Eyal Amir:
Learning Partially Observable Action Schemas. AAAI 2006: 913-919 - [c27]Dafna Shahaf, Allen Chang, Eyal Amir:
Learning Partially Observable Action Models: Efficient Algorithms. AAAI 2006: 920-926 - [c26]Rodrigo de Salvo Braz, Eyal Amir, Dan Roth:
MPE and Partial Inversion in Lifted Probabilistic Variable Elimination. AAAI 2006: 1123-1130 - [c25]Jaesik Choi, Eyal Amir:
Factored Planning for Controlling a Robotic Arm. AAAI Fall Symposium: Integrating Reasoning into Everyday Applications 2006: 9-14 - [c24]Matthew T. Young, Eyal Amir:
Building Knowledge about Buildings. AAAI Fall Symposium: Semantic Web for Collaborative Knowledge Acquisition 2006: 98-101 - [c23]Allen Chang, Eyal Amir:
Goal Achievement in Partially Known, Partially Observable Domains. ICAPS 2006: 203-211 - [c22]Uichin Lee, Joon-Sang Park
, Eyal Amir, Mario Gerla:
FleaNet: A Virtual Market Place on Vehicular Networks. MobiQuitous 2006: 1-8 - 2005
- [j5]Eyal Amir, Sheila A. McIlraith:
Partition-based logical reasoning for first-order and propositional theories. Artif. Intell. 162(1-2): 49-88 (2005) - [c21]Deepak Ramachandran, Eyal Amir:
Compact Propositional Encodings of First-Order Theories. AAAI 2005: 340-345 - [c20]Phil Oertel, Eyal Amir:
Commonsense Knowledge Retrieval. AAAI Spring Symposium: Knowledge Collection from Volunteer Contributors 2005: 64-69 - [c19]Afsaneh Shirazi, Eyal Amir:
First-Order Logical Filtering. IJCAI 2005: 589-595 - [c18]Rodrigo de Salvo Braz, Eyal Amir, Dan Roth:
Lifted First-Order Probabilistic Inference. IJCAI 2005: 1319-1325 - [c17]Eyal Amir:
Learning Partially Observable Deterministic Action Models. IJCAI 2005: 1433-1439 - [c16]Deepak Ramachandran, Eyal Amir:
Compact Propositional Encodings of First-Order Theories. IJCAI 2005: 1579-1580 - 2004
- [j4]Eyal Amir, Pedrito Maynard-Zhang:
Logic-based subsumption architecture. Artif. Intell. 153(1-2): 167-237 (2004) - 2003
- [c15]Eyal Amir, Stuart Russell:
Logical Filtering. IJCAI 2003: 75-82 - [c14]Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe:
Practical Partition-Based Theorem Proving for Large Knowledge Bases. IJCAI 2003: 89-98 - [c13]Eyal Amir, Barbara Engelhardt:
Factored Planning. IJCAI 2003: 929-935 - [c12]Eyal Amir, Robert Krauthgamer
, Satish Rao:
Constant factor approximation of vertex-cuts in planar graphs. STOC 2003: 90-99 - 2002
- [c11]Eyal Amir:
Interpolation Theorems for Nonmonotonic Reasoning Systems. JELIA 2002: 233-244 - [c10]Eyal Amir:
Projection in Decomposed Situation Calculus. KR 2002: 315-326 - [c9]Eyal Amir:
Interpolation theorems for nonmonotonic reasoning systems. NMR 2002: 41-50 - [i1]Eyal Amir:
Interpolation Theorems for Nonmonotonic Reasoning Systems. CoRR cs.AI/0207064 (2002) - 2001
- [b1]Eyal Amir:
Dividing and conquering logic. Stanford University, USA, 2001 - [j3]Sheila Mcllraith, Eyal Amir:
Theorem Proving with Structured Theories (Preliminary Report)*. Electron. Notes Discret. Math. 9: 311-328 (2001) - [j2]Eyal Amir, Sheila Mcllraith:
Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report). Electron. Notes Discret. Math. 9: 329-343 (2001) - [c8]Sheila A. McIlraith, Eyal Amir:
Theorem Proving with Structured Theories. IJCAI 2001: 624-634 - [c7]Eyal Amir:
Efficient Approximation for Triangulation of Minimum Treewidth. UAI 2001: 7-15 - 2000
- [c6]Eyal Amir:
(De)Composition of Situation Calculus Theories. AAAI/IAAI 2000: 456-463 - [c5]Eyal Amir, Sheila A. McIlraith:
Partition-Based Logical Reasoning. KR 2000: 389-400 - [c4]Eyal Amir, Sheila A. McIlraith:
Improving the Efficiency of Reasoning Through Structure-Based Reformulation. SARA 2000: 247-259
1990 – 1999
- 1999
- [j1]Eyal Amir:
Object-Oriented First-Order Logic. Electron. Trans. Artif. Intell. 3(C): 63-84 (1999) - [c3]Eyal Amir:
Elaboration Tolerance of Logical Theories. AAAI/IAAI 1999: 940 - [c2]Eyal Amir, Pedrito Maynard-Reid II:
Logic-Based Subsumption Architecture. IJCAI 1999: 147-152 - 1998
- [c1]Eyal Amir:
Pointwise Circumscription Revisited. KR 1998: 202-211
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint