3119 search results - page 190 / 624 » General Default Logic |
140
click to vote
KI
2006
Springer
15 years 5 months ago
2006
Springer
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...
128
click to vote
APAL
2005
15 years 5 months ago
2005
Abstract. We prove that a finitely generated group is context-free whenever its Cayleygraph has a decidable monadic second-order theory. Hence, by the seminal work of Muller and Sc...
180
click to vote
JAIR
2007
15 years 5 months ago
2007
We report on a successful experiment of computeraided theorem discovery in the area of logic programming with answer set semantics. Specifically, with the help of computers, we d...
169
click to vote
DLOG
2009
15 years 3 months ago
2009
Abstract. I will begin by explaining an optimal tableau-based algorithm for checking ALC-satisfiability which uses "global caching" and which appears to work well in prac...
145
click to vote
KBSE
2006
IEEE
15 years 11 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...