Assignment 1 Forum | COMP4418 17s2 | WebCMS3 Toggle navigation WebCMS3 Search Courses Login COMP4418 17s2 Home Course Outline Forums Timetable Groups Activities Course Work Lectures Lecture Videos Assignments Exercises Toggle Menu Forums Assignments Assignment 1 Assignment 1 Forum Posts Replies Creator Created Last Reply When will we receive assignment1 marks?? 5 Michael-James Coetzee Wednesday 25 October 2017, 12:35:05 AM Tuesday 21 November 2017, 02:36:32 AM Im currently having troubles with using user input... 0 Jeff Zhang Wednesday 30 August 2017, 11:42:10 PM Never Hello, Is there anybody on Campus who could hel... 5 Evgeniia-Liza Sheliukhina Wednesday 30 August 2017, 10:10:33 AM Wednesday 30 August 2017, 01:19:29 PM Questions about q2 and q3: For q2, what do ... 10 Thomas Kilkelly Tuesday 29 August 2017, 02:59:53 PM Tuesday 29 August 2017, 10:42:41 PM Hi professor, I am write q3 in java and when i try... 2 Tyrone Chen Tuesday 29 August 2017, 03:18:57 PM Tuesday 29 August 2017, 10:27:05 PM Hello Professor, Is that the desirable outp... 1 Evgeniia-Liza Sheliukhina Tuesday 29 August 2017, 08:36:35 PM Tuesday 29 August 2017, 09:57:47 PM All of the rules start with P, but in the example ... 1 Jordan Cohn Tuesday 29 August 2017, 03:30:51 PM Tuesday 29 August 2017, 08:29:28 PM Final questions about assn1q3: 1) My program is... 2 Edrian Gomez Tuesday 29 August 2017, 02:19:30 PM Tuesday 29 August 2017, 06:20:07 PM Negative examples: Could you provide ... 2 Rahul Anand Sunday 27 August 2017, 01:54:20 PM Monday 28 August 2017, 11:35:49 PM Hi professor, I use Python to code the assignme... 2 Yihan Xiao Monday 28 August 2017, 08:42:08 PM Monday 28 August 2017, 10:34:13 PM Can we be fed an expression such as 'neg p imp neg... 1 Jordan Cohn Monday 28 August 2017, 05:11:21 PM Monday 28 August 2017, 10:30:57 PM Im stuck on Q3 and dont know where to begin can ... 10 Jeff Zhang Saturday 26 August 2017, 12:57:01 PM Sunday 27 August 2017, 10:00:36 PM What is the path to swi-prolog on test environme... 3 Yuheng Du Thursday 24 August 2017, 10:44:52 PM Sunday 27 August 2017, 09:39:43 PM A question about printing proofs. If we are using ... 2 Joshua Lau Sunday 27 August 2017, 04:18:14 PM Sunday 27 August 2017, 09:38:31 PM May we assume that the input is a well-formed expr... 1 Joshua Lau Sunday 27 August 2017, 04:52:07 PM Sunday 27 August 2017, 09:35:05 PM A couple of questions on parentheses. 1. When o... 1 Joshua Lau Sunday 27 August 2017, 01:32:57 PM Sunday 27 August 2017, 09:31:21 PM Regarding proof printing format: Hell... 1 Rahul Anand Sunday 27 August 2017, 09:43:26 AM Sunday 27 August 2017, 09:10:38 PM A question on efficiency. To what degree will our ... 1 Joshua Lau Saturday 26 August 2017, 11:05:58 PM Sunday 27 August 2017, 12:03:22 AM Why in rule 1 do λ and ζ have to be strings of ato... 1 Jordan Cohn Saturday 26 August 2017, 09:18:24 PM Sunday 27 August 2017, 12:01:56 AM Hi professor, I am wondering the importance of... 1 David Bassin Saturday 26 August 2017, 03:36:18 PM Saturday 26 August 2017, 11:54:59 PM Hi, What will the example f in Q3 look like in ... 1 Xiaochuan Zhu Saturday 26 August 2017, 09:22:32 AM Saturday 26 August 2017, 11:49:29 PM If we're running the rules in reverse, what would ... 2 Daniel Mannix Wednesday 23 August 2017, 11:55:59 PM Saturday 26 August 2017, 04:59:00 PM According to the example input from specificatio... 3 Xinyuan Qian Friday 25 August 2017, 02:24:16 PM Saturday 26 August 2017, 12:07:21 PM Hi professor, The give system seems not set up ... 1 Yihan Xiao Thursday 24 August 2017, 06:54:24 PM Saturday 26 August 2017, 01:01:46 AM Questions about the formula: The left part coul... 1 Hao Chen Friday 25 August 2017, 08:19:12 PM Saturday 26 August 2017, 01:01:20 AM I just found a problem about the ' ' . Single quot... 1 Yihan Xiao Friday 25 August 2017, 05:56:24 PM Saturday 26 August 2017, 01:00:41 AM Hi Professor.According to the lecture's sample, ca... 1 Fan Xia Friday 25 August 2017, 05:40:04 PM Saturday 26 August 2017, 12:59:56 AM Problem when submitting assignment 1. Anyone met t... 1 Xinyuan Qian Friday 25 August 2017, 04:33:13 PM Saturday 26 August 2017, 12:59:04 AM Hi Pagnucco. The first line of my python script is... 1 Xinyuan Qian Friday 25 August 2017, 02:30:28 PM Saturday 26 August 2017, 12:58:32 AM can we use other rule that did not mention in lect... 2 Tyrone Chen Saturday 19 August 2017, 08:31:47 PM Friday 25 August 2017, 02:30:40 AM What would be the preferred language for Q3? Would... 5 Daniel Bi Thursday 24 August 2017, 12:51:25 PM Thursday 24 August 2017, 07:03:43 PM i can't seem to be able to give, it says that `ass... 1 Alex Linker Thursday 24 August 2017, 10:00:15 AM Thursday 24 August 2017, 02:14:35 PM Hi professor Do we need to give proof if is fa... 1 Tyrone Chen Thursday 24 August 2017, 01:54:57 PM Thursday 24 August 2017, 02:13:47 PM Hi professor, if possible can you have all the lis... 0 Peter Leonard Thursday 24 August 2017, 01:34:33 PM Never Hi professor, Would it be possible to have more... 8 Edrian Gomez Tuesday 22 August 2017, 12:15:50 PM Wednesday 23 August 2017, 08:43:31 PM Hi, professor, for q3. is p⊢∅ true?(is ∅ consi... 1 Tyrone Chen Tuesday 22 August 2017, 07:21:38 PM Tuesday 22 August 2017, 11:01:32 PM Hi,professor I have a question about the Logic ... 1 Xin Yao Tuesday 22 August 2017, 03:22:09 PM Tuesday 22 August 2017, 10:58:50 PM Updated assignment specification to clarify Ques... 2 Maurice Pagnucco Saturday 19 August 2017, 01:02:21 AM Sunday 20 August 2017, 11:07:04 PM Hi professor, could you tell whether it is forma... 2 Bingbing Rao Sunday 20 August 2017, 10:53:29 PM Sunday 20 August 2017, 11:02:20 PM As known, words below are background information f... 1 Bingbing Rao Sunday 20 August 2017, 05:57:02 PM Sunday 20 August 2017, 06:18:16 PM Back to top COMP4418 17s2 (Knowledge Representation and Reasoning) is powered by WebCMS3 CRICOS Provider No. 00098G
