Research on Intelligent Information Systems Himanshu Gupta Michael

Research on Intelligent Information Systems Himanshu Gupta Michael Kifer Annie Liu C. R. Ramakrishnan I. V. Ramakrishnan Amanda Stent David Warren Anita Wasilewska

Intelligent Systems Relations, Relations Program analysis: “The value of variable x at line 15 depends on the value of variable y” Workflow systems: “Task 2 can start only after task 1 has started” Knowledge-base systems: “A and B are at the same level in an organization if their bosses are at the same level”: C has. Same. Level. As D and C is. Boss. Of A and D is. Boss. Of B then A has. Same. Level. As B 2 Computer Science Department

Program Analysis using Relations “May Point-To” analysis for C programs [Anderson’ 95] p = &q; p = q; p = *q; *p = q; p p = &q; stmt(v(p), addr(q)). q points_to(p, q) points_to(P, Q) : - stmt(v(P), addr(Q)). 3 Computer Science Department

“May-Point-To” Analysis - II q p = q; r 1 p r 2 points_to(P, R) : - stmt(v(P), v(Q)), points_to(Q, R). p = *q; q r 1 r 2 s 1 s 2 s 3 p points_to(P, S) : - stmt(v(P), star(Q)), points_to(Q, R), points_to(R, S). 4 Computer Science Department

“May-Point-To” Analysis - III *p = q; p r 1 s 1 r 2 s 2 q points_to(R, S) : - stmt(star(P), v(Q)), points_to(P, R), points_to(Q, S). 5 Computer Science Department

Intelligent Systems Deductive Systems “Given rules that define relationships, find the consequences of these rules” Data, Knowledge and Workflow Management Systems Inductive Systems Given emperical observations, find the rules that model the observation Data mining, machine learning 6 Computer Science Department

Research Areas Data, Knowledge and Workflow Management Systems Logic Programming Web Technologies Semantic Web Agents Computational Linguistics Machine Learning Data Mining Rule-based deployment and management of ad-hoc sensor networks 7 Computer Science Department

Himanshu Gupta Broad Research Areas: Wireless Networks, Sensor Networks, Databases. A sensor network is a very large ad hoc wireless network of resource constrained nodes. Sensor network can be looked upon as a distributed database. IIS Research Focus: Query processing and optimization in sensor networks Efficient data storage and access in sensor/ad hoc networks Activity representation and recognization in sensor networks Relevant Courses Taught: CSE 595 (Topics in Sensor Networks; Spring) CSE 532 (Theory of Database Systems) CSE 658 (Seminar in Wireless Networks) 8 Computer Science Department

Michael Kifer Research in Semantic Web Declarative languages for data and knowledge manipulation Integration of Object-Oriented and Deductive paradigms F-logic Transaction logic Flora-2 system Query Optimization Logic Programming & Artificial Intelligence 9 Computer Science Department

Annie Liu Query languages and policy languages: for querying and updating complex objects and graphs using rules, object abstraction, and reg exp patterns Implementation generating efficient programs from queries answering queries with time and space guarantees Frameworks and optimization methods: and applications: security policy frameworks and efficient implementations frameworks for building Web information systems 10 Computer Science Department

C. R. Ramakrishnan Research in logic programming and deductive systems Logic program evaluation: data structures and algorithms for Incremental evaluation of programs Constraint processing Applications Verification of concurrent systems Program analysis Computer system security 11 Computer Science Department

I. V. Ramakrishnan Research in machine learning and web agents Agents for extracting information from web sources Extraction from semi-structured sources Classification using machine learning Applications Personal Information Assistants Web navigation tools for visually impaired Information presentation in constrained environments (PDAs, cell phones) 12 Computer Science Department

Amanda Stent Computational Linguistics Multimodal and spoken dialog systems Natural language processing Dialog system engineering Adaptation in dialog Generation of sentences for text, dialog Computational theories of discourse Multimedia information extraction For task learning For multimodal generation 13 Computer Science Department

David S. Warren Research in Logic Programming and Knowledge Systems Implementation of Logic Programming Tabling in Logic Programming The XSB Tabled Logic Programming System LP Compiler Optimizations Multithreaded Implementations Extensions to include constraints Methodology for using tabled evaluation Efficient evaluation of negation in LP Applications Deductive Spreadsheets Ontology Management Classification of and Extraction from text descriptions 14 Computer Science Department

Anita Wasilewska Research in Data Mining Syntax and Semantics of Classification Data Mining as Generalization Process; a Unified Model for Data Mining Methodology for data Mining Projects Development 15 Computer Science Department

A Sampler of Research Projects Query optimization in deductive systems (Gupta, Liu, C. R. & I. V. Ramakrishnan, Warren) Voice XML: Adding sound to the web (Kifer, I. V. Ramakrishnan, Stent) Query-based deployment and management of ad-hoc sensor networks (Gupta) Dialog-based systems (Stent) Data mining for bio-informatics (Kifer, I. V. Ramakrishnan, Wasilewska) 16 Computer Science Department

A Sampler of Research Projects Semantic Search Engines (Kifer, I. V. Ramakrishnan) Program analysis and verification using deductive systems (Liu, C. R. Ramakrishnan) Ontology mining and management (Kifer, I. V. Ramakrishnan, Warren) 17 Computer Science Department

Graduate Courses We Teach CSE 505 -- Computing with Logic CSE 507 -- Intro. to Computational Linguistics CSE 526 -- Programming Languages CSE 532 -- Database systems CSE 537 -- Artificial Intelligence CSE 541 -- Logic in Computer Science CSE 542 -- Speech Processing CSE 632 -- Advanced Database Systems CSE 641 -- Advanced Logic in Computer Science CSE 644 -- Data Mining Concepts and Techniques And watch for our seminars! 18 Computer Science Department