Sciweavers

177
Voted
AIIDE
2008
15 years 8 months ago
Simulation-Based Story Generation with a Theory of Mind
Emergent narrative refers to simulation-based systems in which stories emerge from the autonomous interactions among character agents and/or the human player. Despite its advantag...
Paul Hsueh-Min Chang, Von-Wun Soo
122
Voted
DLOG
2007
15 years 8 months ago
The Minimal Finite Model Visualization as an Ontology Debugging Tool
We present an new Prot´eg´e plugin for constructing a minimal satisfiability model of an OWL ontology and visualizing it in the original music score notation.
Martins Barinskis, Guntis Barzdins
178
Voted
DLOG
2007
15 years 8 months ago
Deciding ALBO with Tableau
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
Renate A. Schmidt, Dmitry Tishkovsky
AIIDE
2008
15 years 8 months ago
Logical Agents for Language and Action
Game developers are faced with the difficult task of creating non-player characters with convincing behavior. This commonly involves an exhaustive specification of their actions i...
Martin Magnusson, Patrick Doherty
DLOG
2007
15 years 8 months ago
Description Logic vs. Order-Sorted Feature Logic
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...
Hassan Aït-Kaci