2490 search results - page 163 / 498 » Complexity of Contextual Reasoning |
140
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
In network delivery of digital video, if the bandwidth required for a video is not available, the video has to be recoded at a reduced bit rate. It is highly desirable that the tr...
119
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
169
click to vote
CADE
2001
Springer
16 years 5 months ago
2001
Springer
Abstract. Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming i...
139
click to vote
ESAW
2009
Springer
15 years 11 months ago
2009
Springer
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
155
click to vote
TABLEAUX
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...