Wyniki wyszukiwania:

John Mylopoulos has made ground-breaking contributions to three areas of computer science: arti?cial intelligence, information systems and software - gineering. His contributions have been celebrated on multiple occasions. First, Misha Missiko? organized a one-day symposium on conceptual modeling on June 17, 2003, inVelden, Austria, tocelebrateJohn's60thbirthday.Second, JohnTsotsos led the organization of a day of celebrations on June 27th, 2009 in Toronto, Canada, on the occasionof John's retirementfrom the Departmentof Computer Science of the University of Toronto. This book grew out of our...

Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. Over the years, there has been growing interest in Logic Programming due to applications in deductive databases, automated worksheets, Enterprise Management (business rules), Computational Law, and General Game Playing. This book introduces Logic Programming theory, current technology, and popular applications. In this volume, we take an innovative, model-theoretic approach to logic programming. We begin with the fundamental notion of datasets, i.e., sets of...