1 From knowledge to intelligence – building blocks and applications Chitta Baral Department of Computer Sc. & Eng. Arizona State University Tempe, AZ 85287.
Answer Set Programming: A new Paradigm for Knowledge Representation and Constraint Programming