Selected Papers and Publications
2010
*
Scherl,R., Inclezan, D. and Gelfond,M. Automated Inference of Socio-Cultural Information From Natural Languae Conversations. Pages 480-487 in Proceedings of the IEEE International Conference on Social Computing/IEEE International Conference on Privacy, Security, Risk and Trust. SIN- The Second International Symposium on Social Intelligence and Networking. Los Alimitos, California: IEEE Computer Society. 2010.
2009
*
Scherl, R., Tran, C., and Baral, C. State-Based Regression with Sensing and Knowledge. International Journal of Software and Informatics. 3(1):3-30. 2009.
2008
*
Scherl, R., Tran, C., and Baral, C. State-Based Regression with Sensing and Knowledge. Pages 345-357 in PRICAI 2008: Trends in Artificial Intelligence, Proceedings of the 10th Pacific Rim International Conference on Artifcial Intelligence. Hanoi, Vietnam December 15-18, 2008. LNAI 5351, Berlin: Springer, 2008.
2007
*
Peter R. Gillett,Richard Scherl, and Glenn Shafer. A probabilistic Logic Based on the Acceptability of Gambles.
International Journal of Approximate Reasoning 44, Issue 3. (2007) 281-300.
2006
*
R. Scherl.
Development of a Background Knowledge-Base about Shipping and Smuggling, Pages 72-76 in Proceedings of the AAAI Spring Symposium on Formalizing and Compiling Background Knowledge and its Applications to Question Answering, Stanford,California.
March 27-29, 2006.
2005
*
C. Baral, G. Gelfond, M. Gelfond, and R. Scherl.
Textual Inference by Combining Multiple Logic Programming Paradigms, To appear in Proceedings of the Workshop on Textual Question Answering at AAAI-05, Pittsburgh, Pennsylvania,
July 9, 2005.
*
R. Scherl. Action, Belief Change and the Frame Problem: A Fluent Calculus Approach. To appear in the Proceedings of the Sixth workshop on Nonmonotonic Reasoning, Action, and Change at IJCAI-05. August 1, 2005, Edinburgh, Scotland.
*
P. Gillett, R. Scherl, and G. Shafer.
Basing Probabilistic Logic on Gambles. To appear in the Proceedings of the 4th International Symposium on Imprecise Probabilities and their Applications. Pittsburgh, Pennsylvania, 2005.
*
C. Baral, M. Gelfond, and R. Scherl. Answer Set Programming as the Basis for a Homeland Security QAS. In AI Technologies for Homeland Security: Papers from the 2005 AAAI Symposium. Edited by J. Yen and R. Popp. Pages 149 - 150. Stanford, California. March 21-23, 2005.
*
A High-Level Language for Homeland Security Response Plans. In AI Technologies for Homeland Security: Papers from the 2005 AAAI Symposium. Edited by J. Yen and R. Popp. Pages 147 - 148. Stanford, California. March 21-23, 2005.
2004
*
R. Scherl, and D. Ulery.
Technologies for Army Knowledge Fusion, Army Research Laboratory Technical Report, ARL-TR-3279,
September 2004.
*
C. Baral, M. Gelfond, and R. Scherl.
Using answer set programming to answer complex queries, In Workshop on Pragmatics of Question Answering at HLT-NAACL2004 (Human Language Technology - North American Association for Computational Linguistics, Boston, Mass.,
May 2004.
2003
*
R.B. Scherl.
Reasoning about the interaction of knowledge, time and concurrent actions in the situation calculus. pp. 1091--1096, In Proceedings of the Eighteenth International Conference on Artificial Intelligence (IJCAI-03), Acapulco, Mexico,
August 9-15, 2003.
*
R.B. Scherl and H.J. Levesque. Knowledge, action, and the frame problem.
Artificial Intelligence, vol 144(1-2), March 2003.
*
Glenn Shafer, Peter R. Gillett, and Richard B. Scherl. A new understanding of
subjective probability and its generalization to lower and upper prevision.
International Journal of Approximate Reasoning 33 (2003) 1-49.
2002
*
Richard Scherl and James Geller. Global communities, marketing, and web mining.
Doing Business Across Borders 1(2) 2002. 141-150.
*
Richard B. Scherl and Alan Frisch. A Constraint Logic Approach to Automated
Modal Deduction. (Copy available on request)
2001
*
Stephen Zimmerbaum and Richard Scherl. Reasoning about Knowledge, Time, and
Concurrency in the Situation Calculus. Pages 86-93 in Proceedings of the
Cognitive Robotics Workshop held at the 14th European Conference on
Artificial Intelligence, Berlin, August 2001.
*
Stephen Zimmerbaum and Richard Scherl. Knowledge, Time, and Concurrency in the
Situation Calculus. To appear in Castelfranchi, C. and L&ecute;sperance, Y. ,
editors Intelligent Agents Volume VII - Proceedings of the 2000 Workshop on
Agent Theories, Architectures, and Languages (ATAL-2000) LNAI,
Springer-Verlag, Berlin 20001.
2000
*
Sheila McIlraith and Richard Scherl. What Sensing Tells Us: Towards a Formal
Theory of Testing for Dynamical Systems, Proceedings of the American
Association for Artificial Intelligence Austin, Texas, July 2000.
*
Y. Lespérance, H.J. Levesque, F. Lin, and R.B. Scherl. Ability and Knowing How
in the Situation Calculus Studia Logica , 66(1), 165-186, October 2000
*
Glenn Shafer, Peter R. Gillett and Richard Scherl The Logic of Events.
Annals of Mathematics and Artificial Intelligence , 28 (2000) pp. 315--389
Prior to 2000
*
H.J. Levesque, R. Reiter, Y. Lespérance, F. Lin and R. Scherl. GOLOG: A Logic
Programming Language for Dynamic Domains. Journal of Logic Programming,
Special issue on Reasoning about Action and Change, vol 31(1-3), May 1997.
*
Y. Lespérance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl.
Foundations of a Logical Approach to Agent Programming. In M. Wooldridge, J.P.
Muller, and M. Tambe, editors, Intelligent Agents Volume II - Proceedings of
the 1995 Workshop on Agent Theories, Architectures, and Languages (ATAL-95),
pp. 331-346, Springer-Verlag, Lecture Notes in Artificial Intelligence, 1996.
*
R. Scherl,
H. Levesque, and Y. Lespérance. The Situation Calculus with Sensing
and Indexical Knowledge, in Moshe Koppel and Eli Shamir, editors,
Proceedings of BISFAI'95: The Fourth Bar-Ilan Symposium on Foundations of
Artificial Intelligence, pp. 86-95, Ramat Gan and Jerusalem, Israel, June,
1995.
*
Y. Lespérance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. A
Logical Approach to High-Level Robot Programming - A Progress Report. In
Benjamin Kuipers, editor,Control of the Physical World by Intelligent
Systems, Papers from the 1994 AAAI Fall Symposium, pages 79-85, New
Orleans, LA, November, 1994.
*
Richard Scherl and Hector Levesque. The Frame Problem and Knowledge Producing
Actions, pp. 689--695, in Proceedings of the Eleventh National Conference on
Artificial Intelligence (AAAI--93). Washington, DC. July 1993. (Menlo Park:
AAAI Press/ The MIT Press)
*
Alan Frisch and Richard Scherl. A General Framework for Automated Modal
Deduction, pp. 196--207 in Proceedings of the Second International
Conference on Principles of Knowledge Representation and Reasoning (KR-91).
Cambridge, Massachusetts. April 1991. (San Mateo, CA: Morgan Kaufmann
Publishers)