Invited Talks
VSL/KR Keynote Talk, Supported by ECCAI scription logics, modal logics, ontologies) and auto - mated deduction (term rewriting, unification theo - Ontology-Based Monitoring ry, combination of decision procedures). He was of Dynamic Systems program chair of the KI’01, CADE’03, LPAR’04, and Franz Baader, TU Dresden RTA’07 conferences, is an editorial board member of several journals in AI and logic in computer Ss - Our understanding of the notion “dynamic system” cience, and has published more than 200 refereed is a rather broad one: such a system has states, articles in major journals and conferences. He is a which can change over time. Ontologies are used to member of the Academia Europaea and an ECCAI describe the states of the system, possibly in an in - fellow, and was for twelve years president of CADE complete way. Monitoring is then concerned with Inc., the organization that runs the International deciding whether some run of the system or all of Conference on Automated Deduction. its runs satisfy a certain property, which can be ex - pressed by a formula of an appropriate temporal logic. I consider different instances of this broad Knowledge Representation Meets framework, which can roughly be classified into two Computer Vision: From Pixels to cases. In one instance, the system is assumed to be a black box, whose inner working is not known, but Symbolic Activity Descriptions whose states can be (partially) observed during a Tony Cohn, University of Leeds run of the system. In the second instance, one has (partial) knowledge about the inner working of the While the fields of KR and computer vision have di - system, which provides information on which runs verged since the early days of AI, there have been of the system are possible. recent moves to re-integrate these fields. I will talk In this talk, I will review some of our recent re - about some of this work, focusing on research from search that investigates different instances of this Leeds on building models of video activity from general framework of ontology-based monitoring of video input. I will present techniques, both super - dynamic systems. I will also sketch possible exten - vised and unsupervised, for learning the spatio- sions towards probabilistic reasoning and the inte - temporal structure of tasks and events from video gration of mathematical modeling of dynamical sys - or other sensor data, particularly in the case of sce - tems. narios with concurrent activities. e representa - Franz Baader has been a full professor of theoret - tions exploit qualitative spatio-temporal relations ical computer science at TU Dresden since 2002, which have been an active area of research in KR for and dean of the Faculty of Computer Science of TU a number of years. I will also talk about the problem Dresden since 2012. He obtained his PhD in com - of robustly computing symbolic descriptions from puter science at the University of Erlangen in 1989. noisy video data. Finally, I will show how objects He was a senior researcher at the German Research can be functionally categorised according to their Centre for Artificial Intelligence (DFKI) in Kaiser - spatiotemporal behaviours. slautern and Saarbrücken for four years, and associ - Tony Cohn holds a personal chair at the Universi - ate professor of theoretical computer science at ty of Leeds, where he is professor of automated rea - RWTH Aachen for eight years. His main research soning and director of the Institute for Artificial In - area is logic in computer science and artificial intel - telligence and Biological Systems. His work on ligence, in particular knowledge representation (de - knowledge representation and reasoning has a par -
xix ticular focus on qualitative spatial/spatio-temporal ence Fund, is an ACM Fellow, an ECCAI Fellow, a reasoning, the best known being the well cited re - Fellow of the Royal Society, and a member of the gion connection calculus (RCC). His current re - Austrian Academy of Sciences, the German Nation - search interests range from theoretical work on spa - al Academy of Sciences, and the Academia Eu - tial calculi and spatial ontologies, to cognitive vi - ropaea. He chaired the Program Committees of IJ - sion, modeling spatial information in the CAI 2003 and ACM PODS 2000. He is currently a hippocampus, and detecting buried underground member of the editorial boards of CACM and JCSS. assets (e.g. utilities and archaeological residues) us - He was the main founder of Lixto (www.lixto.com), ing a variety of geolocated sensors. He has been a company that provides tools and services for web chairman or president of SSAISB, ECCAI, KR inc, data extraction which was recently acquired by the IJCAI Board of Trustees and is presently editor- McKinsey & Company. Gottlob was awarded an in-chief of the AAAI Press, Spatial Cognition and ERC Advanced Investigator’s Grant for the project Computation, and the Artificial Intelligence journal. DIADEM: Domain-centric Intelligent Automated He was elected a founding Fellow of ECCAI, and is Data Extraction Methodology project. More infor - also a Fellow of AAAI, AISB, the BCS, and the IET. mation on Georg Gottlob can be found on his Web Work from the Cogvis project won the British Com - page (www.cs.ox.ac.uk/people/georg.gottlob). puter Society Machine Intelligence prize in 2004, and the VAULT system from his Mapping the Un - Great Moments in KR Talk derworld project won a 2012 IET Innovation Award. Situation Calculus: e Last 15 Years Sheila McIlraith, University of Toronto Datalog +/ –: Questions and Answers In 2001 Ray Reiter published his seminal book, Georg Gottlob, University of Oxford Knowledge in Action: Logical Foundations for Speci - Datalog +/? is a family of languages for knowledge fying and Implementing Dynamical Systems . e representation and reasoning. ese languages ex - book represented the culmination of 10 years of tend Datalog with features such as existential quan - work by Reiter and his many collaborators investi - tifiers, equalities, and the falsum in rule heads, and, gating, formalizing, and extending the situation cal - at the same time, applies restrictions to achieve de - culus, first introduced by John McCarthy in 1963 as cidability and tractability. Aer a general overview a way of logically specifying dynamical systems. of the Datalog +/? family, this talk will focus on more While researchers continue to extend the situation recent issues. Among other things, I will report on calculus, it has also seen significant scientific de - the combination of the two main decidability ployment to aid in the specification and implemen - paradigms guardedness and stickiness, yielding the tation of a diversity of automated reasoning endeav - Tame Fragment, and on incorporating non-mono - ors including diagnosis, web services composition tonic negation and disjunction into Datalog +/ –:. I and customization, and nonclassical automated will also report about a special version of Datalog +/? planning. In this talk I will examine the important suitable for reasoning with reverse-engineered UML role the situation calculus has more recently been class diagrams, and about the TriQ language that ex - playing in explicating nuances in the logical specifi - presses SPARQL with entailment regimes. cation and realization of some of these diverse auto - Georg Gottlob is a professor of informatics at Ox - mated reasoning tasks. ford University, a Fellow of St John’s College, Oxford, Sheila McIlraith is a professor in the Department and an adjunct professor at TU Wien. His interests of Computer Science, University of Toronto. Prior to include knowledge representation and reasoning in - joining the University of Toronto, she spent six years cluding ontological reasoning, logic and complexity, as a research scientist at Stanford University, and database theory, graph decomposition techniques, one year at Xerox PARC. McIlraith’s research is in and web data extraction. Gottlob has received the the area of knowledge representation and automat - Wittgenstein Award from the Austrian National Sci - ed reasoning, with specific interest in reasoning
xx about dynamical systems and decision making in its many guises. She has 10 years of industrial research and development experience developing artificial intelligence applications. McIlraith is a fellow of AAAI and a past associate editor of the journal Arti - ficial Intelligence. She is past program cochair of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR2012), and the International Semantic Web Conference (ISWC2004). In 2011 she and her coau - thors were honored with the SWSA 10-year Award, recognizing the highest impact paper from the In - ternational Semantic Web Conference, 10 years pri - or. Her research has also made practical contribu - tions to the development of next-generation space systems and to emerging web standards.
xxi