| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 71 |       | Wlodzimierz Drabent, Jan Maluszynski: Hybrid rules with well-founded semantics. Knowl. Inf. Syst. 25(1): 137-168 (2010) |
| 68 | | Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski: Hybrid Reasoning with Rules and Ontologies. REWERSE 2009: 1-49 |
| 67 | | Wlodzimierz Drabent, Jan Maluszynski: Hybrid Rules with Well-Founded Semantics CoRR abs/0906.3815: (2009) |
| 62 | | Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski: HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. ALPSWS 2007 |
| 61 | | Wlodzimierz Drabent, Jan Maluszynski: Well-Founded Semantics for Hybrid Rules. RR 2007: 1-15 |
| 60 | | Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski: Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. RR 2007: 348-357 |
| 55 | | François Bry, Wlodzimierz Drabent, Jan Maluszynski: On Subtyping of Tree-Structured Data: A Polynomial Approach. PPSWR 2004: 1-18 |
| 45 | | Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Using parametric set constraints for locating errors in CLP programs CoRR cs.PL/0202010: (2002) |
| 44 | | Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Using parametric set constraints for locating errors in CLP programs. TPLP 2(4-5): 549-610 (2002) |
| 43 |  | Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Parametric Descriptive Types for CLP. JFPLC 2001: 239-256 |
| 39 | | Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Locating Type Errors in Untyped CLP Programs. Analysis and Visualization Tools for Constraint Programming 2000: 121-150 |
| 38 | | Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Type-based Diagnosis of CLP Programs. Electr. Notes Theor. Comput. Sci. 30(4): 215-234 (1999) |
| 37 | | Johan Boye, Wlodzimierz Drabent, Jan Maluszynski: Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. AADEBUG 1997: 123-140 |
| 36 | | Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla: On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. AADEBUG 1997: 155-169 |
| 31 | | Krzysztof Kuchcinski, Wlodzimierz Drabent, Jan Maluszynski: Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging. AADEBUG 1993: 350-367 |
| 22 | | Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski: The Use of Assertions in Algorithmic Debugging. FGCS 1988: 573-581 |
| 20 | | Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski: Algorithmic Debugging with Assertions. META 1988: 501-521 |
| 16 | | Wlodzimierz Drabent, Jan Maluszynski: Inductive Assertion Method for Logic Programs. Theor. Comput. Sci. 59: 133-155 (1988) |
| 15 | | Wlodzimierz Drabent, Jan Maluszynski: Inductive Assertion Method for Logic Programs. TAPSOFT, Vol.2 1987: 167-181 |
Selection of 19 from 74 records - Jan Maluszynski has 43 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page