Logic programming is investigated as a vehicle for structuring and implementing decision support systems, with particular attention paid to those dealing with financial modeling. This approach to ...

3) You will learn about logic programming, a paradigm to use logic for knowledge representation. You will learn about the model theory, fixpoint theory, and query processing procedures involved. 4) ...