Daniel L. Chester

13 papers A* 3B 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2016 J jnl
Automated quantitative model-based fault diagnosistic protocol via Assumption State Differences.
Comput. Chem. Eng.
Richard J. Fickelscherer, Daniel L. Chester
1998 J jnl
Color and three-dimensional vision-based assistive telemanipulation.
Image Vis. Comput.
Shoupu Chen, Zunaid Kazi, Richard A. Foulds, Daniel L. Chester
1998 — conf
Speech and Gesture Mediated Intelligent Teleoperation.
Assistive Technology and Artificial Intelligence
Zunaid Kazi, Shoupu Chen, Matthew Beitler, Daniel L. Chester, Richard A. Foulds
1997 J jnl
Abstractional Concept Mapping: A Foundational Model for Analogical Reasoning.
Comput. Intell.
Charles Dierbach, Daniel L. Chester
1993 B conf
A Combined Object-Oriented and Logic Programming Tool for AI.
ICTAI
Marcelo Jenkins, Daniel L. Chester
1991 A* conf
A Formal Basis for Analogical Reasoning.
KR
Charles Dierbach, Daniel L. Chester
1989 — conf
A family of cuts for production systems.
TAI
Zavdi L. Lichtman, Daniel L. Chester
1982 J jnl
Relating Sentences and Semantic Networks with Procedural Logic.
Commun. ACM
Robert F. Simmons, Daniel L. Chester
1980 J jnl
A Parsing Algoritm That Extends Phrases.
Am. J. Comput. Linguistics
Daniel L. Chester
1980 A* conf
HCPRVR: An Interpreter for Logic Programs.
AAAI
Daniel L. Chester
1977 A* conf
Inferences in Quantified Semantic Networks.
IJCAI
Robert F. Simmons, Daniel L. Chester
1976 J jnl
John Craig Comfort, A Flexible Efficient Computer System to Answer Human Questions.
Artif. Intell.
Daniel L. Chester
1976 J jnl
The Translation of Formal Proofs into English.
Artif. Intell.
Daniel L. Chester
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