3470 search results - page 426 / 694 » Head-Elementary-Set-Free Logic Programs |
180
click to vote
WCRE
2006
IEEE
16 years 20 days ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
143
click to vote
ENC
2005
IEEE
16 years 9 days ago
2005
IEEE
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
206
click to vote
ASP
2005
Springer
16 years 7 days 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”...
165
click to vote
MOZ
2004
Springer
16 years 1 days ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
131
click to vote
FPL
2003
Springer
15 years 12 months ago
2003
Springer
This paper describes a lightweight Field Programmable Gate Array (FPGA) circuit design that supports the simultaneous programming of multiple devices at different locations throug...