Browsing by Author ANTONIOU, G

Showing results 1 to 6 of 6
Issue DateTitleAuthor(s)
1993COMPUTING EXTENSIONS OF DEFAULT LOGIC - PRELIMINARY-REPORTANTONIOU, G; LANGETEPE, E; SPERSCHNEIDER, V
1994MODULARITY AND CORRECTNESS FOR LOGIC PROGRAMS AND KNOWLEDGE BASESANTONIOU, G
1995ON THE VERIFICATION OF MODULAR LOGICAL KNOWLEDGE BASESANTONIOU, G; SPERSCHNEIDER, V
1990ON THE VERIFICATION OF MODULESANTONIOU, G; SPERSCHNEIDER, V
1994OPERATIONAL CONCEPTS OF NONMONOTONIC LOGICS .1. DEFAULT LOGICANTONIOU, G; SPERSCHNEIDER, V
1994STRUCTURING AND MODULES FOR KNOWLEDGE BASES - MOTIVATION FOR A NEW MODELANTONIOU, G; WACHSMUTH, I