scientific article

zbMath1270.68335MaRDI QIDQ2844920

Kojima Takahiro, Toyama Katsuhiko, Inagaki Yasuyoshi

Publication date: 20 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104805887

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic programming (68N17) Agent technology and artificial intelligence (68T42)

Uses Software

• Smodels

Cites Work

• Unnamed Item
• Semantical considerations on nonmonotonic logic
• Formalizing nonmonotonic reasoning systems
• On the relation between default and autoepistemic logic
• Nonmonotonic logic and temporal projection
• A rational reconstruction of nonmonotonic truth maintenance systems
• Computing abduction by using TMS with top-down expectation

This page was built for publication: