iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/96/5750.rss
dblp: Richard B. Scherl https://dblp.org/pid/96/5750.html dblp person page RSS feed Thu, 25 Apr 2024 05:44:47 +0200 en-US daily 1 released under the CC0 1.0 license dblp@dagstuhl.de (dblp team) dblp@dagstuhl.de (dblp team) Computers/Computer_Science/Publications/Bibliographies http://www.rssboard.org/rss-specification https://dblp.org/img/logo.144x51.pngdblp: Richard B. Scherlhttps://dblp.org/pid/96/5750.html14451 A Situation-calculus based Model of Linguistic Context.https://ceur-ws.org/Vol-3400/paper19.pdf:
A Situation-calculus based Model of Linguistic Context. AIC : 187-195]]>https://dblp.org/rec/conf/aic/Scherl22Sat, 01 Jan 2022 00:00:00 +0100 A Situation-Calculus Model of Knowledge and Belief Based on Thinking About Justifications.https://ceur-ws.org/Vol-3197/paper10.pdf:
A Situation-Calculus Model of Knowledge and Belief Based on Thinking About Justifications. NMR : 104-114]]>https://dblp.org/rec/conf/nmr/Scherl22Sat, 01 Jan 2022 00:00:00 +0100 A Situation-Calculus Based Theory of Justified Knowledge and Action.http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/view/10259:
A Situation-Calculus Based Theory of Justified Knowledge and Action. AAAI Spring Symposia ]]>https://dblp.org/rec/conf/aaaiss/Scherl15Thu, 01 Jan 2015 00:00:00 +0100 Towards a Formal Model of the Deictically Constructed Context of Narratives.https://doi.org/10.1007/978-3-319-25591-0_42:
Towards a Formal Model of the Deictically Constructed Context of Narratives. CONTEXT : 520-525]]>https://dblp.org/rec/conf/context/Scherl15Thu, 01 Jan 2015 00:00:00 +0100 Recognizing Social Constructs from Textual Conversation.https://doi.org/10.3115/v1/n15-1141, , , , , , , , , , :
Recognizing Social Constructs from Textual Conversation. HLT-NAACL : 1293-1298]]>https://dblp.org/rec/conf/naacl/AdityaBVLYNLHSS15Thu, 01 Jan 2015 00:00:00 +0100 Developing Semantic Classifiers for Big Data.http://www.aaai.org/ocs/index.php/FSS/FSS13/paper/view/7599:
Developing Semantic Classifiers for Big Data. AAAI Fall Symposia ]]>https://dblp.org/rec/conf/aaaifs/Scherl13Tue, 01 Jan 2013 00:00:00 +0100 Automated Inference of Socio-Cultural Information from Natural Language Conversations.https://doi.org/10.1109/SocialCom.2010.76, , :
Automated Inference of Socio-Cultural Information from Natural Language Conversations. SocialCom/PASSAT : 480-487]]>https://dblp.org/rec/conf/socialcom/ScherlIG10Fri, 01 Jan 2010 00:00:00 +0100 State-Based Regression with Sensing and Knowledge.http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=3&flag=1, , :
State-Based Regression with Sensing and Knowledge. Int. J. Softw. Informatics 3(1): 3-30 ()]]>https://dblp.org/rec/journals/ijsi/ScherlSB09Thu, 01 Jan 2009 00:00:00 +0100 State-Based Regression with Sensing and Knowledge.https://doi.org/10.1007/978-3-540-89197-0_33, , :
State-Based Regression with Sensing and Knowledge. PRICAI : 345-357]]>https://dblp.org/rec/conf/pricai/ScherlTB08Tue, 01 Jan 2008 00:00:00 +0100 A probabilistic logic based on the acceptability of gambles.https://doi.org/10.1016/j.ijar.2006.07.014, , :
A probabilistic logic based on the acceptability of gambles. Int. J. Approx. Reason. 44(3): 281-300 ()]]>https://dblp.org/rec/journals/ijar/GillettSS07Mon, 01 Jan 2007 00:00:00 +0100 Development of a Background Knowledge-Base about Shipping and Smuggling.http://www.aaai.org/Library/Symposia/Spring/2006/ss06-05-011.php:
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 : 72-]]>https://dblp.org/rec/conf/aaaiss/Scherl06Sun, 01 Jan 2006 00:00:00 +0100 A High-Level Language for Homeland Security Response Plans.http://www.aaai.org/Library/Symposia/Spring/2005/ss05-01-028.php, :
A High-Level Language for Homeland Security Response Plans. AAAI Spring Symposium: AI Technologies for Homeland Security : 147-148]]>https://dblp.org/rec/conf/aaaiss/ScherlB05Sat, 01 Jan 2005 00:00:00 +0100 Answer Set Programming as the Basis for a Homeland Security QAS.http://www.aaai.org/Library/Symposia/Spring/2005/ss05-01-029.php, , :
Answer Set Programming as the Basis for a Homeland Security QAS. AAAI Spring Symposium: AI Technologies for Homeland Security : 149-150]]>https://dblp.org/rec/conf/aaaiss/BaralGS05Sat, 01 Jan 2005 00:00:00 +0100 Basing Probabilistic Logic on Gambles.https://dblp.org/pid/96/5750.html, , :
Basing Probabilistic Logic on Gambles. ISIPTA : 173-182]]>https://dblp.org/rec/conf/isipta/GillettSS05Sat, 01 Jan 2005 00:00:00 +0100 Knowledge, action, and the frame problem.https://doi.org/10.1016/S0004-3702(02)00365-X, :
Knowledge, action, and the frame problem. Artif. Intell. 144(1-2): 1-39 ()]]>https://dblp.org/rec/journals/ai/ScherlL03Wed, 01 Jan 2003 00:00:00 +0100 A new understanding of subjective probability and its generalization to lower and upper prevision.https://doi.org/10.1016/S0888-613X(02)00134-2, , :
A new understanding of subjective probability and its generalization to lower and upper prevision. Int. J. Approx. Reason. 33(1): 1-49 ()]]>https://dblp.org/rec/journals/ijar/ShaferGS03Wed, 01 Jan 2003 00:00:00 +0100 Using an Interest Ontology for Improved Support in Rule Mining.https://doi.org/10.1007/978-3-540-45228-7_32, , , :
Using an Interest Ontology for Improved Support in Rule Mining. DaWaK : 320-329]]>https://dblp.org/rec/conf/dawak/ChenZSG03Wed, 01 Jan 2003 00:00:00 +0100 Using Internet Glossaries to Determine Interests from Home Pages.https://doi.org/10.1007/978-3-540-45229-4_25, , :
Using Internet Glossaries to Determine Interests from Home Pages. EC-Web : 248-258]]>https://dblp.org/rec/conf/ecweb/PortscherGS03Wed, 01 Jan 2003 00:00:00 +0100 Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus.http://ijcai.org/Proceedings/03/Papers/157.pdf:
Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus. IJCAI : 1091-1098]]>https://dblp.org/rec/conf/ijcai/Scherl03Wed, 01 Jan 2003 00:00:00 +0100 Subjective Probability and Lower and Upper Prevision: A New Understanding.http://www.carleton-scientific.com/isipta/PDF/038.pdf, , :
Subjective Probability and Lower and Upper Prevision: A New Understanding. ISIPTA : 509-523]]>https://dblp.org/rec/conf/isipta/ShaferGS03Wed, 01 Jan 2003 00:00:00 +0100 The logic of events.https://doi.org/10.1023/A:1018964524717, , :
The logic of events. Ann. Math. Artif. Intell. 28(1-4): 315-389 ()]]>https://dblp.org/rec/journals/amai/ShaferGS00Sat, 01 Jan 2000 00:00:00 +0100 Ability and Knowing How in the Situation Calculus.https://doi.org/10.1023/A:1026761331498, , , :
Ability and Knowing How in the Situation Calculus. Stud Logica 66(1): 165-186 ()]]>https://dblp.org/rec/journals/sLogica/LesperanceLLS00Sat, 01 Jan 2000 00:00:00 +0100 What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems.http://www.aaai.org/Library/AAAI/2000/aaai00-074.php, :
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems. AAAI/IAAI : 483-490]]>https://dblp.org/rec/conf/aaai/McIlraithS00Sat, 01 Jan 2000 00:00:00 +0100 Sensing Actions, Time, and Concurrency in the Situation Calculus.https://doi.org/10.1007/3-540-44631-1_3, :
Sensing Actions, Time, and Concurrency in the Situation Calculus. ATAL : 31-45]]>https://dblp.org/rec/conf/atal/ZimmerbaumS00Sat, 01 Jan 2000 00:00:00 +0100 A Situation Calculus Model of Hypertext.https://doi.org/10.1109/HICSS.1998.648314, , :
A Situation Calculus Model of Hypertext. HICSS (5) : 205-214]]>https://dblp.org/rec/conf/hicss/ScherlBV98Thu, 01 Jan 1998 00:00:00 +0100 A Logic of Action, Causality, and the Temporal Relations of Events.https://doi.org/10.1109/TIME.1998.674137, :
A Logic of Action, Causality, and the Temporal Relations of Events. TIME : 89-96]]>https://dblp.org/rec/conf/time/ScherlS98Thu, 01 Jan 1998 00:00:00 +0100 GOLOG: A Logic Programming Language for Dynamic Domains.https://doi.org/10.1016/S0743-1066(96)00121-5, , , , :
GOLOG: A Logic Programming Language for Dynamic Domains. J. Log. Program. 31(1-3): 59-83 ()]]>https://dblp.org/rec/journals/jlp/LevesqueRLLS97Wed, 01 Jan 1997 00:00:00 +0100 Electronic enterprise engineering: an outline of an architecture.https://doi.org/10.1109/ECBS.1997.581910, , , , , , , , , , , , , , :
Electronic enterprise engineering: an outline of an architecture. ECBS : 376-]]>https://dblp.org/rec/conf/ecbs/BieberBFKLNRRSTWYNSV97Wed, 01 Jan 1997 00:00:00 +0100 Foundations of a Logical Approach to Agent Programming.https://doi.org/10.1007/3540608052_76, , , , , :
Foundations of a Logical Approach to Agent Programming. ATAL : 331-346]]>https://dblp.org/rec/conf/atal/LesperanceLLMRS95Sun, 01 Jan 1995 00:00:00 +0100 Equality and Constrained Resolution.https://doi.org/10.1007/BFb0021971:
Equality and Constrained Resolution. JELIA : 167-181]]>https://dblp.org/rec/conf/jelia/Scherl94Sat, 01 Jan 1994 00:00:00 +0100 The Frame Problem and Knowledge-Producing Actions.http://www.aaai.org/Library/AAAI/1993/aaai93-103.php, :
The Frame Problem and Knowledge-Producing Actions. AAAI : 689-695]]>https://dblp.org/rec/conf/aaai/ScherlL93Fri, 01 Jan 1993 00:00:00 +0100 A Constraint Logic Approach to Automated Modal Deduction.https://hdl.handle.net/2142/72073:
A Constraint Logic Approach to Automated Modal Deduction. University of Illinois Urbana-Champaign, USA, ]]>https://dblp.org/rec/phd/us/Scherl92Wed, 01 Jan 1992 00:00:00 +0100 A Bibliography on Hybrid Reasoning.https://doi.org/10.1609/aimag.v11i4.877, :
A Bibliography on Hybrid Reasoning. AI Mag. 11(5): 84-87 ()]]>https://dblp.org/rec/journals/aim/FrischS91Tue, 01 Jan 1991 00:00:00 +0100 A General Framework for Modal Deduction.https://dblp.org/pid/96/5750.html, :
A General Framework for Modal Deduction. KR : 196-207]]>https://dblp.org/rec/conf/kr/FrischS91Tue, 01 Jan 1991 00:00:00 +0100 A Constraint Logic Approach to Modal Deduction.https://doi.org/10.1007/BFb0018445, :
A Constraint Logic Approach to Modal Deduction. JELIA : 234-250]]>https://dblp.org/rec/conf/jelia/FrischS90Mon, 01 Jan 1990 00:00:00 +0100