836 search results - page 127 / 168 » Description logic programs: combining logic programs with de... |
NGC
2006
Springer
14 years 9 months ago
2006
Springer
Abstract This paper presents an application that automatically generates basic stories: short texts that only narrate the main events of the plot. The system operates with a repres...
TOG
2008
14 years 9 months ago
2008
This paper addresses the problem of interactively modeling large street networks. We introduce a modeling framework that uses tensor fields to guide the generation of a street gra...
JTAER
2007
14 years 9 months ago
2007
This article critically appraises business model challenges in implementing remote management functionalities. Remote management is believed to create new service opportunities an...
DLOG
2009
14 years 7 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...
TLCA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...