Publication:4841134

From MaRDI portal
Revision as of 03:52, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath0826.68120MaRDI QIDQ4841134

Robert C. Moore

Publication date: 1 August 1995


zbMATH Keywords

knowledge representation; autoepistemic logic; unification; interaction; nonmonotonic reasoning; actions; possible world; Russellian propositions; knowledge processing; logic of beliefs


Mathematics Subject Classification ID

03B60: Other nonclassical logic

68T27: Logic in artificial intelligence

03B65: Logic of natural languages

68T30: Knowledge representation

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

68-02: Research exposition (monographs, survey articles) pertaining to computer science

68T50: Natural language processing

00B60: Collections of reprinted articles


Related Items

A logic of situated resource-bounded agents, Proving semantic properties as first-order satisfiability, A PDL APPROACH FOR QUALITATIVE VELOCITY



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4841134&oldid=19179242"
Powered by MediaWiki