On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. F Bueno, P Deransart, W Drabent, G Ferrand, MV Hermenegildo, ... AADEBUG 97, 155-170, 1997 | 136 | 1997 |
Inductive assertion method for logic programs W Drabent, J Małuszyński Theoretical Computer Science 59 (1-2), 133-155, 1988 | 113 | 1988 |
What is failure? An approach to constructive negation W Drabent Acta Informatica 32, 27-59, 1995 | 108 | 1995 |
Algorithmic debugging with assertions W Drabent, S Nadjm-Tehrani, J Maluszyński Meta-programming in logic programming, 501-521, 1989 | 107 | 1989 |
The use of assertions in algorithmic debugging W Drabent Proc. International Conference of fifth generation computer systems, 1988, 1988 | 65 | 1988 |
Do logic programs resemble programs in conventional languages? W Drabent Proceedings of the 1987 Symposium on Logic Programming, San Francisco …, 1987 | 52 | 1987 |
Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. J Boye, W Drabent, J Maluszynski AADEBUG, 123-140, 1997 | 41 | 1997 |
Hybrid reasoning with rules and ontologies W Drabent, T Eiter, G Ianni, T Krennwallner, T Lukasiewicz, J Małuszyński Semantic Techniques for the Web: The REWERSE perspective, 1-49, 2009 | 37 | 2009 |
Proving correctness and completeness of normal programs–a declarative approach W Drabent, M Miłkowska Theory and Practice of Logic Programming 5 (6), 669-711, 2005 | 35* | 2005 |
Strict completion of logic programs W Drabent, M Martelli New Generation Computing 9, 69-79, 1991 | 31 | 1991 |
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. W Drabent, J Henriksson, J Maluszynski ALPSWS 287, 2007 | 30 | 2007 |
Proving correctness and completeness of normal programs–a declarative approach W Drabent, M Miłkowska Theory and Practice of Logic Programming 5 (6), 669-711, 2005 | 30 | 2005 |
Completeness of SLDNF-resolution for nonfloundering queries W Drabent The Journal of logic programming 27 (2), 89-106, 1996 | 30 | 1996 |
Well-founded semantics for hybrid rules W Drabent, J Małuszyński International Conference on Web Reasoning and Rule Systems, 1-15, 2007 | 29 | 2007 |
On types for XML query language Xcerpt A Wilk, W Drabent Principles and Practice of Semantic Web Reasoning: International Workshop …, 2003 | 28 | 2003 |
SLS-resolution without floundering W Drabent | 22 | 1993 |
Descriptive typing rules for Xcerpt S Berger, E Coquery, W Drabent, A Wilk Principles and Practice of Semantic Web Reasoning: Third International …, 2005 | 21 | 2005 |
On subtyping of tree-structured data: A polynomial approach F Bry, W Drabent, J Małuszyński Principles and Practice of Semantic Web Reasoning: Second International …, 2004 | 20 | 2004 |
Inductive assertion method for logic programs W Drabent, J Małuszyński International Joint Conference on Theory and Practice of Software …, 1987 | 20 | 1987 |
J. Ma luszy nski. Declarative diagnosis of constraint programs: an assertion-based approach J Boye, W Drabent Proc. of the 3rd. Int'l Workshop on Automated Debugging {AADEBUG'97, pages …, 1997 | 17 | 1997 |