{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:32:03Z","timestamp":1723015923249},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,8]]},"abstract":"<jats:p>Logics of limited belief aim at enabling computationally feasible reasoning in highly expressive representation languages.  These languages are often dialects of first-order logic with a weaker form of logical entailment that keeps reasoning decidable or even tractable.  While a number of such logics have been proposed in the past, they tend to remain for theoretical analysis only and their practical relevance is very limited.  In this paper, we aim to go beyond the theory.  Building on earlier work by Liu, Lakemeyer, and Levesque, we develop a logic of limited belief that is highly expressive but remains decidable in the first-order and tractable in the propositional case and exhibits some characteristics that make it attractive for an implementation.  We introduce a reasoning system that employs this logic as representation language and present experimental results that showcase the benefit of limited belief.<\/jats:p>","DOI":"10.24963\/ijcai.2017\/173","type":"proceedings-article","created":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T05:14:07Z","timestamp":1501218847000},"page":"1247-1253","source":"Crossref","is-referenced-by-count":0,"title":["A Reasoning System for a First-Order Logic of Limited Belief"],"prefix":"10.24963","author":[{"given":"Christoph","family":"Schwering","sequence":"first","affiliation":[{"name":"School of Computer Science and Engineering, The University of New South Wales, Sydney NSW 2052, Australia"}]}],"member":"10584","event":{"number":"26","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)","University of Technology Sydney (UTS)","Australian Computer Society (ACS)"],"acronym":"IJCAI-2017","name":"Twenty-Sixth International Joint Conference on Artificial Intelligence","start":{"date-parts":[[2017,8,19]]},"theme":"Artificial Intelligence","location":"Melbourne, Australia","end":{"date-parts":[[2017,8,26]]}},"container-title":["Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T07:52:36Z","timestamp":1501228356000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2017\/173"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2017\/173","relation":{},"subject":[],"published":{"date-parts":[[2017,8]]}}}