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)