2911 search results - page 320 / 583 » A Logic of Graph Constraints |
186
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in combination with a selection function, can be used to obt...
154
click to vote
VTS
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...
160
click to vote
LPNMR
2005
Springer
16 years 3 days ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...
164
click to vote
RSCTC
2004
Springer
15 years 12 months ago
2004
Springer
We study properties of infomorphisms between information systems. In particular, we interpret infomorphisms between information systems in terms of sums with constraints (constrain...
164
click to vote
JUCS
2007
15 years 6 months ago
2007
: This paper introduces the notion of pedagogical natural deduction systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a ...