Skip to main navigation
Skip to search
Skip to main content
Experts@Minnesota Home
Home
Profiles
Research units
University Assets
Projects and Grants
Research output
Press/Media
Datasets
Activities
Fellowships, Honors, and Prizes
Search by expertise, name or affiliation
Representing actions in logic programs and default theories: A situation calculus approach
Hudson Turner
Computer Science (Duluth)
Research output
:
Contribution to journal
›
Article
›
peer-review
86
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Representing actions in logic programs and default theories: A situation calculus approach'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Program Theory
100%
Logic Programming
100%
Default Theory
100%
Situation Calculus
100%
Default Logic
60%
Programming Logic
60%
Causal Laws
40%
Action Language
40%
High-level Language
20%
Background Knowledge
20%
Common Knowledge
20%
State Constraints
20%
Domain Description
20%
Complete Translation
20%
Rule-based Formalism
20%
Computer Science
Default Theory
100%
Situation Calculus
100%
Logic Programming
100%
Action Language
40%
Fluent Formula
40%
High-Level Language
20%
Background Knowledge
20%
Common Sense Knowledge
20%
Domain Description
20%
State Constraint
20%