{"action":"created","issue":{"url":"https://api.github.com/repos/aimacode/aima-java/issues/233","repository_url":"https://api.github.com/repos/aimacode/aima-java","labels_url":"https://api.github.com/repos/aimacode/aima-java/issues/233/labels{/name}","comments_url":"https://api.github.com/repos/aimacode/aima-java/issues/233/comments","events_url":"https://api.github.com/repos/aimacode/aima-java/issues/233/events","html_url":"https://github.com/aimacode/aima-java/issues/233","id":166278140,"number":233,"title":"Where can I get help? (CNF Problem)","user":{"login":"xhaeze","id":18575962,"avatar_url":"https://avatars.githubusercontent.com/u/18575962?v=3","gravatar_id":"","url":"https://api.github.com/users/xhaeze","html_url":"https://github.com/xhaeze","followers_url":"https://api.github.com/users/xhaeze/followers","following_url":"https://api.github.com/users/xhaeze/following{/other_user}","gists_url":"https://api.github.com/users/xhaeze/gists{/gist_id}","starred_url":"https://api.github.com/users/xhaeze/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/xhaeze/subscriptions","organizations_url":"https://api.github.com/users/xhaeze/orgs","repos_url":"https://api.github.com/users/xhaeze/repos","events_url":"https://api.github.com/users/xhaeze/events{/privacy}","received_events_url":"https://api.github.com/users/xhaeze/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-07-19T08:44:53Z","updated_at":"2016-07-19T12:33:07Z","closed_at":null,"body":"Hello guys!\r\n\r\nFirst I'd like to say thanks for providing this great libary.\r\n\r\nHowever I can't figure out how to convert my term into an cnf expression.\r\n\r\nTerm:\r\n(a && !b) || (c && !b) || (a && b) || (c && b) || (d)\r\n\r\nCan you help me out? Also sorry if I'm posting this at the wrong place.\r\n\r\nThanks!\r\nPeter"},"comment":{"url":"https://api.github.com/repos/aimacode/aima-java/issues/comments/233617748","html_url":"https://github.com/aimacode/aima-java/issues/233#issuecomment-233617748","issue_url":"https://api.github.com/repos/aimacode/aima-java/issues/233","id":233617748,"user":{"login":"ctjoreilly","id":852923,"avatar_url":"https://avatars.githubusercontent.com/u/852923?v=3","gravatar_id":"","url":"https://api.github.com/users/ctjoreilly","html_url":"https://github.com/ctjoreilly","followers_url":"https://api.github.com/users/ctjoreilly/followers","following_url":"https://api.github.com/users/ctjoreilly/following{/other_user}","gists_url":"https://api.github.com/users/ctjoreilly/gists{/gist_id}","starred_url":"https://api.github.com/users/ctjoreilly/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ctjoreilly/subscriptions","organizations_url":"https://api.github.com/users/ctjoreilly/orgs","repos_url":"https://api.github.com/users/ctjoreilly/repos","events_url":"https://api.github.com/users/ctjoreilly/events{/privacy}","received_events_url":"https://api.github.com/users/ctjoreilly/received_events","type":"User","site_admin":false},"created_at":"2016-07-19T12:33:07Z","updated_at":"2016-07-19T12:33:07Z","body":"For AIMA3e, this should help:\r\n\r\nhttps://github.com/aimacode/aima-java/blob/AIMA3e/aima-core/src/test/java/aima/test/core/unit/logic/propositional/visitors/ConvertToCNFTest.java\r\n\r\nYou will likely need to modify the syntax of the sentence you are using to work with the aima-java library (e.g. single '&' instead of '&&') . Let me know if that works for you.\r\n\r\nBest\r\n\r\nCiaran"}}
{"actor":{"display_login":"ctjoreilly"}}