2022 search results - page 86 / 405 » Complexity of Non-Monotonic Logics |
104
Voted
JELIA
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
91
Voted
IANDC
2007
15 years 20 days ago
2007
In many cases, the addition of metric operators to qualitative temporal logics (TLs) increases the complexity of satisfiability by at least one exponential: while common qualitat...
229
Voted
ICDE
1996
IEEE
16 years 2 months ago
1996
IEEE
This paper presents a difference calculus for determining changes to rule conditions in an active DBMS. The calculus has been used for implementing an algorithm to efficiently mon...
91
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...
102
Voted
AAAI
2008
15 years 3 months ago
2008
Many real-world problems are characterized by complex relational structure, which can be succinctly represented in firstorder logic. However, many relational inference algorithms ...