Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

Situation calculus · Vinony

🌐English

English Deutsch Français 한국어 日本語

EntityQ1559077· pop 5· linked from 30 articles

Situation calculus

logic formalism

Available in 5 languages

Français
Deutsch
Serbian
Ukrainian

via Wikidata sitelinks · CC0

Connections

Artificial intelligence

Categories

1963 introductions Logical calculi Logic programming

Sources

wikipedia.externallinksexternallink

programming language

Entity

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

Sign in to save

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