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|
|VENUE:||lecture room FH HS7 (Wiedner Hauptstr. 8, yellow area, second floor)|
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.