Contextual Reasoning: Complexity and Decision Procedures. Roelofsen, F. Master's thesis, Department of Computer Science, Twente University, 2004.
![Contextual Reasoning: Complexity and Decision Procedures [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex 3 downloads
Paper bibtex 3 downloads @mastersthesis{Roelofsen:04thesis,
author = {Roelofsen, Floris},
date-added = {2019-05-09 09:30:15 +0200},
date-modified = {2019-05-09 11:03:51 +0200},
keywords = {artificial intelligence,logic},
school = {Department of Computer Science, Twente University},
title = {Contextual Reasoning: Complexity and Decision Procedures},
url = {https://froelofs.github.io/documents/thesis04_roelofsen.pdf},
year = {2004},
Bdsk-Url-1 = {https://froelofs.github.io/documents/thesis04_roelofsen.pdf}}Downloads: 3
{"_id":"JpRK2CPDu6xMGxbNh","bibbaseid":"roelofsen-contextualreasoningcomplexityanddecisionprocedures-2004","authorIDs":["2Cb7ifpWJWPabmTo5","2HhTQ9mTt7xrvcMQb","2SRK5PbshnXqqfwTw","2wG9qMMaDTwtQ8hQQ","3Rfu6PHFSmk77wS6k","3WhsHzoPZSNAkekJi","3cLXXoTzTSriL8K5N","3nswGXff7x6E2XrLF","3wzsoqsGTAat84vZP","3zhpAcB9qkPAPKPXe","4avyQNDHJbsimTLK3","4rTceDp8gy77sBdKm","5cYMd6BeuD3Abfyqh","5ccde963f0cf1ada0100029b","5de7bdb7bc280fdf010001d4","5de8ab5d3cfb74df01000057","5de8e1d1978afbdf01000055","5de8e97d978afbdf010000d4","5de8ea58978afbdf010000e5","5ded6dbc722536de010000eb","5def900945114dde010001a1","5df00e8ae128adde010000cd","5df202b2e4cb4ede01000054","5df2325c1e4fe9df010001af","5df523e6ea1457de0100011a","5df6a5f731a37ade010000cd","5df757a7182af9de01000180","5df7d7bbdc100cde01000098","5dfa1d7c1c2129de0100000f","5e00d483ea72ecdf0100002a","5e0271b62862b0de010000b0","5e0731d3513c7fdf01000012","5e0c5eea8d508bde01000365","5e0de57a45d2fdde01000015","5e0df04645d2fdde01000082","5e12756fa4cabfdf01000086","5e13919ca212e1de01000157","5e16c6a5dc7739de01000194","5e17a947d954d8df0100017e","5e1f8c4c08195af301000137","5e21dbc8af8ac1df0100017e","5e24ec9b0e3b0adf010000bb","5e253f93561b8fde0100009a","5e2b0cfedf8a5dde01000098","5e2c0a8a01c874de0100008d","5e2dfc61524f94de01000032","5e2ee5fa9033bede0100013f","5e2f25cd4557f3de0100019d","5e2fc2bbe075a2df01000065","5e30348946a666df01000123","5e3145058cf138de01000020","5e31de59bba4d0de01000131","5e32958de17accde01000019","5e34069cce4ca1de0100004f","5e3443950c807ede010000d3","5e35223c89e3d9de0100001e","5e3596efe5db93df01000048","5e35b1ae87b1e1de01000081","5e35d2d576dd53de01000096","5e36bb2c7b975dde01000093","5e380f5f918d4ede010001a5","5e38857e030bcadf01000025","5e39ae12ad94f9de01000158","5e3ac861f2a00cdf01000174","5e3bce70657d0bdf01000132","5e3c06b7ea028bde01000197","5e3c34f234cd37de0100015b","5e3d4ea5dc4cd0f3010000f1","5e3e29b4546544df0100004b","5e3f14f2e7f957de010000e9","5e3fd9c6e05cc0df01000085","5e40b18a019547df0100008e","5e42ade3e7bb7ede010000df","5e43dc039a621ade01000076","5e43e1779a621ade010000e0","5e448794ec14b3de0100008e","5e454c37a96575df010000d5","5e455b34a96575df010001c0","5e459a7523a133e80100003a","5e46fd75461d04f201000161","5e47d31baf70c7de0100004b","5e47eaac385298df0100002c","5e480e8cd4b913df0100007b","5e48aa08f1ed39de01000007","5e4998cd552c77df01000083","5e4a62c1cdaf71de01000170","5e4aab7d15f6c7df01000098","5e4ad0b10d7631de01000109","5e4ad4f10d7631de01000145","5e4bf5aa0dff2bde01000005","5e4c35edc1eb51df01000102","5e4d1b5b7d0ec8de010000df","5e4d699108a8e5de010000b0","5e4e81599b7bbade01000048","5e4f7b7b42a908de01000011","5e4fec60f5b214df0100002e","5e500d3d933046de01000073","5e50abc14e0862e4010000f5","5e50baede3d144df0100004c","5e519f462793ecde010000b8","5e53eb37d26e87df010000c5","5e540973e81566de010000fe","5e5447ad7a758fde0100014f","5e552e860096f9de010001b0","5e554e63e89e5fde01000021","5e56843ceb2916df0100004a","5e56d10c96127bde010001db","5e595ae3f5822adf010001af","5e5cd26daab7afde010000da","5e5ce7f6d12a0ade0100004e","5e5d226c168391de010000ac","5e5d59a5ad47bcde01000083","5e5e0cf65c89fadf010000c1","5e5e52475f9e7bee0100004c","5e5e744414f49fde010000b6","5e5e9d31c0a53dde0100024a","5e5f48c29771b7de01000130","5e5f7b285766d9df01000125","5e5f888f8d89c5de01000046","5e5fca066b32b0f201000116","5e5feabf5241b5de01000145","5e60051413e3aede010000d7","5e60dc6b839e59df0100004c","5e60ea5d839e59df01000120","5e60facf31c7d3de0100011f","5e6109a131c7d3de01000202","5e6134a397c182e9010000d7","5e61c6ecabaeaede010000f7","5e61f218e091e3de01000022","5e664767a77c4ade0100012d","5e665e9346e828de01000163","5e67493d4d24a6df01000130","5e678addd527f0de0100002c","5e69048b8457bade0100029f","5e6a014c8a1455de0100019c","5e6acb6dd15181f301000111","5gmKE6Sc9wPQRgegC","5o3HhyPr7tYXFbuRr","5wBnBZKiQPh29C7gm","5yqGycGro8KnjK4cC","5zw9gPsj4S8RNnN6B","68ywhqSuednuNpXtj","6AonTkeJKSXm9rxuj","6nNrRLTziEkswpJpX","6snLaBZe6gwqn3TSp","76ddQMq2tT4MTtDkc","7G5QXBrrrhTx5cqLt","7HKFB3raMQKkbiqc3","7KHD3fTQXSNExob74","7f9RBPvqhDdCR7tcj","7jKxYgCGyD7Js3rzr","7ppmrQCWo4bgQhRbt","7wTu97bQ9keaby3Ng","7yhtN8tGL9GjDvtuj","8BgJTjR5Z5v9yEWea","8JXixWBY3Q7v4YpsX","8Tw29Sg2xJYQksANn","8iThErxvtL35u9BLF","8nDvGbELMEiAMMyeZ","8v2hHBjWziEYHnQFs","8vWerB9oafkmwygM8","8w2k6d9gbcnM69wjy","94Sc83i6vikEGjTde","9N7JHz99xDHSStewp","9YmQCfJBYo8KN4HmB","A9bhs8xGHvis3RBhb","A9fQ3fe4ATt39XuF3","ATkRoM3R6Tu8Twtmu","AoLTHLSHv9MQpW4PH","BK26ohoMEgxqXiLPW","BiJCNwt7xPjx7E8ec","Bwjy9zxEh5d9dLmrm","ByeNGtzajx3TDCsuk","C2uPugfDg9XyndeCr","CGnQKXcgmPT8ZBKSo","CMedteGXZkNq8JQu8","CZbCdpJyKhB2ywAGS","DAjgMqQP7xzXMTHmX","DBYScMu55bzkKHeJ6","DkbLpDhYdiyekKTSJ","E2LyZrnfhYBEzgKrA","EFW8yjs4xRmodiJs8","EQy2rva6TEiuh6WEy","Ec8kLbpX4uL3qjodf","EkxpANyQ4fFrXXfya","FvHxysFxGWgjTXK99","G7No9QKfZmcbBZnDJ","GCT62EjEHsR4HMobC","GSh4WeXBLAz4ECYPk","GXjoZ6SYMniQYSDLD","GhGRJRgWd23uCkeuj","GwZMbQc39LQEYa6zy","HJKF4tdcuEgKovXL4","HKWqPzzZ5Nu4oJd8g","HcCkhKbXakTFyC3mg","J4bfPZTED8aH33vcE","J6RZtJd84p7qerGj4","JBFhmHGRQhf9WYsas","JEqRyTkmtHvkm7WSq","JJYfBCRrYxjdQTMzE","JebKg8yEv34HEYGQn","K8vKeMigpwdxSAq5P","KB4zPLomR4ynfn2gh","KBPJWdLKFA9xSQFdT","KMs7WDQLK3zBT35Fr","Khug5w34JGAjkuyst","KpRxcWxkp4YxrurAJ","Kzk3xRiQBKMTtrtj5","L2afbWaz7c7a45Kyi","LLBJWdaLo54gZStK2","LWWM5hoEmgosifsE4","LYtoTnRGdumBcFhDc","MQXoKQ6J8aiJEqCXx","MQep9nbWiJJrC9MEh","MfhX94sj9WTv8em7u","N9L6YHC49vT6mohXs","NE2KDKymx5EJqDAiH","NGg8McikbX4hqEk55","NJWu5BGFtYT4CHsLF","NP83StF2B4To7St69","P4t79ZbGaMG6B7rhB","P56CYJMupTZnQC7hB","PEgvjReY8kzFQ3tJi","PGWuHmXtjQNfMHb86","PLoFEycATFn32DNZq","PoYPN3XZ9eYonxtqp","Pt58Gq5a3Aw53ZsPb","QCG5SvJa6gPGD6QdD","QpHmpg4xeWZdMSd8L","Rs4P2TYmA299J6ojq","SG5Tgr7fifCMX3NLA","SXFfC4tFgmSS3WYdG","SaBApLLZ3pHXyCkRg","SgaD7G3s4R3S2c9NG","T8Q9pjXMzKBa2Wkqf","TBpAthCmmPK4YkjTL","TE58Lc4uKXLmXS6bw","TPwqnrAKKEJzAXFfp","TSJmdwkFWMSS5btfE","ToRpwcYhJ7uSkxdfv","TrNDuSetmwxiNKfSW","TvxChfLpCJSCZst8q","W37enW9LZkz6Jdchn","WAgxZuvo9v4BTrMQT","WFuPvmCei8sCFgjnZ","WY4GZNPJDgcmeLW7r","WiwqX4dpvyjQwXnc8","WmpDmefBeizNcmWgf","XCTnpw2Zv6cig7GHR","XRabXLD6e7qZDi9gp","Xi6D9gS6GgLvMR7CZ","XnbRewftP8MRPRgdQ","Y2rotKyHaRoKAL4Sv","Y899KeyGGe6pwYqAv","YETnNEHFhhB64mFro","Yfs9BrmNsibXkfQxT","YifD4oJtMuZN6ErqJ","YsPkiCs5sdPiRMTvc","Z3TRvQdSjHEb7LYjH","ZL3sWd85ntja5tTR2","ZqKc2i3CykA3bdF85","Zzb5CcD6ufnz7RcC2","a8kBJnLWmRTYttXyd","aAM3kn2ySycx265nD","aLqLnmzbeebEz22DE","aYTXkPZtt2dPRwREA","amMLfiayEgJSziNnK","arEEDyzGKadNLeMHa","b3cmESwFQDf4HNG3D","bCWcFyiC3dLd4uzBo","bPts2vnXEsd2zSoSt","bTsxPB7i4kus36oJd","bWqXCnz5LgJEmhBQJ","bxNuR5d5zTDLnvBoa","c3HDB23GhBKHDPukA","c53jnnytPKsxWi4jc","cnr5C2q85BHGc5RLe","cz3fgiXCSJJuyLNrG","d4RaCfx62ByChriMq","dFLo4aZ576uRdyiSH","dWpZqD22ayjnGv59S","dhxrYHJorKiAdYxRz","di8ydj7XXLMK2nhbk","djjbs4aAWRXfWu4n4","duDivp5iuExZgmJjY","dy69RZ6RYs7QFN6u2","e25DPqECrQLpBrMWi","e3zwFLQyRobjkZ6Cw","e4eMfLhpCo3nz2RLt","e5CgeWWQr55HRL2Hi","eZZrH53xkH5Ztqnux","edfXbKGtDjoEZRgva","ejDrMMe3Tgs6hoJM3","f6N3Qhsd4hPSJdSRC","fvk6bFPRy66cJG2qT","fxDDEgjGvxx6rw5SB","g8i4HPFiYZfsuaFiD","gBB9TvLL88pLi6YgC","gmKR493g4F6EJMYDF","h3CsJvs7qfkuQPP4s","h5kf2kCd3psm4MQzD","hQhRQ87QfbaDB9XkM","hRo57swZXmWp3rqeN","huxXrAXgDrkuJPtzL","i6oyHjkPgeh2PM2sD","iC4crPSm5NDWoqy3s","iG98KaNnyvBGQzecB","iJ4ZnEbMDBkX26urn","iKaw7kzYzdbfWq2pG","ih969QJZzS5EAWd7o","jLfSpqtGZN9qjPwFz","jSpGAFApqZXGryTig","jktgNegsHs8B2NNWr","jwtPQcsMAdB3HhqBJ","kDH6MwnCnMpkYcnRh","kErhoJ2yatjKrbfZE","kNjs5LBDSfNBwnhZL","kPrHRvjo3gC66L8mF","kYFK9nnd7yra4Eyy3","kb2weX5xr54LpF4vt","m6GWNhgj9dhGvEa4s","m6x2yzmkzwro5gTXN","mFhCwi7oMTLzz3E7W","mHWpZ2xDsFNAzTXxs","mPN3upM2GoNbTy2Ho","mYYs32PeD6EadRmL8","mkzaEecJLueLwJ54M","n4Z4mv9MhanHMyjGH","nSfjPuLnTqL3w27S9","nXYRuKatrPBwWnQsC","njBhR8A3yWAg9zk98","npxWNFpp9vCYBvr5u","nvKpgW7pavxmNdRHA","o8qhQxN2oBYupFFJH","oFYMcnjGguwAELXCN","omw5Dhm5kWutfiptY","oovnvgbBWnd4Pob6s","osdws7SR8RC4LjCui","p2jyLCJS4PEMx7jCi","p7cJkmbEcuFJzDNcw","pvaXAPvosoEhcyfcp","qLdcJFkn9cyLq8TYg","qNGxLoG6dzHHcf9r7","qPXoRJJM5B7A2Ti2Y","qR2drTgtGh7fnEbWk","qZj6bNiZj6M6DtGrp","qdYoMGc2wvyq6CTn9","qkgpHanJPkXb2T7J7","qmA4hwnKYYaS2JQMZ","qrbiqHEKJriyr8p6g","quqiSRBAggQB5jHoQ","rE3ciLZjbinZnT4Na","rG5SBWbLxTQKRc7Dd","rNiT2WrbmjdxrgqXZ","rYhKm56DRhutN3xPi","rfD9en76GLKxWfLhr","rsFyN7PoLZ2aRsspE","s85Xu54Y65iucsKvo","s9fgFYvkttzHHgMbD","sTEJXKk32Ee4apj4r","tE2qiBHm5NQEucYt6","teMr28uiyPJnoHoya","tpEfYHEzHMRoJ9chu","u3eBd7TnDqbdmX9Z9","udbsCGT7rraY7gxwm","ui3zhaSDSfAPi86uG","uzeLGvRAmvszchppf","vNLT68SZyy82Y99mZ","veE5KKsjwAusGBvgi","wE6kPmpcnnDbCpJeP","wQNbwLJqSRpz4n6QG","wZfPC2xdQgL76R7mq","wcR5X5kPqrfC2Qf8A","wuJpd63ABqqKF2tRA","wum4JCg9HMHsBiZE3","wxLgpMfcqcZhzJdot","xK6FqYcjQvG37Hqdy","xLfDYDWEh2iFa6vHe","yARxEfr2L9X4LMx6o","yDj89EDgnRSp9jBPW","yF4g26MTvcZQx7cqk","yLDqdarba4N3fsfdn","ywo4sKC5ypk4jy6Fz","zBw9G9zr8tNSE27Q5","zWumiSyWRxkTc4Lyz","zadzS5DG5dn3mgz8i","znjtgjSiBDs7Y5zFZ","zuWHLQExGzfA8nNKF"],"author_short":["Roelofsen, F."],"bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","author":[{"propositions":[],"lastnames":["Roelofsen"],"firstnames":["Floris"],"suffixes":[]}],"date-added":"2019-05-09 09:30:15 +0200","date-modified":"2019-05-09 11:03:51 +0200","keywords":"artificial intelligence,logic","school":"Department of Computer Science, Twente University","title":"Contextual Reasoning: Complexity and Decision Procedures","url":"https://froelofs.github.io/documents/thesis04_roelofsen.pdf","year":"2004","bdsk-url-1":"https://froelofs.github.io/documents/thesis04_roelofsen.pdf","bibtex":"@mastersthesis{Roelofsen:04thesis,\n\tauthor = {Roelofsen, Floris},\n\tdate-added = {2019-05-09 09:30:15 +0200},\n\tdate-modified = {2019-05-09 11:03:51 +0200},\n\tkeywords = {artificial intelligence,logic},\n\tschool = {Department of Computer Science, Twente University},\n\ttitle = {Contextual Reasoning: Complexity and Decision Procedures},\n\turl = {https://froelofs.github.io/documents/thesis04_roelofsen.pdf},\n\tyear = {2004},\n\tBdsk-Url-1 = {https://froelofs.github.io/documents/thesis04_roelofsen.pdf}}\n\n","author_short":["Roelofsen, F."],"key":"Roelofsen:04thesis","id":"Roelofsen:04thesis","bibbaseid":"roelofsen-contextualreasoningcomplexityanddecisionprocedures-2004","role":"author","urls":{"Paper":"https://froelofs.github.io/documents/thesis04_roelofsen.pdf"},"keyword":["artificial intelligence","logic"],"metadata":{"authorlinks":{"roelofsen, f":"https://www.florisroelofsen.com/"}},"downloads":3,"html":""},"bibtype":"mastersthesis","biburl":"froelofs.github.io/bib/floris35.bib","creationDate":"2019-05-09T09:05:15.214Z","downloads":3,"keywords":["artificial intelligence","logic"],"search_terms":["contextual","reasoning","complexity","decision","procedures","roelofsen"],"title":"Contextual Reasoning: Complexity and Decision Procedures","year":2004,"dataSources":["Fk3sHGcu8TSPuv2XS","E2KSoF3TSx2i7tP6x","Kr7zcZkBarYm3grc5","CEDzXuZSHaKCtJZEA","WRSofRd6uxxHywTGu"]}