Isaac Levi

34 papers B 1Misc 1Journal 21Unranked 6
YearRankTypeTitle / Venue / Authors
2012 J jnl
Synth.
Isaac Levi
2012 J jnl
Int. J. Approx. Reason.
Isaac Levi
2011 — ch.
Belief Revision meets Philosophy of Science
Isaac Levi
2010 J jnl
Synth.
Isaac Levi
2009 — book
The Fixation of Belief and its Undoing - Changing Beliefs through Inquiry.
Isaac Levi
2009 J jnl
J. Appl. Log.
Isaac Levi
2008 J jnl
J. Log. Comput.
Isaac Levi
2007 — conf
Formal Models of Belief Change in Rational Agents
Isaac Levi
2006 J jnl
Synth.
Horacio L. Arló-Costa, Isaac Levi
2005 — conf
Belief Change in Rational Agents
Isaac Levi, Giacomo Bonanno, Bernard Walliser, Didier Dubois, Hans Rott, James P. Delgrande, Jérôme Lang
2005 — conf
Belief Change in Rational Agents
Isaac Levi
2005 B conf
TARK
Isaac Levi
2004 — conf
NMR
Horacio L. Arló-Costa, Isaac Levi
2004 J jnl
Synth.
Isaac Levi
2004 J jnl
Synth.
Isaac Levi
2004 J jnl
Synth.
Isaac Levi
2004 J jnl
Synth.
Isaac Levi
2004 J jnl
Synth.
Isaac Levi
2004 J jnl
Synth.
Isaac Levi
2004 J jnl
Synth.
Isaac Levi
2004 J jnl
Synth.
Isaac Levi
2003 J jnl
Synth.
Isaac Levi
2003 J jnl
Stud Logica
Isaac Levi
2003 — conf
ISIPTA
Mark J. Schervish, Teddy Seidenfeld, Joseph B. Kadane, Isaac Levi
2002 Misc conf
FLAIRS
Isaac Levi
1999 — conf
ISIPTA
Isaac Levi
1997 — book
The Covenant of Reason - Rationality and the Commitments of Thought.
Isaac Levi
1996 — book
For the Sake of the Argument - Ramsey Test Conditionals, Inductive Inference and Nonmonotonic Reasoning.
Isaac Levi
1996 J jnl
Synth.
Horacio L. Arló-Costa, Isaac Levi
1994 J jnl
Comput. Intell.
Isaac Levi
1994 J jnl
Synth.
André Fuhrmann, Isaac Levi
1984 — book
Isaac Levi
1984 J jnl
Inf. Process. Manag.
Isaac Levi
1970 J jnl
J. Symb. Log.
Jaakko Hintikka, Karel L. de Bouvère, Isaac Levi
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling