5378 search results - page 319 / 1076 » Base Logics in Argumentation |
200
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
-- We present a new heuristic algorithm for hazard-free minimization of two-level logic. On nearly all examples, the algorithm finds an exactly minimum-cost cover. It also solves s...
263
click to vote
ICCBR
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...
175
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...
174
click to vote
CSREAESA
2003
15 years 8 months ago
2003
In this paper we address the problem of minimization of power consumption in combinational circuits by minimizing the number of switching transitions at the output nodes of each g...
154
click to vote
FLAIRS
2003
15 years 8 months ago
2003
Recently, a hierarchy of spatio-temporal languages based on the propositional temporal logic PTL and the spatial languages RCC-8, BRCC-8 and S4u has been introduced. Although a nu...