The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Wlodzimierz Drabent Wlodek Drabent ( http://dblp.L3S.de/Authors/Wlodzimierz_Drabent )

Publication years (Num. hits)
1985-1996 (16) 1997-2005 (18) 2006-2012 (15) 2014-2019 (11)
Publication types (Num. hits)
article(26) incollection(1) inproceedings(33)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 61 publication records. Showing 60 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Wlodzimierz Drabent The Prolog debugger and declarative programming. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Wlodzimierz Drabent On correctness of an n queens program. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Wlodzimierz Drabent Logic + control: On program construction and verification. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent Proving completeness of logic programs with the cut. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent Correctness and Completeness of Logic Programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent Proving completeness of logic programs with the cut. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Wlodzimierz Drabent On definite program answers and least Herbrand models. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent On definite program answers and least Herbrand models. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Wlodzimierz Drabent Correctness and completeness of logic programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Wlodzimierz Drabent On completeness of logic programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Wlodzimierz Drabent On Completeness of Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Suman Roy 0001, Wlodek Drabent Formalizing Business Process Using Hybrid Programs. Search on Bibsonomy OWLED The full citation details ... 2012 DBLP  BibTeX  RDF
1Wlodzimierz Drabent A simple correctness proof for magic transformation. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent Logic + control: An example. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent Logic + control: An example of program construction Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Wlodzimierz Drabent, Jan Maluszynski Hybrid rules with well-founded semantics. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent A Simple Correctness Proof for Magic Transformation Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Wlodzimierz Drabent Hybrid Reasoning with Non-monotonic Rules. Search on Bibsonomy Reasoning Web The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent, Jan Maluszynski Hybrid Rules with Well-Founded Semantics Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski Hybrid Reasoning with Rules and Ontologies. Search on Bibsonomy REWERSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. Search on Bibsonomy ALPSWS The full citation details ... 2007 DBLP  BibTeX  RDF
1Wlodzimierz Drabent, Artur Wilk Extending XML Query Language Xcerpt by Ontology Queries. Search on Bibsonomy Web Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent, Jan Maluszynski Well-Founded Semantics for Hybrid Rules. Search on Bibsonomy RR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. Search on Bibsonomy RR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Artur Wilk, Wlodzimierz Drabent A Prototype of a Descriptive Type System for Xcerpt. Search on Bibsonomy PPSWR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent Towards More Precise Typing Rules for. Search on Bibsonomy PPSWR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent, Miroslawa Milkowska Proving Correctness and Completeness of Normal Programs - a Declarative Approach Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Wlodzimierz Drabent, Miroslawa Milkowska Proving correctness and completeness of normal programs - a declarative approach. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk Descriptive Typing Rules for Xcerpt. Search on Bibsonomy PPSWR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent Towards Types for Web Rule Languages. Search on Bibsonomy Reasoning Web The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1François Bry, Wlodzimierz Drabent, Jan Maluszynski On Subtyping of Tree-Structured Data: A Polynomial Approach. Search on Bibsonomy PPSWR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Artur Wilk, Wlodzimierz Drabent On Types for XML Query Language Xcerpt. Search on Bibsonomy PPSWR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak Using parametric set constraints for locating errors in CLP programs Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak Using parametric set constraints for locating errors in CLP programs. Search on Bibsonomy TPLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent, Miroslawa Milkowska Proving Correctness and Completeness of Normal Programs - A Declarative Approach. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak Parametric Descriptive Types for CLP. Search on Bibsonomy JFPLC The full citation details ... 2001 DBLP  BibTeX  RDF
1Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak Locating Type Errors in Untyped CLP Programs. Search on Bibsonomy Analysis and Visualization Tools for Constraint Programming The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak Type-based Diagnosis of CLP Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak Diagnosis of CHIP Programs Using Type Information. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Wlodzimierz Drabent It Is Declarative. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Wlodzimierz Drabent, Pawel Pietrzak Type Analysis for CHIP. Search on Bibsonomy AMAST The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte 0001 Tools and Environments for (Constraint) Logic Programming (Workshop Overview). Search on Bibsonomy ILPS The full citation details ... 1997 DBLP  BibTeX  RDF
1Johan Boye, Wlodzimierz Drabent, Jan Maluszynski Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Francisco 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. Search on Bibsonomy AADEBUG The full citation details ... 1997 DBLP  BibTeX  RDF
1Wlodzimierz Drabent Completeness of SLDNF-Resolution for Nonfloundering Queries. Search on Bibsonomy J. Log. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Wlodzimierz Drabent On Quantified Negatives Queries. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1996 DBLP  BibTeX  RDF
1Alessandra Di Pierro, Wlodzimierz Drabent On Negation As Instantiation. Search on Bibsonomy ALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent What is Failure? An Approach to Constructive Negation. Search on Bibsonomy Acta Inf. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent Completeness of SLDNF-Resolution for Non-Floundering Queries. Search on Bibsonomy ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
1Wlodzimierz Drabent SLS-Resolution without Floundering. Search on Bibsonomy LPNMR The full citation details ... 1993 DBLP  BibTeX  RDF
1Krzysztof Kuchcinski, Wlodzimierz Drabent, Jan Maluszynski Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent What is Failure? Or: Constructive Negation by Fail Answers. Search on Bibsonomy ICCI The full citation details ... 1992 DBLP  BibTeX  RDF
1Wlodzimierz Drabent, Maurizio Martelli Strict Completion of Logic Programs. Search on Bibsonomy New Generation Comput. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent, Jan Maluszynski Inductive Assertion Method for Logic Programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski Algorithmic Debugging with Assertions. Search on Bibsonomy META The full citation details ... 1988 DBLP  BibTeX  RDF
1Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski The Use of Assertions in Algorithmic Debugging. Search on Bibsonomy FGCS The full citation details ... 1988 DBLP  BibTeX  RDF
1Wlodzimierz Drabent Do Logic Programs Resemble Programs in Conventional Languages? Search on Bibsonomy SLP The full citation details ... 1987 DBLP  BibTeX  RDF
1Wlodzimierz Drabent, Jan Maluszynski Inductive Assertion Method for Logic Programs. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Piotr Rudnicki, Wlodzimierz Drabent Erratum: Proving Properties of Pascal Programs in MIZAR 2. Search on Bibsonomy Acta Inf. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Piotr Rudnicki, Wlodzimierz Drabent Proving Properties of Pascal Programs in MIZAR 2. Search on Bibsonomy Acta Inf. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #60 of 60 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license