Updating Epistemic Logic Programs

DOI10.1093/LOGCOM/EXN100zbMath1170.68039OpenAlexW2047268883MaRDI QIDQ3623225

Yan Zhang

Publication date: 16 April 2009

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn100

zbMATH Keywords

nonmonotonic reasoningupdateepistemic logic programs

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Uses Software

• Unnamed Item

This page was built for publication: Updating Epistemic Logic Programs