A Universal Fixpoint Semantics for Ordered Logic.
Comput. Artif. Intell., 2000
A knowledge representation perspective: Logics for paraconsistent reasoning.
Int. J. Intell. Syst., 1994
On the Semantics of Negations in Logic Programming.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993
Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models.
J. Log. Comput., 1992
Logic Programming Semantics Made Easy.
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992
On the Relationship between Well-Founded and Stable Partial Models.
Proceedings of the MFDBS 91, 1991
Credulous vs. Sceptical Semantics for Ordered Logic Programs.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991
The KIWIS Knowledge Base Management System.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Advanced Information Systems Engineering, 1991
A seamless integration of graphics and dialogues within a logic based object-oriented language.
J. Vis. Lang. Comput., 1990
A Fixpoint Semantics for Ordered Logic.
J. Log. Comput., 1990
Advanced knowledge-base environments for large database systems.
Knowl. Based Syst., 1990
Towards a Flexible User Interface for Knowledge Bases.
Proceedings of the 1990 IEEE Workshop on Visual Languages, 1990
Extending Logic Programming.
Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, 1990
The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming.
Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990
A Logical Basis for Object Oriented Programming.
Proceedings of the Logics in AI, European Workshop, 1990
Browsing à la Carte in Object-Oriented Databases.
Comput. J., 1989
A Customizable Window-Interface to Object-Oriented Databases.
Proceedings of the ECOOP '89: Proceedings of the Third European Conference on Object-Oriented Programming, 1989
A Case Study in Object-Oriented Knowledge-Base Design Using the KIWI System.
Proceedings of the First Nordic Conference on Advanced Systems Engineering, 1989
An Overview of OOPS+, An Object-Oriented Database Programming Language.
Proceedings of the ECOOP'88 European Conference on Object-Oriented Programming, 1988