2214 search results - page 103 / 443 » Complexity of Reasoning |
142
click to vote
FUIN
2010
15 years 18 days ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
141
click to vote
AI
2007
Springer
15 years 3 months ago
2007
Springer
Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reas...
219
click to vote
ICDE
1997
IEEE
16 years 4 months ago
1997
IEEE
The need to transform data between heterogeneous databases arises from a number of critical tasks in data management. These tasks are complicated by schema evolution in the underl...
109
Voted
DLOG
2006
15 years 4 months ago
2006
We recently proposed action formalisms based on description logics (DLs) as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent C...
131
click to vote
RULEML
2005
Springer
15 years 8 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...