Login with OpenID | Report issues

 

Author: Richard B. Scherl [RDF, Bibtex, BibBase, BibGraph] has 9 publications

report error (So far 0 user(s) reported errors on this item)

See also:


State-Based Regression with Sensing and Knowledge Richard B. Scherl, Tran Cao Son, Chitta Baral. PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings 345-357 2008


What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems Sheila A. McIlraith, Richard B. Scherl. Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA 483-490 2000


GOLOG: A Logic Programming Language for Dynamic Domains Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl. Journal of Logic Programming 1997


Foundations of a Logical Approach to Agent Programming Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl. Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings 331-346 1995


Equality and Constrained Resolution Richard B. Scherl, C. MacNish, D. Pearce, L. M. Pereira. Logics in AI: European Workshop JELIA'94 LNAI 167-181 1994


A Constraint Logic Approach to Automated Modal Deduction Richard B. Scherl. Department of Computer Science, University of Illinois at Urban-Champaign 1992


A General Framework for Modal Deduction Alan M. Frisch, Richard B. Scherl, James F. Allen, Richard Fikes, Erik Sandewall. KR-91 196-207 1991


A Constraint Logic Approach to Modal Deduction Alan M. Frisch, Richard B. Scherl, J. van Eijck. Logics in AI: European Workshop JELIA'90 LNAI 234-250 1991


A Bibliography on Hybrid Reasoning Alan M. Frisch, Richard B. Scherl. AI Magazine 84-87 1991