Partial and Nested Recursive Function Definitions in Higher-order Logic Alexander Krauss OriginalPaper 09 December 2009 Pages: 303 - 336
Incremental Classification of Description Logics Ontologies Bernardo Cuenca GrauChristian Halaschek-WienerBoontawee Suntisrivaraporn OriginalPaper 12 January 2010 Pages: 337 - 369
\(\boldsymbol {\cal BC\!D\!L}\): Basic Constructive Description Logic Mauro FerrariCamillo FiorentiniGuido Fiorino OriginalPaper 17 December 2009 Pages: 371 - 399
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets Ruzica PiskacLeonardo de MouraNikolaj Bjørner OriginalPaper 22 December 2009 Pages: 401 - 424