73 search results - page 8 / 15 » Optimizing Conditional Logic Reasoning within CoLoSS |
122
click to vote
DLOG
2007
15 years 2 months ago
2007
In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
CCE
2008
14 years 11 months ago
2008
This paper proposes a new MINLP model for heat exchanger network synthesis that includes streams with phase change. The model considers every possible combination of process strea...
106
click to vote
AAAI
1994
15 years 29 days ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
120
click to vote
TMC
2012
13 years 2 months ago
2012
—We present the boomerang protocol to efficiently retain information at a particular geographic location in a sparse network of highly mobile nodes without using infrastructure ...
102
click to vote
NCA
2007
IEEE
15 years 6 months ago
2007
IEEE
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that such services deal with dynamically changing membership and...