hw2b - (1) {CS_student(DaeHoon)} (2) {CS_student(x1),...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
(7) {¬Has_racquetball_racquet(x4), ¬Visited(x4,y1), ¬Is_racquetball_court(z1), ¬ Located_in(z1,y1),  Plays_racquetball(x4)} (12) {¬Has_racquetball_racquet(x5), ¬Visited(x5,y2), ¬ Located_in(Sk1, y2),  Plays_racquetball(x5)} (3.1) {Is_racquetball_court(Sk1)} (4) {¬Is_grad_student(x2), ¬Plays_squash(x2)} (5) {Is_grad_student(DaeHoon)} (10) {¬Plays_squash(DaeHoon)} (6) {¬Plays_racquetball(x3), Plays_squash(x3)} (11) {¬Plays_racquetball(DaeHoon)}
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: (1) {CS_student(DaeHoon)} (2) {CS_student(x1), Visited(x1, CRCE)} (3.2) {Located_in(Sk1, CRCE)} (13) {Has_racquetball_racquet(x6), Visited(x6,CRCE), Plays_racquetball(x6)} (9) {Visited(DaeHoon, CRCE)} (14) {Has_racquetball_racquet(DaeHoon), Plays_racquetball(DaeHoon)} (15) {Has_racquetball_racquet(DaeHoon)} (16) {} (8) { Has_racquetball_racquet(DaeHoon)}...
View Full Document

This note was uploaded on 04/30/2011 for the course ECE 448 taught by Professor Levinson during the Spring '08 term at University of Illinois, Urbana Champaign.

Ask a homework question - tutors are online