sign in · help · news · about ·

BibSonomy :: author :: Drabent ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(52)

<< < 1 | 2 | 3 > >>

Proving Correctness and Completeness of Normal Programs - a Declarative Approach
Wlodzimierz Drabent, and Miroslawa Milkowska CoRR (2005)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Simple Correctness Proof for Magic Transformation
Wlodzimierz Drabent CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Hybrid Rules with Well-Founded Semantics
Wlodzimierz Drabent, and Jan Maluszynski CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Using parametric set constraints for locating errors in CLP programs
Wlodzimierz Drabent, Jan Maluszynski, and Pawel Pietrzak CoRR (2002)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Logic + control: An example of program construction
Wlodzimierz Drabent CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Completeness of SLDNF-Resolution for Nonfloundering Queries.
Wlodzimierz Drabent J. Log. Program. 27(2):89-106 (1996)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
Extending XML Query Language Xcerpt by Ontology Queries.
Wlodzimierz Drabent, and Artur Wilk Web Intelligence, page 447-451. IEEE Computer Society, (2007)
to dblp by dblp on Nov 24, 2011, 12:00 AM
URL | BibTeX
Inductive Assertion Method for Logic Programs.
Wlodzimierz Drabent, and Jan Maluszynski Theor. Comput. Sci. (1988)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Hybrid Reasoning with Rules and Ontologies
Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, and Jan Maluszynski Semantic Techniques for the Web: The REWERSE Perspective, chapter 1, (2009)
to ai knowledge ontology paper processing rules semantic springer v1002 web by reynares.e and 2 other users on Aug 9, 2011, 4:33 PM
DOI | BibTeX
On Subtyping of Tree-Structured Data: A Polynomial Approach.
François Bry, Wlodzimierz Drabent, and Jan Maluszynski PPSWR, volume 3208 of Lecture Notes in Computer Science, page 1-18. Springer, (2004)
to dblp by dblp on Aug 4, 2011, 12:00 AM
URL | BibTeX
On Types for XML Query Language Xcerpt.
Artur Wilk, and Wlodzimierz Drabent PPSWR, volume 2901 of Lecture Notes in Computer Science, page 128-145. Springer, (2003)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Proving Correctness and Completeness of Normal Programs - A Declarative Approach.
Wlodzimierz Drabent, and Miroslawa Milkowska ICLP, volume 2237 of Lecture Notes in Computer Science, page 284-299. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Type-based Diagnosis of CLP Programs.
Wlodzimierz Drabent, Jan Maluszynski, and Pawel Pietrzak Electr. Notes Theor. Comput. Sci. 30(4):215-234 (1999)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
Type Analysis for CHIP.
Wlodzimierz Drabent, and Pawel Pietrzak AMAST, volume 1548 of Lecture Notes in Computer Science, page 389-405. Springer, (1998)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Using parametric set constraints for locating errors in CLP programs.
Wlodzimierz Drabent, Jan Maluszynski, and Pawel Pietrzak TPLP 2(4-5):549-610 (2002)
to dblp by dblp and 1 other user on Jun 10, 2011, 12:00 AM
URL | BibTeX
Strict Completion of Logic Programs.
Wlodzimierz Drabent, and Maurizio Martelli New Generation Comput. 9(1):69-80 (1991)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
What is Failure? An Approach to Constructive Negation.
Wlodzimierz Drabent Acta Inf. 32(1):27-29 (1995)
to dblp by dblp on Jan 11, 2011, 12:00 AM
URL | BibTeX
Proving Properties of Pascal Programs in MIZAR 2.
Piotr Rudnicki, and Wlodzimierz Drabent Acta Inf. 22(3):311-331 (1985)
to dblp by dblp on Jan 11, 2011, 12:00 AM
URL | BibTeX
Erratum: Proving Properties of Pascal Programs in MIZAR 2.
Piotr Rudnicki, and Wlodzimierz Drabent Acta Inf. 22(6):699-707 (1986)
to dblp by dblp on Jan 11, 2011, 12:00 AM
URL | BibTeX
Hybrid rules with well-founded semantics.
Wlodzimierz Drabent, and Jan Maluszynski Knowl. Inf. Syst. 25(1):137-168 (2010)
to dblp by dblp on Nov 16, 2010, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper