Son Cao Tran

Combining ASP and Prolog

VCLA and WPI will host a talk by Son Cao Tran on March 25th, 2014.

DATE:Tuesday, March 25, 2014
TIME:12:00
VENUE:lecture room FH HS7 (Wiedner Hauptstr. 8, yellow area, second floor)

ABSTRACT

We discuss a framework for combining Answer Set Programming and Prolog, as developed in the ASP-Prolog system. We will present a model-theoretical semantics for ASP-Prolog and illustrates its use in several practical applications in knowledge representation and reasoning, common-sense reasoning, negotiation, decomposable programs, and multi-context systems.

Comments are closed.