Richard B. Scherl

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 2

Top Topics

Provably Correct

Situation Calculus

Logical Theories

Top Venues

AAAI Fall Symposia

AAAI Spring Symposia

Publications

Richard B. Scherl
A Situation-Calculus Model of Knowledge and Belief Based on Thinking About Justifications. NMR (2022)
Richard B. Scherl
A Situation-calculus based Model of Linguistic Context. AIC (2022)
Richard B. Scherl
Towards a Formal Model of the Deictically Constructed Context of Narratives. CONTEXT (2015)
Richard B. Scherl
A Situation-Calculus Based Theory of Justified Knowledge and Action. AAAI Spring Symposia (2015)
Somak Aditya, Chitta Baral, Nguyen Ha Vo, Joohyung Lee, Jieping Ye, Zaw Naung, Barry Lumpkin, Jenny Hastings, Richard B. Scherl, Dawn M. Sweet, Daniela Inclezan
Recognizing Social Constructs from Textual Conversation. HLT-NAACL (2015)
Richard B. Scherl
Developing Semantic Classifiers for Big Data. AAAI Fall Symposia (2013)
Richard B. Scherl, Daniela Inclezan, Michael Gelfond
Automated Inference of Socio-Cultural Information from Natural Language Conversations. SocialCom/PASSAT (2010)
Richard B. Scherl, Tran Cao Son, Chitta Baral
State-Based Regression with Sensing and Knowledge. Int. J. Softw. Informatics 3 (1) (2009)
Richard B. Scherl, Tran Cao Son, Chitta Baral
State-Based Regression with Sensing and Knowledge. PRICAI (2008)
Peter R. Gillett, Richard B. Scherl, Glenn Shafer
A probabilistic logic based on the acceptability of gambles. Int. J. Approx. Reason. 44 (3) (2007)
Richard B. Scherl
Development of a Background Knowledge-Base about Shipping and Smuggling. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering (2006)
Richard B. Scherl, Michael Barnathan
A High-Level Language for Homeland Security Response Plans. AAAI Spring Symposium: AI Technologies for Homeland Security (2005)
Peter R. Gillett, Richard B. Scherl, Glenn Shafer
Basing Probabilistic Logic on Gambles. ISIPTA (2005)
Chitta Baral, Michael Gelfond, Richard B. Scherl
Answer Set Programming as the Basis for a Homeland Security QAS. AAAI Spring Symposium: AI Technologies for Homeland Security (2005)
Edwin Portscher, James Geller, Richard B. Scherl
Using Internet Glossaries to Determine Interests from Home Pages. EC-Web (2003)
Glenn Shafer, Peter R. Gillett, Richard B. Scherl
A new understanding of subjective probability and its generalization to lower and upper prevision. Int. J. Approx. Reason. 33 (1) (2003)
Richard B. Scherl
Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus. IJCAI (2003)
Xiaoming Chen, Xuan Zhou, Richard B. Scherl, James Geller
Using an Interest Ontology for Improved Support in Rule Mining. DaWaK (2003)
Glenn Shafer, Peter R. Gillett, Richard B. Scherl
Subjective Probability and Lower and Upper Prevision: A New Understanding. ISIPTA (2003)
Richard B. Scherl, Hector J. Levesque
Knowledge, action, and the frame problem. Artif. Intell. 144 (1-2) (2003)
Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl
Ability and Knowing How in the Situation Calculus. Stud Logica 66 (1) (2000)
Stephen Zimmerbaum, Richard B. Scherl
Sensing Actions, Time, and Concurrency in the Situation Calculus. ATAL (2000)
Glenn Shafer, Peter R. Gillett, Richard B. Scherl
The logic of events. Ann. Math. Artif. Intell. 28 (1-4) (2000)
Sheila A. McIlraith, Richard B. Scherl
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems. AAAI/IAAI (2000)
Richard B. Scherl, Glenn Shafer
A Logic of Action, Causality, and the Temporal Relations of Events. TIME (1998)
Richard B. Scherl, Michael Bieber, Fabio Vitali
A Situation Calculus Model of Hypertext. HICSS (5) (1998)
Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl
GOLOG: A Logic Programming Language for Dynamic Domains. J. Log. Program. 31 (1-3) (1997)
Michael Bieber, Michael R. Bartolacci, Jerry Fjermestad, Franz J. Kurfess, Qianhong Liu, Marvin K. Nakayama, Ajaz Rana, Wilhelm R. Rossak, Richard B. Scherl, Murat M. Tanik, Jason Tsong-Li Wang, Raymond T. Yeh, Peter A. Ng, Richard Sweeney, Fabio Vitali
Electronic enterprise engineering: an outline of an architecture. ECBS (1997)
Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl
Foundations of a Logical Approach to Agent Programming. ATAL (1995)
Richard B. Scherl
Equality and Constrained Resolution. JELIA (1994)
Richard B. Scherl, Hector J. Levesque
The Frame Problem and Knowledge-Producing Actions. AAAI (1993)
Alan M. Frisch, Richard B. Scherl
A General Framework for Modal Deduction. KR (1991)
Alan M. Frisch, Richard B. Scherl
A Bibliography on Hybrid Reasoning. AI Mag. 11 (5) (1991)
Alan M. Frisch, Richard B. Scherl
A Constraint Logic Approach to Modal Deduction. JELIA (1990)