(Computer Science) (732)445-2657
mccarty@cs.rutgers.edu
Professor McCarty is primarily interested in the problem of knowledge representation in AI, and the applications of AI to law and legal reasoning. Recent work includes research on: intuitionistic logic programming; nonmonotonic reasoning; action logics; deontic logics; and the relevance of these topics to formal theories of argumentation.