Η λογική στην επιστήμη των υπολογιστών περιγράφει θέματα όπου τα μοντέλα λογικής εφαρμόζονται στην εκπροσώπηση της γνώσης και της τεχνητής νοημοσύνης. Η χρήση κατανεμημένων συστημάτων για την επίλυση λογικών προβλημάτων ...