Richard B. Scherl

35 papers A* 3B 4C 1Journal 8Unranked 18

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	A Situation-Calculus Model of Knowledge and Belief Based on Thinking About Justifications. NMR Richard B. Scherl
2022	—	`conf`	A Situation-calculus based Model of Linguistic Context. AIC Richard B. Scherl
2015	—	`conf`	A Situation-Calculus Based Theory of Justified Knowledge and Action. AAAI Spring Symposia Richard B. Scherl
2015	—	`conf`	Recognizing Social Constructs from Textual Conversation. HLT-NAACL 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
2015	—	`conf`	Towards a Formal Model of the Deictically Constructed Context of Narratives. CONTEXT Richard B. Scherl
2013	—	`conf`	Developing Semantic Classifiers for Big Data. AAAI Fall Symposia Richard B. Scherl
2010	—	`conf`	Automated Inference of Socio-Cultural Information from Natural Language Conversations. SocialCom/PASSAT Richard B. Scherl, Daniela Inclezan, Michael Gelfond
2009	J	`jnl`	State-Based Regression with Sensing and Knowledge. Int. J. Softw. Informatics Richard B. Scherl, Tran Cao Son, Chitta Baral
2008	B	`conf`	State-Based Regression with Sensing and Knowledge. PRICAI Richard B. Scherl, Tran Cao Son, Chitta Baral
2007	J	`jnl`	A probabilistic logic based on the acceptability of gambles. Int. J. Approx. Reason. Peter R. Gillett, Richard B. Scherl, Glenn Shafer
2006	—	`conf`	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 Richard B. Scherl
2005	—	`conf`	A High-Level Language for Homeland Security Response Plans. AAAI Spring Symposium: AI Technologies for Homeland Security Richard B. Scherl, Michael Barnathan
2005	—	`conf`	Answer Set Programming as the Basis for a Homeland Security QAS. AAAI Spring Symposium: AI Technologies for Homeland Security Chitta Baral, Michael Gelfond, Richard B. Scherl
2005	—	`conf`	Basing Probabilistic Logic on Gambles. ISIPTA Peter R. Gillett, Richard B. Scherl, Glenn Shafer
2003	J	`jnl`	A new understanding of subjective probability and its generalization to lower and upper prevision. Int. J. Approx. Reason. Glenn Shafer, Peter R. Gillett, Richard B. Scherl
2003	J	`jnl`	Knowledge, action, and the frame problem. Artif. Intell. Richard B. Scherl, Hector J. Levesque
2003	A*	`conf`	Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus. IJCAI Richard B. Scherl
2003	—	`conf`	Subjective Probability and Lower and Upper Prevision: A New Understanding. ISIPTA Glenn Shafer, Peter R. Gillett, Richard B. Scherl
2003	—	`conf`	Using Internet Glossaries to Determine Interests from Home Pages. EC-Web Edwin Portscher, James Geller, Richard B. Scherl
2003	B	`conf`	Using an Interest Ontology for Improved Support in Rule Mining. DaWaK Xiaoming Chen, Xuan Zhou, Richard B. Scherl, James Geller
2000	J	`jnl`	Ability and Knowing How in the Situation Calculus. Stud Logica Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl
2000	—	`conf`	Sensing Actions, Time, and Concurrency in the Situation Calculus. ATAL Stephen Zimmerbaum, Richard B. Scherl
2000	J	`jnl`	The logic of events. Ann. Math. Artif. Intell. Glenn Shafer, Peter R. Gillett, Richard B. Scherl
2000	—	`conf`	What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems. AAAI/IAAI Sheila A. McIlraith, Richard B. Scherl
1998	C	`conf`	A Logic of Action, Causality, and the Temporal Relations of Events. TIME Richard B. Scherl, Glenn Shafer
1998	—	`conf`	A Situation Calculus Model of Hypertext. HICSS (5) Richard B. Scherl, Michael Bieber, Fabio Vitali
1997	—	`conf`	Electronic enterprise engineering: an outline of an architecture. ECBS 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
1997	J	`jnl`	GOLOG: A Logic Programming Language for Dynamic Domains. J. Log. Program. Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl
1995	—	`conf`	Foundations of a Logical Approach to Agent Programming. ATAL Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl
1994	B	`conf`	Equality and Constrained Resolution. JELIA Richard B. Scherl
1993	A*	`conf`	The Frame Problem and Knowledge-Producing Actions. AAAI Richard B. Scherl, Hector J. Levesque
1992	—	`—`	A Constraint Logic Approach to Automated Modal Deduction Richard B. Scherl
1991	J	`jnl`	A Bibliography on Hybrid Reasoning. AI Mag. Alan M. Frisch, Richard B. Scherl
1991	A*	`conf`	A General Framework for Modal Deduction. KR Alan M. Frisch, Richard B. Scherl
1990	B	`conf`	A Constraint Logic Approach to Modal Deduction. JELIA Alan M. Frisch, Richard B. Scherl