Το μάθημα επιχειρεί να εισάγει το φοιτητή σε μια ευρεία γκάμα πρόσφατων φορμαλισμών, δίνοντας αρκετή έμφαση όχι μόνο στις θεωρητικές ιδιότητές τους, αλλά και στην πρακτική εφαρμογή τους. Για το σκοπό αυτό θα ξεπεράσουμε τις κλασσικές υλοποιήσεις βασισμένες σε PROLOG και θα εμβαθύνουμε στην κωδικοποίηση προβλημάτων βελτιστοποίησης και εύρεσης πλάνων επίλυσης προβλημάτων με τη state-of-the-art γλώσσα δηλωτικού προγραμματισμού Answer Set Programming (ASP). Συστήματα που χρησιμοποιούν την ASP βρίσκει κανείς πλέον τόσο σε ακαδημαϊκό όσο και σε βιομηχανικό επίπεδο, σε περιοχές όπως η ρομποτική, η βιοπληροφορική, σε εμπορικά συστήματα διαχείρισης εργοστασίων, έως και σε απλές εφαρμογές, πχ εφαρμογές ηλεκτρονικού τουρισμού για προσωποποιημένη πλοήγηση.