Publications for Wlodzimierz Drabent
Co-author map based on ISI articles 2007-

Keywords

xml xcerpt web subtyping specifications semantics schema rules rule reasoning query prototype programs ontology logic hybrid extension declarative correctness clp

Journal Articles

Wlodzimierz Drabent
  A simple correctness proof for magic transformation
  Theory and Practice of Logic Programming, 2012, 12(6), 929-936.
   Fulltext  PDF  

Wlodzimierz Drabent and Jan Maluszynski
  Hybrid Rules with Well-Founded Semantics
  Knowledge and Information Systems, 2010, 25(1), 137-168.
   Fulltext  PDF  
 Web of Science® Times Cited: 1

Wlodzimierz Drabent and M. Milkowska
  Proving correctness and completeness of normal programs - A declarative approach
  Theory and Practice of Logic Programming, 2005, 5(6), 669-711.
 Web of Science® Times Cited: 2

Wlodzimierz Drabent, Jan Maluszynski and Pawel Pietrzak
  Using parametric set constraints for locating errors in CLP programs
  Theory and Practice of Logic Programming, 2002, 2(4-5), 549-610.
 Web of Science® Times Cited: 4

Wlodzimierz Drabent, Jan Maluszynski and Pawel Pietrzak
  Type-based diagnosis of CLP programs
  Electronical Notes in Theoretical Computer Science, 2000, 30(4), 215-234.

Chapters in Books

Wlodzimierz Drabent
  Hybrid Reasoning with Non-Monotonic Rules
  Reasoning Web. Semantic Technologies for Software Engineering, Springer Berlin/Heidelberg, 2010, 28-61.


Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz and Jan Maluszynski
  Hybrid Reasoning with Rules and Ontologies
  Semantic Techniques for the Web, The REWERSE Perspective, pringer, 2009, 1-49.


Wlodzimierz Drabent, Jakob Henriksson and Jan Maluszynski
  Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics
  Web Reasoning and Rule Systems: First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings, Springer Berlin/Heidelberg, 2007, 348-357.


Wlodzimierz Drabent and Jan Maluszynski
  Well-Founded Semantics for Hybrid Rules
  Web Reasoning and Rule Systems: First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings, Springer Berlin/Heidelberg, 2007, 1-15.


Artur Wilk and Wlodzimierz Drabent
  A prototype of a descriptive type system for Xcerpt
  Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers, Springer Berlin/Heidelberg, 2006, 262-275.


Wlodzimierz Drabent
  Towards types for web rule languages
  Reasoning Web: First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures, Springer Berlin/Heidelberg, 2005, 305-317.


Wlodzimierz Drabent
  Towards Types for Web Rule Languages
  Reasoning Web: First International Summer School 2005, Msida, Malta, Tutorial Lectures, Springer, 2005, 305-317.


Francois Bry, Wlodzimierz Drabent and Jan Maluszynski
  On subtyping of tree-structured data: A polynomial approach
  Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings, Springer, 2004, 1-18.


Artur Wilk and Wlodzimierz Drabent
  On types for XML query language Xcerpt
  Principles and Practice of Semantic Web Reasoning: International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003. Proceedings, Springer Berlin/Heidelberg, 2003, 128-145.


Wlodzimierz Drabent, Jan Maluszynski and Pawel Pietrzak
  Locating type errors in untyped CLP programs
  Analysis and Visualization Tools for Constraint Programming: Constraint Debugging, Springer Berlin/Heidelberg, 2000, 121-150.


Conference Articles

Wlodzimierz Drabent
  Logic + Control: An Example
  Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), 2012.


Wlodzimierz Drabent and Artur Wilk
  Extending XML Query Language Xcerpt by Ontology Queries
  Proceedings of IEEE / WIC / ACM International Conference on Web Intelligence (WI 2007), Silicon Valley, USA, 2007.


 Web of Science® Times Cited: 1

Wlodzimierz Drabent
  Towards more precise typing rules for Xcerpt
  Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR06, LNCS 4187,2006, 2006.


 Web of Science® Times Cited: 1

Wlodzimierz Drabent and Artur Wilk
  Combining XML querying with ontology reasoning: Xcerpt and DIG
  Online Proceedings of RuleMLWorkshop: Ontology and Rule Integration, Athens, Georgia, USA, 2006.


Artur Wilk and Włodzimierz Drabent
  A prototype of a descriptive type system for Xcerpt
  Proceedings of the Fourth Workshop on Principles and Practice of Semantic Web Reasoning. Budva, Montenegro, 2006.


Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent and Artur Wilk
  Descriptive typing rules for Xcerpt
  Proceedings of the Third Workshop on Principles and Practice of Semantic Web Reasoning. Dagstuhl, Germany, 2005.


 Web of Science® Times Cited: 4

Francois Bry, Wlodzimierz Drabent and Jan Maluszynski
  On Subtyping of Tree-Structured Data:  A Polynomial Approach
  Principles and Practice of Semantic Web Reasoning, Second International Workshop, PPSWR 2004, St. Malo, France, 2004.


Artur Wilk and Wlodzimierz Drabent
  On Types for XML Query Language Xcerpt
  Principles and Practice of Semantic Web Reasoning, International                Workshop, PPSWR 2003, Mumbai, India, 2003.


Artur Wilk and Wlodzimierz Drabent
  On types for XML query language Xcerpt
  Proceedings of the First Workshop on Principles and Practice of Semantic Web Reasoning. Mumbai, India, 2003.


 Web of Science® Times Cited: 5

Ph.D. Theses

Artur Wilk
  Types for XML with Application to Xcerpt
  2008.


  Fulltext PDF

Reports

Emmanuel Coquery, Wlodzimierz Drabent, François Fages, Claude Kirchner, Anderson Santana de Oliveira and Artur Wilk
  Prototype typing tools for REWERSE languages
  REWERSE-DEL, 2006-I3-D6, 2006.