Search Sciweavers | Sciweavers

3032 search results - page 49 / 607

» Description Logic Rules

click to vote

CADE
2008
Springer

113views Logical Reasoning» more CADE 2008»

MTT: The Maude Termination Tool (System Description)

14 years 10 months ago

Download users.dsic.upv.es

Francisco Durán, Salvador Lucas, José...

claim paper

Read More »

click to vote

ECAI
2010
Springer

242views Artificial Intelligence» more ECAI 2010»

Verifying Properties of Infinite Sequences of Description Logic Actions

13 years 11 months ago

Download lat.inf.tu-dresden.de

The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...

Franz Baader, Hongkai Liu, Anees ul Mehdi

claim paper

Read More »

click to vote

DLOG
2009

97views Automated Reasoning» more DLOG 2009»

What Happened to Bob? Semantic Data Mining of Context Histories

13 years 8 months ago

Download dl.kr.org

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...

Michael Wessel, Marko Luther, Ralf Möller

claim paper

Read More »

click to vote

FUZZIEEE
2007
IEEE

138views Fuzzy Logic» more FUZZIEEE 2007»

An Automatic KANSEI Fuzzy Rule Creating System Using Thesaurus

14 years 4 months ago