scientific article
From MaRDI portal
Publication:3493250
zbMath0709.68043MaRDI QIDQ3493250
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) General topics in artificial intelligence (68T01) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (5)
Pouring liquids: a study in commonsense physical reasoning ⋮ Reasoning about non-immediate triggers in biological networks ⋮ Let's plan it deductively! ⋮ Representation and reasoning about evolutions of the world in the context of reasoning about actions ⋮ A circumscriptive calculus of events
This page was built for publication: