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.
