Auflistung: nach Autor Antoniou, Grigoris
1 bis 9 von 9 Treffer
Erscheinungsdatum | Titel | Autor(en) |
---|---|---|
1994 | Applying SLD-Resolution to a Class of Non-Horn Logic Programs | Antoniou, Grigoris; Langetepe, Elmar |
1992 | Logical Approaches to Structured Knowledge Bases | Antoniou, Grigoris |
1993 | Modularity for Logic Programs | Antoniou, Grigoris; Sperschneider, Volker |
1992 | Modularity for logical knowledge bases | Antoniou, Grigoris |
1994 | New proofs in default logic theory | Antoniou, Grigoris; Langetepe, Elmar; Sperschneider, Volker |
1993 | On the Verification of Modular Logical Knowledge Bases | Antoniou, Grigoris; Sperschneider, Volker |
1994 | Soundness and completeness of a logic programming approach to default logic | Antoniou, Grigoris; Langetepe, Elmar |
1993 | Structuring and modules for knowledge bases: Motivation for a new model | Antoniou, Grigoris; Wachsmuth, Ipke |
1994 | The verification of modules | Antoniou, Grigoris |