3624 search results - page 246 / 725 » Abstract Algebraic Logic |
206
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We define a translation of aggregate programs to normal logic programs which preserves the set of partial stable models. We then define the classes of definite and str...
166
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...
123
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Abstract-- A complementary ferroelectriccapacitor (CFC) logic-circuit style is proposed for a compact and standby-power-free content-addressable memory (CAM). Since the use of the ...
151
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The paper features MAVE, a knowledge-based system for answer validation through deep linguistic processing and logical inference. A relaxation loop is used to determine a...
151
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An ...