Browsing by Author SPERSCHNEIDER, V
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) |
|---|---|---|
| 1993 | COMPUTING EXTENSIONS OF DEFAULT LOGIC - PRELIMINARY-REPORT | ANTONIOU, G; LANGETEPE, E; SPERSCHNEIDER, V |
| 1995 | ON THE VERIFICATION OF MODULAR LOGICAL KNOWLEDGE BASES | ANTONIOU, G; SPERSCHNEIDER, V |
| 1990 | ON THE VERIFICATION OF MODULES | ANTONIOU, G; SPERSCHNEIDER, V |
| 1994 | OPERATIONAL CONCEPTS OF NONMONOTONIC LOGICS .1. DEFAULT LOGIC | ANTONIOU, G; SPERSCHNEIDER, V |