Publication:4841134

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, A PDL APPROACH FOR QUALITATIVE VELOCITY