@inproceedings{1054946, title = "Revising propositional horn clause knowledge bases", author = "Αφράτη, Φώτω Ν. and Καβαλιέρος, Θεόδωρος and Θεοδωράτος, Δημήτρης", year = "1995", pages = "995-1004", publisher = "Εκπαιδευτικό Κέντρο Κτηματικής Τραπέζης", booktitle = "5ο Πανελλήνιο Συνέδριο Πληροφορικής. Πρακτικά εισηγήσεων: έρευνα στις τεχνολογίες πληροφορικής και επικοινωνιών, πληροφοριακά συστήματα, κοινωνικές διαστάσεις της πληροφορικής. Τόμος 2ος" }