BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Poland
1 × Spain
1 × USA
2 × Canada
3 × Italy
Collaborated with:
R.Möller A.Shaban-Nejad J.Rilling Y.Zhang R.Witte R.Sebastiani M.Vescovi A.Turhan M.Wessel C.Lutz W.J.Meng P.Charland
Talks about:
descript (4) reason (4) logic (3) box (3) approach (2) softwar (2) ontolog (2) express (2) system (2) model (2)

Person: Volker Haarslev

DBLP DBLP: Haarslev:Volker

Contributed to:

CADE 20112011
ITiCSE 20082008
ateM 20062006
IET Software, 20082008
KR 20042004
IJCAR 20012001
KR 20002000
KR 19981998
OOPSLA 19901990

Wrote 11 papers:

CADE-2011-HaarslevSV #automation #reasoning #smt
Automated Reasoning in 𝒜ℒ𝒞𝒬 via SMT (VH, RS, MV), pp. 283–298.
ITiCSE-2008-Shaban-NejadH #education #learning #towards
Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education (ASN, VH), p. 375.
ATEM-2006-RillingZMWHC #comprehension #maintenance #ontology #process
A Unified Ontology-Based Process Model for Software Maintenance and Comprehension (JR, YZ, WJM, RW, VH, PC), pp. 56–65.
ATEM-J-2006-ZhangWRH #approach #ontology #semantics #traceability
Ontological approach for the semantic recovery of traceability links between software artefacts (YZ, RW, JR, VH), pp. 185–203.
KR-2004-HaarslevM #documentation #optimisation #owl #rdf
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results (VH, RM), pp. 163–174.
RACER System Description (VH, RM), pp. 701–706.
IJCAR-2001-HaarslevMT #logic #modelling #pseudo #reasoning
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics (VH, RM, AYT), pp. 61–75.
IJCAR-2001-HaarslevMW #approach #logic #motivation
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach (VH, RM, MW), pp. 29–44.
KR-2000-HaarslevM #reasoning #strict #transitive
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles (VH, RM), pp. 273–284.
KR-1998-HaarslevLM #logic #reasoning
Foundations of Spatioterminological Reasoning with Description Logics (VH, CL, RM), pp. 112–123.
OOPSLA-ECOOP-1990-HaarslevM #framework #object-oriented #visualisation
A Framework for Visualizing Object-Oriented Systems (VH, RM), pp. 237–244.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.