Skip to search formSkip to main contentSkip to account menu

Situation calculus

Known as: GOLOG, Successor state axiom 
The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy… 
Wikipedia (opens in a new tab)

Related topics

Related topics

15 relations
Action languageArtificial intelligenceCircumscription (logic)Event calculus

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
A utility-based fuzzy TOPSIS method for energy efficient network selection in heterogeneous wireless networks
Highly Cited
2012
Highly Cited
2012
Situation pronouns in determiner phrases
It is commonly argued that natural language has the expressive power of quantifying over intensional entities, such as times… 
Highly Cited
2010
Highly Cited
2010
Service Research Challenges and Solutions for the Future Internet
In this age of modern era, the use of internet must be maximized. Yeah, internet will help us very much not only for important… 
Highly Cited
2009
Highly Cited
2009
Ontology-based situation awareness
Highly Cited
2009
Highly Cited
2009
Two Types of Definites in Natural Language
This thesis is concerned with the description and analysis of two semantically different types of definite articles in German… 
Review
2006
Review
2006
Forecasting Conflict in the Balkans using Hidden Markov Models
This study uses hidden Markov models (HMM) to forecast conflict in the former Yugoslavia for the period January 1991 through… 
Highly Cited
2003
Highly Cited
2003
A dynamic model of top management team effectiveness: managing unstructured task streams
Highly Cited
2001
Highly Cited
2001
Probabilistic Situation Calculus
In this article we propose a Probabilistic Situation Calculus logical language to represent and reason with knowledge about… 
Highly Cited
1998
Highly Cited
1998
Conditional Effects in Graphplan
Graphplan has attracted considerable interest because of its extremely high performance, but the algorithm's inability to handle… 
Highly Cited
1983
Highly Cited
1983
Biological constraints on instrumental and classical conditioning: Retrospect and prospect
The adequacy of traditional approaches to the study of animal learning to account fully for learning phenomena has been seriously… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)