Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Situation calculus · Vinony

EntityQ1559077· pop 5· linked from 30 articles

Situation calculus

Sign in to save

logic formalism

Connections

Artificial intelligence

programming language

digital object identifier

Royal Swedish Academy of Sciences

garbage collection

logic programming

first-order logic

Dartmouth workshop

second-order logic

short-circuit evaluation

negation as failure

Journal of the ACM

Categories

1963 introductions Logical calculi Logic programming

Sources

wikipedia.externallinksexternallink

What links here30 pages

outline of artificial intelligence

short-circuit evaluation

knowledge representation and reasoning

logic programming

garbage collection

Dartmouth workshop

synthetic intelligence

glossary of artificial intelligence

Artificial intelligence

McCarthy 91 function

Artificial Intelligence Cold War

action language

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.33

Entitydist 0.34

lambda calculus

Entitydist 0.35

logic programming

Entitydist 0.39

linear temporal logic

Entitydist 0.39

simply typed lambda calculus

Entitydist 0.40

Entitydist 0.41

probabilistic logic

Entitydist 0.41

Entitydist 0.42

propositional formula

Entitydist 0.42

Entitydist 0.43

combinatory logic

Entitydist 0.44