3470 search results - page 511 / 694 » Head-Elementary-Set-Free Logic Programs |
149
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
142
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
135
click to vote
FPGA
2005
ACM
15 years 10 months ago
2005
ACM
We present an automatic logic synthesis method targeted for highperformance asynchronous FPGA (AFPGA) architectures. Our method transforms sequential programs as well as high-leve...
201
click to vote
FAABS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
159
Voted
DATE
1998
IEEE
15 years 8 months ago
1998
IEEE
As the "system-on-a-chip" concept is rapidly becoming a reality, time-to-market and product complexity push the reuse of complex macromodules. Circuits combining a varie...