论文信息 - The Advanced Computational Methods Center, University of Georgia

The Advanced Computational Methods Center, University of Georgia

The Advanced Computational Methods Center (ACMC) established at the University of Georgia in 1984, supports several research projects in artificial intelligence. The primary goal of AI research at ACMC is the design and installation of a logic-programming environment with advanced natural language processing and knowledge-acquisition capabilities on the university's highly parallel CYBERPLUS system from Control Data Corporation. This article briefly describes current research projects in artificial intelligence at ACMC

Donald Nute | Michael A. Covington | Terry Rankin

[1] Donald Nute. A programming solution to certain problems with loops in Prolog , 1985, SIGP.

[2] Donald Nute. Conversational scorekeeping and conditionals , 1980, J. Philos. Log..

[3] Dov M. Gabbay,et al. N-Prolog: An Extension of Prolog with Hypothetical Implications I , 1984, J. Log. Program..

[5] Michael A. Covington. Eliminating unwanted loops in Prolog , 1985, SIGP.

[6] William Harper,et al. Ifs. Conditionals, Belief, Decision, Chance, and Time , 1981 .