2022 search results - page 87 / 405 » Complexity of Non-Monotonic Logics |
112
Voted
VAMOS
2008
Springer
15 years 2 months ago
2008
Springer
Software Product Lines aim at capturing the variability and commonality of a family of related programs that share a common set of assets. Variation points capture variability on ...
105
Voted
SAS
2010
Springer
14 years 11 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
87
Voted
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...
137
Voted
JAPLL
2010
14 years 11 months ago
2010
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
110
Voted
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming becau...