Valentin's Blog

I thought that only ever publishing accepted papers gives a wrong impression of my work (and probably those of many scientists). So, here: three papers that didn't get published (yet).

The Verification of Rule Bases - this I put together rather hastily for the PING symposium. It tries to describe the software engineering challenges posed by rule languages and how my dissertation addresses them. Didn't work out, apparently it was completely impossible to understand what I wrote. Luckily it was only an extended abstract so I'll just throw it away.

A Semi-Automatic Debugger for Subject Matter Experts (with Anthony Jameson) - well, the title says it all: a semi automatic debugger for F-logic, created for Project Halo. In this case the workshop where we submitted it to, AADEBUG, got canceled - not that many people interested in automated debugging systems these days (will change, these kind of tools really work better with Semantic Web languages than with procedural and object oriented languages). The things described in this paper are still valid and new - I'm still looking for a venue to publish it. Sadly the evaluation is (so far) to weak to have a chance at a decent conference.

Finally an ESWC submission about test driven development of rule bases by domain experts (together with Michael Erdmann and Anthony Jameson). This was a really annoying reject, because a lot of work went into the paper and the reviews where superficial at best. The paper had its limitations and submitting it to ESWC was a longshot, but still ... you didn't get the impression that the reviewers took the time to understand it.

And now, hopefully, the next publication posts only about accepted papers :)

Labels: publication