Sciweavers

5378 search results - page 185 / 1076
» Base Logics in Argumentation
Sort
View
ENGL
2008
100views more  ENGL 2008»
15 years 6 months ago
HIDE+: A Logic Based Hardware Development Environment
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
Abdsamad Benkrid, Khaled Benkrid
ENTCS
2008
74views more  ENTCS 2008»
15 years 6 months ago
An RDF Query Language based on Logic Programming
Jesús Manuel Almendros-Jiménez
APAL
2006
44views more  APAL 2006»
15 years 6 months ago
Periodicity based decidable classes in a first order timed logic
Danièle Beauquier, Anatol Slissenko