{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T01:56:36Z","timestamp":1772243796028,"version":"3.50.1"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"abstract":"<jats:p>In many applications, agents must reason about what other agents know, whether to coordinate with them or to come out on top in a competitive situation. However in general, reasoning in a multiagent epistemic logic such as Kn has high complexity. In this paper, we look at a restricted class of knowledge bases that are sets of modal literals. We call these proper epistemic knowledge bases (PEKBs). We show that after a PEKB has been put in prime implicate normal form (PINF), an efficient database-like query evaluation procedure can be used to check whether an arbitrary query is entailed by the PEKB. The evaluation procedure is always sound and sometimes complete. We also develop a procedure to convert a PEKB into PINF. As well, we extend our approach to deal with introspection.<\/jats:p>","DOI":"10.3233\/978-1-61499-098-7-498","type":"book-chapter","created":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T06:58:24Z","timestamp":1740380304000},"source":"Crossref","is-referenced-by-count":2,"title":["Efficient Reasoning in Multiagent Epistemic Logics"],"prefix":"10.3233","author":[{"family":"Lakemeyer Gerhard","sequence":"additional","affiliation":[]},{"family":"Lesp&eacute;rance Yves","sequence":"additional","affiliation":[]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","ECAI 2012"],"original-title":[],"deposited":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T07:00:48Z","timestamp":1740380448000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISSNISBN&issn=0922-6389&volume=242&spage=498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-61499-098-7-498","relation":{"is-cited-by":[{"id-type":"doi","id":"10.4204\/EPTCS.297.9","asserted-by":"object"}]},"ISSN":["0922-6389"],"issn-type":[{"value":"0922-6389","type":"print"}],"subject":[],"published":{"date-parts":[[2012]]}}}