840 search results - page 98 / 168 » A low-complexity issue logic |
100
click to vote
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
112
click to vote
FC
2006
Springer
15 years 3 months ago
2006
Springer
Although Instant Messaging (IM) services are now relatively long-standing and very popular as an instant way of communication over the Internet, they have received little attention...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
Although we do not profess to be capable of defining a `roadmap' for the foundations of SE over the next ten years, we can discern some important steps that would be extremel...
128
click to vote
AIIA
1991
Springer
15 years 3 months ago
1991
Springer
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...
107
click to vote
DLOG
2007
15 years 2 months ago
2007
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...