Sciweavers

127
Voted
DLOG
2008
15 years 8 months ago
The Revival of Structural Subsumption in Tableau-based Reasoners
Ralf Möller, Volker Haarslev, Sebastian Wande...
115
Voted
DLOG
2008
15 years 8 months ago
Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi
Rob Shearer, Boris Motik, Ian Horrocks
DLOG
2008
15 years 8 months ago
Partial and Informative Common Subsumers of Concepts Collections in Description Logics
Least Common Subsumers in Description Logics have shown their usefulness for discovering commonalities among all concepts of a collection. Several applications are nevertheless foc...
Simona Colucci, Eugenio Di Sciascio, Francesco M. ...
ICIA
2007
15 years 8 months ago
Learning Interaction between Conflicting Human Agents and Their Assistants
We build the generic methodology based on machine learning and reasoning to detect the patterns of interaction between conflicting agents, including humans and their assistants. L...
Boris Galitsky, Boris Kovalerchuk
ICIA
2007
15 years 8 months ago
Towel: Towards an Intelligent To-Do List
In this paper we describe Towel, a task management application that couples a user’s to-do list with a software personal assistant. This to-do list provides a unified environmen...
Kenneth Conley, James Carpenter