Research on Intelligent Information Systems

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

2. Intelligent Systems Relations, 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 hasSameLevelAs D and C isBossOf A and D isBossOf B then A hasSameLevelAs B

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

4. “May-Point-To” Analysis - II r1 p q r2 s1 r1 q s2 p r2 s3 p = q; points_to(P,R) :- stmt(v(P),v(Q)), points_to(Q,R). p = *q; points_to(P,S) :- stmt(v(P),star(Q)), points_to(Q,R), points_to(R,S).

5. “May-Point-To” Analysis - III r1 s1 q p r2 s2 *p = q; points_to(R,S) :- stmt(star(P),v(Q)), points_to(P,R), points_to(Q,S).

6. 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

7. 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

8. 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)

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

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

11. 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

12. 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)

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

14. David S. Warren Research in Logic Programming and Knowledge Systems • Implementation of Logic Programming • The XSB Tabled Logic Programming System • LP Compiler Optimizations • Multithreaded Implementations • Tabling in Logic Programming • 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

15. 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

16. 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)

17. 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)

18. Graduate Courses We Teach CSE505 -- Computing with Logic CSE507 -- Intro. to Computational Linguistics CSE526 -- Programming Languages CSE532 -- Database systems CSE537 -- Artificial Intelligence CSE541 -- Logic in Computer Science CSE542 -- Speech Processing CSE632 -- Advanced Database Systems CSE641 -- Advanced Logic in Computer Science CSE644 -- Data Mining Concepts and Techniques And watch for our seminars!