3773 search results - page 181 / 755 » Logical Reasoning |
139
click to vote
DLOG
2011
14 years 7 months ago
2011
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
153
Voted
LOPSTR
1997
Springer
15 years 8 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
116
click to vote
ADC
2004
Springer
15 years 9 months ago
2004
Springer
Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex appli...
102
click to vote
KI
2008
Springer
15 years 3 months ago
2008
Springer
We describe a method for cascading Description Logic (DL) representation and reasoning on the one hand, and HTN action planning on the other. The planning domain description as wel...
118
click to vote
ECSQARU
1999
Springer
15 years 8 months ago
1999
Springer
Intelligent agents embedded in physical environments need ity to connect, or anchor, the symbols used to perform abstract reasoning to the physical entities which these symbols ref...