Sam Steel

14 papers A* 1B 1Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2001 J jnl
Comparing some Intuitions of 'Process Calculus' and 'Program Logic'.
J. Log. Comput.
Sam Steel
2000 — conf
Extracting Semistructured Data - Lessons Learnt.
Natural Language Processing
Udo Kruschwitz, Anne N. De Roeck, Paul Scott, Sam Steel, Raymond Turner, Nick Webb
2000 — conf
The YPA - An Assistant for Classified Directory Enquiries.
Intelligent Systems and Soft Computing
Anne N. De Roeck, Udo Kruschwitz, Paul Scott, Sam Steel, Raymond Turner, Nick Webb
1999 B conf
Natural language access to Yellow Pages.
KES
Udo Kruschwitz, Anne N. De Roeck, Paul Scott, Sam Steel, Raymond Turner, Nick Webb
1997 — conf
Quantification in Generative Refinement Planning.
ECP
Andrew Burgess, Sam Steel
1997 — ed.
Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997, Proceedings
ECP
Sam Steel, Rachid Alami
1994 J jnl
Action Under Uncertainty.
J. Log. Comput.
Sam Steel
1994 J jnl
Actions on belief.
J. Appl. Non Class. Logics
Sam Steel
1992 — conf
Notes on Current Trends in AI Planning.
Advanced Topics in Artificial Intelligence
Sam Steel
1991 — conf
Knowledge Subgoals in Plans.
EWSP
Sam Steel
1991 — conf
Recursive Plans.
EWSP
Reza Ghassem-Sani, Sam Steel
1988 A* conf
Integrating Planning, Execution and Monitoring.
AAAI
Jose A. Ambros-Ingerson, Sam Steel
1987 J jnl
The bread and butter of planning.
Artif. Intell. Rev.
Sam Steel
1987 — conf
Topics in Planning.
Advanced Topics in Artificial Intelligence
Sam Steel
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