Faculty Directory

Carolina Ruiz

Associate Professor

Office: Fuller Laboratories, 232
Phone: +1-508-831-5640
Fax: +1-508-831-5776
ruiz@wpi.edu

Related Information

• Personal Page

Educational Background

• B.S., University of Los Andes. - Colombia, 1989
• M.S., University of Los Andes. - Colombia, 1990
  
• Ph.D., University of Maryland at College Park, 1996
  

Research & Teaching Interests

Artificial intelligence; machine learning; automated theorem proving; deductive databases; knowledge discovery and data mining

IQP Advising Interests

Impact of new technologies; hospital based projects; effect of technology on social systems; technology & organizational behaviors; international comparisons

Recent Publications

• Carolina Ruiz, and Jack Minker. Combining Closed World Assumptions with Stable Negation. To appear in Fundamenta Informaticae.

• Jack Minker, and Carolina Ruiz. Logic Knowledge Bases with Two Default Rules. Submitted for publication to Annals of Mathematics and Artificial Intelligence, 1996.

• Jack Minker and Carolina Ruiz. Mixing a Default Rule with Stable Negation. Proc. of the Fourth International Symposium on Artificial Intelligence and Mathematics. Fort Lauderdale, Florida, pages 122-125, Jan. 1996.

• Carolina Ruiz and Jack Minker, Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs, in Nonmonotonic Extensions of Logic Programming, edited by J. Dix, L.M. Pereira and T.C. Przymusinski. Lecture Notes in Computer Science 927. Springer-Verlag, pages 205-229, 1995.

• Dietmar Seipel, Jack Minker, and Carolina Ruiz. Model Generation and State Generation for Disjunctive Logic Programs. To appear in the Journal of Logic Programming. Available as TR CS-TR-3546 UMIACS-TR-95-99, Dept. of Computer Science and Institute for Advanced Computer Studies. University of Maryland, College Park, MD 20742. USA, 1995.

View detailed list

Years of Service at WPI

• 1996 - Assistant Professor.

Professional Experience & Activities

• 1992-96 Graduate Research Assistant.
  Department of Computer Science and Institute for Advanced Computer Studies (UMIACS).
  University of Maryland at College Park.
• 1996-97 Visiting Assistant Professor.
  Department of Computer Science.
  University of Pittsburgh.

Professional Societies/Memberships

• Association for Computing Machinery.
• The ACM Special Interest Group on Artificial Intelligence (SIGART).
• The Association for Logic Programming.