2302 search results - page 208 / 461 » Basic Description Logics |
184
click to vote
SPLC
2007
15 years 5 months ago
2007
Feature modeling is a notation and an approach for modeling commonality and variability in product families. In their basic form, feature models contain mandatory/optional feature...
131
click to vote
ISLPED
2005
ACM
15 years 10 months ago
2005
ACM
As FPGAs enter the nanometer regime, several modifications are needed to reduce the increasing leakage power dissipation. Hence, this work presents some modifications to the FPG...
128
click to vote
DEON
2004
Springer
15 years 10 months ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
136
click to vote
ICLP
1993
Springer
15 years 8 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...
166
click to vote
META
1992
15 years 8 months ago
1992
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...