2920 search results - page 233 / 584 » Finite information logic |
163
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
The intellectual property (IP) business model is vulnerable to a number of potentially devastating obstructions, such as misappropriation and intellectual property fraud. We propo...
184
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
201
click to vote
IJCAI
1997
15 years 8 months ago
1997
We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory...
168
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
198
click to vote
NGC
2007
Springer
15 years 6 months ago
2007
Springer
Several constructive description logics,12) in which classical negation was replaced by strong negation as a component to treat negative atomic information have been proposed as in...