Author of the publication

Stable Classes and Operator Pairs for Disjunctive Programs.

. LPNMR, volume 928 of Lecture Notes in Computer Science, page 358-371. Springer, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Autoepistemic Expansions with Incomplete Belief Introspection.. Nonmonotonic and Inductive Logic, volume 543 of Lecture Notes in Computer Science, page 223-232. Springer, (1990)Disjunctive Rules, Maybe Tuples and Null Values: Logic Programs with Incomplete Information.. ADBIS, page 84-92. Moscow Egineering Physical Institute (Technical University), (1996)Stable Classes and Operator Pairs for Disjunctive Programs.. LPNMR, volume 928 of Lecture Notes in Computer Science, page 358-371. Springer, (1995)Well-Founded Approximations of Autoepistemic Logic.. EPIA, volume 727 of Lecture Notes in Computer Science, page 198-212. Springer, (1993)Text-Retrieval mit einem relationalen Datenbank-Management-System.. Inform. Forsch. Entwickl., 14 (1): 36-45 (1999)Ein einheitlicher Rahmen für die Behandlung der Negation in logischen Programmen.. WLP, page 51-54. (1993)Structuring techniques for knowledge-based planning systems in environmental impact assessment., and . Expert Planning Systems, page 257-. AAAI, (1990)From Above and from Below: Approximating Stable Models.. GI Jahrestagung, page 61-68. Springer, (1994)Weak Autoepistemic Reasoning and Well-Founded Semantics.. ECAI Workshop on Knowledge Representation and Reasoning, volume 810 of Lecture Notes in Computer Science, page 179-199. Springer, (1992)