Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases. Muise, C., Miller, T., Felli, P., Pearce, A., & Sonenberg, L. In Proceedings of the 14th International Conference on Autonomous Agents and Multi-Agent Systems, May, 2015.
![Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper ![Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex 3 downloads
Paper Pdf bibtex 3 downloads @inproceedings{muise2015efficient,
author = {Chistian Muise and Tim Miller and Paolo Felli and Adrian Pearce and Liz Sonenberg},
title = {Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases},
booktitle = {Proceedings of the 14th International Conference on Autonomous Agents and Multi-Agent Systems},
month = {May},
year = {2015},
url={https://dl.acm.org/doi/abs/10.5555/2772879.2773339},
url_pdf={https://www.ifaamas.org/Proceedings/aamas2015/aamas/p1461.pdf},
core={A*},
}Downloads: 3
{"_id":"krLECquQn4vqBhdaM","authorIDs":["2dLRQdmCcqgDZJZyy","2qAkYHxcLaLupKSRk","2qKRcFAxftzdxbCDs","2qRr5orGqDypmY35T","32euzAaSe2gMZgAnG","3W6jgFtAC5Q6zy7EB","3ZsuB8kFuBazYSYay","3aQBFJkJYCcndwCjR","3hYo439g2MuAaCX6e","3zaTPw2B7MydG5Rtz","46mpsem3bFo9RN5WT","4MSCbL4GpPg5Spvfv","4QhCAt6rJiarXgGTG","4W3JPTFJdWKPXr4ev","4dtnXhsNiRaMgP7R8","4jj8Z3hsvXMW5tS9C","52PNWh6JXctgGswpf","5456f48b8b01c819300000ab","5457757b2abc8e9f37000408","5457b4062abc8e9f37000639","546766ebbc7d6a460d000c48","5AaCS77a3hP3QnEap","5B4mXLDWcuh5sM5di","5W3kWFptEsmfXgzbp","5de6d3d8abd988de010000ca","5de720cf97054edf0100004b","5de76234179cbdde010000c5","5de889242c5eb2df0100000e","5de8c8cf9e80cdde010000ba","5de90776d5dfa2e00100010d","5de923d15d589edf0100013c","5de9c61b5e5ac8de01000060","5de9cbc15e5ac8de010000ae","5dea09affac96fde01000108","5dea783d4f43c9de01000173","5deb0462a31587de010000a3","5deb28a928b3ebde01000107","5deb4f3b0ff3bbdf0100005c","5dec3548d39dc7de010000a5","5ded7582722536de0100016c","5dedd9690e26d5de010000a4","5dee1ef7584fb4df01000228","5dee95f50ceb4cdf0100003c","5def0f14c5ae39f2010000b3","5def24a8e83f7dde01000045","5def3340e83f7dde010000ee","5def8bfc45114dde0100015e","5df04f4baa8415de0100010e","5df06da8e4ce32df0100014f","5df07c76e49680f201000090","5df0b7088367c8de010000c1","5df0c6cd96fa76de01000015","5df13ef7630a9ee0010000b3","5df1ec1378da84de01000070","5df223e51e4fe9df010000f1","5df30630bc9e6cde01000095","5df31c883b310cde0100007d","5df332df683178f301000029","5df334df683178f301000049","5df52514ea1457de01000126","5df5df7bf65dd9de01000076","5df60cd42b34d0de0100000a","5df7b20592a8e4df0100000d","5df7e072dc100cde0100014e","5df85d6eb99bcff301000017","5df8935b10b1d1de01000011","5df8f2f6277e45de01000126","5df919a82e8c31df010001cf","5df99ac7c4ada8de0100008d","5df9e6e6250522de0100001d","5dfaab875481b4de0100001d","5dfb596b012925de01000076","5dfc369a94420cde01000027","5dfc866d4a82f3f2010000f0","5dfd7d7f012153df010000a7","5dfe2e0768d95dde01000006","5dfe6b5e4e3a44de0100001f","5dff511bddf837de01000075","5e002d85f11348df01000052","5e020644642c1cdf0100000a","5e03673eb1544ef201000082","5e044e70705486df010000b8","5e0504dfe11806de01000054","5e053db11965a8de01000058","5e0602f7e95bcdde0100005b","5e060d91e95bcdde010000e3","5e0623ba8e1565f2010000cf","5e0954fa72022bde0100005e","5e0a6c9a3eccf6e001000091","5e0af5e93830a1df0100004d","5e0b7912ca6111df0100000b","5e0d0d449ecb35de0100004c","5e0dcdf3552b25df01000063","5e0dd9aa552b25df01000102","5e0eb65003f891de01000070","5e0fc1b22cfae9df01000005","5e104ebea28a75de0100000e","5e11a0182af340df01000009","5e12ae713f181ade01000085","5e12d5087be933de01000004","5e12ee867be933de010000ca","5e13154456233bde01000093","5e135bc1697554de01000198","5e136ddaf16095df0100010c","5e1392baa212e1de01000190","5e1467f90467fede01000098","5e14811c08c265de0100007b","5e14f4d5b46f1bdf01000098","5e155daf1e2528de01000018","5e15ebbcefa1cddf0100005f","5e162232df1bb4de01000024","5e16303adf1bb4de01000195","5e168d290ba191df010001da","5e16a3beda4561de010000cc","5e175171883585df010001f5","5e17a3fbd954d8df01000140","5e185337809b84f20100000a","5e18aebdbd0cf5de01000073","5e194fb886b4aade010000f1","5e1a6ce2b16ec5df01000016","5e1a9cae69523cde010000eb","5e1affbdea60e1de01000059","5e1b6418a45296de01000188","5e1b6db371abfede01000071","5e1ba78261cb16df01000054","5e1c2a1e7530ebe801000134","5e1c4d93e556c6de01000080","5e1c6302e556c6de010001e8","5e1d020b633f2ade01000112","5e1d300c6b18c4df0100004b","5e1d3d846b18c4df010000e0","5e1d4bbae32442de01000055","5e1d84b83a6d8cde010000a7","5e1d8ada3a6d8cde0100011c","5e1dc2b98d71ddde010000f2","5e1e3bef407a20de01000206","5e1e5dd2ce9ed9de01000001","5e1e74b7ce9ed9de01000115","5e1eadd6bedb58de01000124","5e1ede96875c69df010000e1","5e1ef1b6147729df01000058","5e1f7406e8f5ddde01000229","5e1fa09c4fcd1cde010000d2","5e1fdc6fc88eb5df010000b6","5e201920453fb7df0100010b","5e2093efbdda1fde0100003c","5e2111bdc63e88df010000cf","5e211e11d78fbbdf01000019","5e218dba3ef35cdf01000001","5e21b52196aea7de010000a0","5e24ca3f981ceddf01000065","5e25130cb55b9edf01000010","5e259191d31494de01000137","5e262e9524c8a6de01000042","5e2666a8581147f20100002d","5e26b31af3bb7ddf01000108","5e26fa779667abde010000c4","5e270caef51e02de01000026","5e270f9cf51e02de0100005a","5e279b7828f7a6de0100003f","5e27b36b28f7a6de01000151","5e27f1eb4d75d8de0100003b","5e2891ff67e11edf0100018b","5e28b8866acacbdf01000083","5e28dc05a3df5bdf010000c6","5e292c3477c165de0100003f","5e29ee2e8fb0e6de0100007d","5e2a6954621cc1df010000aa","5e2d7480556d50df01000048","5e2d94ff481fd6de01000058","5e2dae33732e89de0100005c","5e2e0116524f94de0100005d","5e2ea3edb84405df01000035","5e2f26664557f3de010001ad","5e2f41ef78a7cedf010001c1","5e2f68f60c34b9f201000063","5e2f7f069ca24fdf01000232","5e2f92b548b7a4df01000164","5e2fa35aa21e47de01000044","5e2fd6854e91a9df01000009","5e30044a5bfc8ede010000ff","5e3081b4cb949bdf01000044","5e30cf2e2a1e4bde010001ea","5e3119ee714ff7de01000087","5e313be35a3ceade010000fe","5e314bb78cf138de01000089","5e31973f00e4e5de01000211","5e31e238bba4d0de0100016c","5e3244b7e45eb5df01000044","5e3382a57a676dee0100009d","5e338ee87a676dee01000167","5e33a8c217f2c9de01000118","5e33abf417f2c9de0100013f","5e3627ac1727e7df010000c2","5e371fb5646a98de010000cc","5e373f324cbab2df01000106","5e3774dfac7fe8de01000061","5e377df2ac7fe8de010000fe","5e3872a31f8af9e001000109","5e3874ed1f8af9e001000122","5e38a2c9645ed2de0100003e","5e390bf9dc5b8ade01000111","5e391ced7f8bf3f301000087","5e39257e7f8bf3f3010000e2","5e395e61fa3db5df01000121","5e3965db346d7cde0100001f","5e3a1f91c268d2de010000f0","5e3a34b2237cdede01000091","5e3a401f237cdede01000116","5e3aaa684518d5df010000ee","5e3b054855f0f2df0100017f","5e3b686a59b923df01000072","5e3c5333c798e0de01000129","5e3cc218948886de010000ad","5e3d70715f3240de01000188","5e3e1e61546544df01000003","5e3e8280666d79df0100008c","5e3ec74c86a596de0100000b","5e3f25eb7da304de01000074","5e3f4a9977baf5df010000be","5e3f54becd8fe2de01000009","5e3ffc1d17f17dde01000002","5e3ffd7017f17dde01000014","5e4058dbaeea22df01000062","5e40bbec019547df010000f7","5e40cda7614963de010000c8","5e41b0910b4861de01000111","5e4284f35ea111df01000036","5e435d54a37866de0100011f","5e43cfab44c4f9df01000213","5e441c71fdc393de01000118","5e445004df3c2af3010000d9","5e446fd5084293df010000fd","5e447080084293df0100010a","5e44956cec14b3de01000132","5e44bf6a7759a7df0100007c","5e44e9f7ab9cedde01000102","5e454327a96575df0100001f","5e45a3a723a133e8010000d6","5e4628077f6322df01000042","5e47415ad8f94bde01000033","5e4827ba08d3f9de0100005c","5e48888e86dc17de010000c9","5e49d3b4b63120f2010000a8","5e4a7c3758ecd9df010000ee","5e4a80fa58ecd9df01000124","5e4b1e6cc59ab1f3010000bc","5e4c5496271596df010000c6","5e4c93785cc521f2010000e0","5e4dc03c682c99de01000063","5e4ea00e64b624de01000072","5e4eaed364b624de01000184","5e4edfbb2962cadf0100010e","5e4ef956338acfde010000ca","5e4f13a9e5389bde0100008f","5e4f7499a01931de010000b6","5e4fac6a29097dde01000118","5e4fcbf82c51e8de01000118","5e4fe91bea0ccade01000136","5e503b938c3a2cde0100013d","5e52e7249c58afde0100005a","5e52f90d9c58afde01000129","5e53569745815bf20100002c","5e535d7e45815bf20100006c","5e53b5f037b729de010000d3","5e53e391d26e87df01000035","5e53f9acd26e87df010001df","5e543ca87a758fde010000bf","5e546f8c7f0f44de01000059","5e5541edca58a8df01000176","5e556ca4e11ab9df01000032","5e55d3238061d1de010000c2","5e56c82696127bde0100012a","5e56d52696127bde0100020e","5e5729de429006de0100023c","5e573618bf9f82de01000071","5e574227bf9f82de010000ed","5e5761d018f14bdf010000eb","5e57c08b5d5d52de0100007f","5e5850c42c2732de010000d0","5e586980dd78b7de01000083","5e59696e56d60ade010000e1","5e5b605f502fdadf01000042","5e5c204315d8f5de0100002e","5e5c56c9f4282ddf01000032","5e5cce11aab7afde0100008d","5e5d19ab168391de01000013","5e5d6d8b0b73f6de01000003","5e5da9723d34a1de01000028","5e5deedf863279df010000b1","5e5e466dd3955dde01000154","5e5eab682fd1fade010000e2","5e5ee32acc2eefde01000048","5e5f092f6ee7bddf010000e4","5e5f44af9771b7de0100011d","5e5f81e25766d9df010001b5","5e5fb46019c3fade010001a6","5e6071f19119f0de0100008c","5e6084d01fc211de01000023","5e608ce81fc211de01000081","5e60eaaf839e59df0100012b","5e61061631c7d3de010001cf","5e613b3597c182e901000135","5e6179a8417d19de01000220","5e6193f31d4ccede0100010d","5e6210a52df238de0100004f","5e623b51a84f4adf01000175","5e626d5f11ac5fde01000163","5e66d851277ba4df0100010f","5e66fa7685689bf30100010e","5e670701511133df0100006d","5e672e8d0355fddf01000176","5e682933dfcfe3de010002b9","5e687ee403bf55de0100018b","5e68c69dae547ede010000b1","5e68f51f1a389bdf0100045c","5e698253ae9c71de01000754","5e6a211a38f351de0100019b","5e6a22aa38f351de010001b9","5e6a5775d37d43de01000148","5e6ae84b028c17de010000fd","5e6af73b69285ede0100004c","5ns4MeAN7n6EFxTZ6","5yN3GPwHiapRhtuj9","62X4PkquZshWbLFnP","68usPwWi7L6P4uhWD","6BoocfeHDrceSGfvJ","6C5wfAZryB8LaY2PJ","6K7vKMtwetW9EAD8b","6X3MXc5wxDj86YZuA","6Z2RfBdBMBFMMobst","6grMu9pYfgrSdPd7Q","6jNNJBuk6HAtcnEvy","6kGQzMGMC2TqQqsjy","6tEQz77MRKZZ5NTyR","6z6hZmHTjWKedbjCg","72LAc7ygPri56sebD","7AuroeLTMFPfJCoc5","7Jgot5jnkZH4SRMKs","7MKNgBxCm8cHdDBGQ","7dXTptdF8p9b9yZTW","7eQpnA4Eg5u7kFRAj","7yLuCqYuqGCpc4X6D","7z8owPAzcBFfsRYqh","84mkDdPuGRJ5AKgDF","8eCmkG7Xy7NKZp4jT","8j3GdPnZ34L7MwaRH","8pckSbNjRRTxtu82N","8xBCwXqzvFxW3AYDm","99PBpemg2wZTbDP7h","9PPjQemXwj65ixsEu","9QtR9SRcD8zpR3gBT","9R7FKrgzF5s87KBYy","9TeGPTowcL2PcNmgt","9eeEvuNjT9sa6dMXM","AJe3abG5vbkmLhzdR","AXoidcf8BjoTbjpDM","Aq2hYshsNi9m2W55k","B7FnrRBN6vwK7yaHS","BELXag98NmsXoYgsH","BicxjidmDxNcbeiu7","BqjMt7MworbWEgBfB","BxmzLzsusL2JGomsz","CG6dCwbDiDtXsRTmo","CGyZriotkScPXiLqd","CM6G9FXFxHkd2Sa8X","CeALjMgBHZmr9SzLQ","CwHHt4KtKwXrcwv4j","CwT5dc99rwxHgDg47","D7kXH5Qj4k4Wb4ZDk","D7u3CRvfQdZb2Nsvb","DACXtEXXK4jsrQtcz","DS2wYiGwC24Ye8jXz","DTvS4QdpaPswfTdKK","DXm7KqLBsANDtGgyS","DZgAyJhLWEBC9rCmc","Dc4FTpirsqxsM9jGC","Dcjwdot9d5rJFoLNW","DeFXEavbgXq6u2cuP","DzoW3Z9vm7MYvp7Ty","EDcneb4EXGiXarwwb","EDprHPn5Q82e8wMj4","EDsLgiYbgGRnMyycY","EGmuvnp72xDJJpAg3","EZxoX4JE4byz9dLBS","Et6tkYgRy3gR4juoJ","EyvLggfFf73h22ssY","EzBeh6nMcAoWKz4g4","FE3yhyj5fmmfLuJXZ","FGKYaZgzkPvJETGWs","FGn2HDdQs2civ7Txr","FTTuMEgm3yh9QH7pw","FTjMLBiv5L6W7CkaJ","FcGHzRv4tpSPbWDeG","GFr9Y4qdc9yhpugiq","GKjDXMraStiPxa7JG","GLg2MZinXgxvZDxB2","GPDp7egbrYeSzmEbt","GQWTrxJz3HKdJcAEM","GdqLtFz2j9tHebeo8","GfiiL4m6PWnSrb5pM","Ggxe3SmxhYFFur57w","GqBvyp6XHCmefPXMH","Gvpbfbji9vfoQpPTo","H7mFXcckEtgxLHBxp","HdNX7PeuxXogSZSNe","HwSBgNFgx9YdcbTkD","J23rcXnWZEwtNXywi","J24gKn5tyfrq3kxEk","J9Cn8pzsqP9mpr6xy","JBDo2gbEhfikv5tiD","JJ4YdoB6PqRk2mbBH","JjhEWvgeq8Qx6LZof","Jw793vyTqsyX5daKz","K5RwEbrfC4fmArsLc","KJfbvTNeMX5rfPHNC","KRvxzrhWX4DvLLwcT","KT9p5HupkppWrRzBt","KZfCyiyswf4sBtGjP","KZkcvSTu8Kym3skyk","KgBg49s7JcYbLSctC","KpA6noWknYigzPP4i","L9vvzxp3hamH5qEak","LAZGNzuc9ym6TRfRB","LBm8TrN4nZYdKLr4s","LJNrYRWd7YXuKG7fp","LNf3MxLnu8z4oNaJ4","LdXuoWaYPMQC3QFSN","LhL5twwWoJA5NBcvq","Lv3vTPz6wmk7qyrfp","Mr8ysFRyhW2wjyekZ","MroboN368do5mezgH","MsrjiymBNWSkZH76C","N5ww6rpmTsn5WiRZH","NAb7GKwczGhpSRtaE","NAyJtGS6K2wBWJMx2","NBcXbcFrQdwCtndaF","NTY9ZoMbp2Ycb7QMC","Nhf4nNBvKJyDqry9v","Nps68jDnKEkEKkN5d","Nuvo3vcBGDwNmMLrb","Nwj9nmdjaH2KeKBoa","P2N6nweWxsoyic8kM","P3NP3W73YXdDxXwSf","P7e6ZdHKT27THKcSL","PFRbwQewWEdMfk4Mk","PL4TGMrjiiPuC9Eib","PWdjXfRpNLquadY4A","PWnnfwJo93sNywK4w","PZYJkWyWoKeykNsHr","PscxSvCiFvzBWoqvr","PtXqpoA4n837ZbiHE","PznLbNku2pN3wBEwS","QNNZbQ3GRwukK2pkG","QeMqgLkXQrEWvinWv","QsPFttje7KQgkKTnX","QtM4dRXHwik2cRqvm","Qun4PahiFuk7DxEYX","QvNgkQwXWMDTxciYq","QwjvvLtMervWzsLig","R23pxS9sSpXJF5QBK","R2hEAmaEXSxmjTj2e","RKd3Q4KxssDerWYTz","Rc5Nj3pu6hhXSeneo","Rj6hPNruvhcYZqm8Z","RoqjLCFRYbQBjQ46G","SLJpkXgMzHPLEP33v","SZu5qFoz365MRb4Du","SbQdpbDND2DhqpLHJ","SdRJsa2jSibdZqyA5","SmLtyTotvNEEzcLKB","SpsjfbcJcpbbkPGxA","SvJnD5LQ6GzR49BYN","TQsetEx69WqZGAqHY","TSzJuyEM67QJ992Cg","TXEQdGkPQFgZvnnKQ","TcNBkSpMyeu2oxw5A","TiQSLRKYD453ts3E5","WAx35JxHCScRCfQYK","WGXsX6KCDv2fYAaBW","WGb8vMT2QEwWADWqF","WMHiPYnuEnrhKxJWi","WNHfrpgeyyK2JKp9p","WZXReEQxb3gQrsg8K","WbiHF3ddGaiLthJdc","WcbysYpeCr5e2gEWf","Wgd7cpr3ik9jfCru9","WiXjNSHmtpmkHsPYF","Wivx7yEAEL58M2B6x","XDyEccztzCgSrH8JK","XM7ohc2gmJbF85qzq","XdiGTLb3YjMdQiHdy","XeECPFbPsgGdsQNL7","Xs5m9AFmXrvCkMcT2","Y7rCRTh6FEFkqHwvK","YAybx7ZCtZnPfX6AA","YBMzhQjX3A5gNueur","YEPn3PvfN4pwpYTBn","YJWjpfwGtXcx4zdHh","YMxMWeXzNbJQQuPjA","YS4W5LjMQwNaEHpcS","YYXt22tWnAnS4ohf4","YcN8eGdr3R3zFxSjM","Yo9NwQNbXRfSjd5LR","Zn554AwYfjowirjay","Zpzs3SDfCjG7mJAEC","ZtBu6ucxgCmhkqenu","ZysMM8RRSrhEZt4rm","ZzQwgBjM45Wr3uLhW","ZzmRS5w6QHvKsod2z","a2zby83Df9q5wSCsE","a5YYGbixH6dxNucR2","a7KzaH4ok4HAJxnyP","achq75SeAXg6rEFRo","adhgAjbgYy4Zz8q5b","agMnuYJgZzxDFEfst","ap5TAsKZjEn6HaZBd","axB6kamRvmWu5vw6X","b6ZAdn6ZpgQcDuejh","bBrwhGCLBb4yHGvaY","bG2RmoFAAXtksoFhB","bNHECCPaQAsthaP2z","bRtS4xbwDgdvTFzC7","bsEnkkt9XnP8bALTz","bybfZe6LAwg7GJ2xk","cG5ZYnoKgj3SXuZdt","cHa8MFkGaJnDzfkFY","cQqdDFi6LDRJ6iS8Q","cXkWRYoEce3vcagku","cavuN3YH45oms9mKy","cgdaZmm5NDtBmBJcL","cio76x2PbZGN2jMcs","cpcEdD6DHxzzabEmS","crArqS5DKyENjHyEF","crKDnmNuQs338aZ4J","dDDgsf7LpyhAoBX92","dJyb7wbihKdDzgkGr","dXoxakXLEZjhhCvGf","dkNEZBj3SqwB5dPnB","dxTC8DKAHpsez3tdY","e2Wnzu97Jztjqmgzz","e6tBwaezzrsWZNXav","eLrGZqGwseWTsfMHB","eRhrtiawTZEnxfAeB","ebm27Z6un2jHZARPd","emJa7LZmACzm5bbpv","eniFonEMGjooJvmpR","eqjLXdMT8uBSvew6J","esY7FSKsHpLphjhKg","f4LpZ8LcDrvDyGuip","fBBvwHuG3F79GWWFr","fCbyRpL2iyeroHtzK","fRiQ2jkkKiSpQocyk","fhNwveS9gAiJXgwGZ","fsG9fwqAvXdNRZXcs","g2oQsrCb47Nfxjnes","gDtkcn5pwBK7niqpP","goA6xywLeZi8P9Z3N","grCkvcC8cTZqJzGKu","h8XaJLJ4ryHz3GXi7","hGtEXufHfLA6yPbfF","hLqYjcDuzS8oCvMg8","hf68d47ZyE55LjwrK","hf8D5Rmw3Bf6dDGTr","hfmvhLcJ6rSarhyHM","hsLyTjvSG3eRcbPPk","htW24MBmx67vY4Dky","i8aNqtxJTS3gX56H9","iEenecJ4iwdR6ZDKM","iQ73t3grqp6uuQ5WE","iXbowcrXLhKr4owzw","ibMbK354WqJzDeYzH","iqFt5FyyFA64sCgJF","isKZJqjHjYXdCZZwM","j3Xe4a4TnCyAXXuKT","j6foRqya6fLiniZC3","jBLcydKWE5xxJKofs","jBPrZSQ9NfsBnoHNP","jKEhQXmLfTddEbRnk","jZfqWfJz9eDjncdyJ","jdTzntjLDzyo8Hsbv","jtKbSfonQ5YmGvpfh","jvXSefynz5Ba7gqX2","jxfNHwQ2fHBPakutK","jyeNYYNYXWH5nNtRt","k7fm6SXQrW9qEYQLb","kHgWJBxC9Ca8CQniQ","kJJBJKN6ijf4YHccY","kYGNCbRdzB9CHBr5s","karY5HSFumjds5vuz","kcsYnZG5MNtpmDpgn","kymQAAdc82rRreQ4i","m9j4FmQ7DT9B5SPCb","mMeBJRqLp3D6x5hNH","mas5XWEekdWht4rD5","meusLeSanGgPFHEZ4","mgMWw39bTfqht3ZgL","mgiF9C4yu9ohnYq5i","mpwhDzLvuahfepz5m","mqk4RN3SmWPHH9Ny7","mwfq6DupsNxXZhwFK","n8ip3yxvw6k38QpZL","n9BH9x6XJAfx56wFc","nE9cCA3duZ4QZmg4o","naRnMtpCcwwrygNHc","nhPAKwaJ3yD2ihuqD","njph868tvCMMspP6B","nqo88C9LMsFJXWa7z","nuF8E4ssbmxHuuwM3","o39uWBuFedviW43Cw","otEL7kfQFFLXKzsjq","ow6c7LGcrn2X6iWQd","oxRBzHrnMiahX9QoY","oyv9RgCXbqr6c5zZe","p6NdfbRo68jAomDEa","pCJ4gk7mgD2Spsoac","pLYzvZKtPMxaefX7S","petwYJCzZJCEZXWyM","pgNaGERqjJRCtPAjz","pjpczZtxrjigTJdhx","pt7Wu55QzndeypNrf","px7SsTyR9ZDBhTBEK","qC5yWFgFJrfFPXX8e","qeF6y3Dw8kyFeCwEB","qwPzsaveEtEvDqBPs","rQmbNssvJif7YEHew","rXHao4WrptsbkKfpd","rZK34thdrJ7WcS8zg","rb7LbNdLgJ3BAh3gE","rhiD5xJXuoWPMReit","rkDRNeSmuJeNswCfv","s2g6t9i385hPGX67g","s4gdoZrJMmyccbj3z","sAivGboDBd92SsaRj","sRNPA4CSvRdCsgNWX","sYAXaopmi2wx9uPsF","snfLJSpdNcN4qBZoM","sucsQj346HSro4QCM","t7YQmBGcA3yKB2Tmr","tA2Nt8tBF3XmF6MiD","tMexbXp8PoEkbZnrv","tRvxg5cjK2YXMhBYv","uHSZiLRwEgNpbmmRw","uQNEQ3PzJGnr5Exo9","umrZLu49k6WCpJRvN","v6Kq2hLEeuYbQEtLq","vNKiR8yEqJMzeXdp7","vj5uQHYBee6shs5wz","wfhA6qG7fcni6LQuw","wpYb5j3JHDkrWyYT5","wqNcucichH7peLuvP","wqP7W5TQA97CxyMF7","wsyXZn5iRF2dciL8t","wttGg4qhbm3Pvs9Yy","xA8GdLTYYf8iiLbaK","xG6Tbe9LE4mbTgyGG","xTKWRxJPtd5N9aKTq","xXN7f26LqPGQtMMuS","xZST8C3vqCf3yzF7J","xbbBSsfTnMswgjXXx","yET9ksDBXGnfxsP6W","yEypGxYJaM52ipscR","yNgAxPBC2rCzeswju","yqpgXnHNeuGHF9HRY","yxExRxK2RgiRjXNgE","z6vZG2ETkARg2BjLf","zSHM8azk4tdTPDvou","zTYWxbH7i2gPfbyEC","zgo9w6KYYzkRrBhvd","ziDSYGCcDMRzYQaYN","zstTmXcMxpuGTPvgE","zxdvFkJCzNRoYMAqm","zzk9ihDtxJrpejbzN"],"author_short":["Muise, C.","Miller, T.","Felli, P.","Pearce, A.","Sonenberg, L."],"bibbaseid":"muise-miller-felli-pearce-sonenberg-efficientreasoningwithconsistentproperepistemicknowledgebases-2015","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Chistian"],"propositions":[],"lastnames":["Muise"],"suffixes":[]},{"firstnames":["Tim"],"propositions":[],"lastnames":["Miller"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Felli"],"suffixes":[]},{"firstnames":["Adrian"],"propositions":[],"lastnames":["Pearce"],"suffixes":[]},{"firstnames":["Liz"],"propositions":[],"lastnames":["Sonenberg"],"suffixes":[]}],"title":"Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases","booktitle":"Proceedings of the 14th International Conference on Autonomous Agents and Multi-Agent Systems","month":"May","year":"2015","url":"https://dl.acm.org/doi/abs/10.5555/2772879.2773339","url_pdf":"https://www.ifaamas.org/Proceedings/aamas2015/aamas/p1461.pdf","core":"A*","bibtex":"@inproceedings{muise2015efficient,\n author = {Chistian Muise and Tim Miller and Paolo Felli and Adrian Pearce and Liz Sonenberg},\n title = {Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases},\n booktitle = {Proceedings of the 14th International Conference on Autonomous Agents and Multi-Agent Systems},\n month = {May},\n year = {2015},\n url={https://dl.acm.org/doi/abs/10.5555/2772879.2773339},\n url_pdf={https://www.ifaamas.org/Proceedings/aamas2015/aamas/p1461.pdf},\n core={A*},\n}\n\n","author_short":["Muise, C.","Miller, T.","Felli, P.","Pearce, A.","Sonenberg, L."],"key":"muise2015efficient","id":"muise2015efficient","bibbaseid":"muise-miller-felli-pearce-sonenberg-efficientreasoningwithconsistentproperepistemicknowledgebases-2015","role":"author","urls":{"Paper":"https://dl.acm.org/doi/abs/10.5555/2772879.2773339"," pdf":"https://www.ifaamas.org/Proceedings/aamas2015/aamas/p1461.pdf"},"metadata":{"authorlinks":{"miller, t":"https://uqtmiller.github.io/publications/","muise, c":"https://www.haz.ca/academic-publications.html"}},"downloads":3},"bibtype":"inproceedings","biburl":"https://uqtmiller.github.io/files/pubs.bib","creationDate":"2015-02-17T01:42:01.360Z","downloads":3,"keywords":[],"search_terms":["efficient","reasoning","consistent","proper","epistemic","knowledge","bases","muise","miller","felli","pearce","sonenberg"],"title":"Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases","year":2015,"dataSources":["prk7Mhd5Dv3tM6Wp6","DprwGzu9heN5GXy3u","tctNabWBSjqkRdjhA"]}