2012 search results - page 293 / 403 » CORAL - Control, Relations and Logic |
159
click to vote
TIME
2005
IEEE
15 years 12 months ago
2005
IEEE
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...
158
click to vote
KCAP
2005
ACM
15 years 12 months ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
204
click to vote
ASP
2005
Springer
15 years 12 months ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
147
click to vote
FC
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we formulate the concept of policy-based cryptography which makes it possible to perform policy enforcement in large-scale open environments like the Internet, with ...
159
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Instead of having fixed px and pm, this paper presents the use of fuzzy logic to adaptively tune px and pm for optimization of power electronic circuits throughout the process. By...