150 search results - page 14 / 30 » Complexity of the Unique Extension Problem in Default Logic |
84
Voted
FORMATS
2008
Springer
14 years 11 months ago
2008
Springer
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
SIGMOD
1999
ACM
15 years 1 months ago
1999
ACM
The design of webbases, database systems for supporting Webbased applications, is currently an active area of research. In this paper, we propose a 3-layer architecture for design...
107
Voted
TPLP
2002
14 years 9 months ago
2002
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
LICS
2008
IEEE
15 years 3 months ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
109
Voted
GPCE
2009
Springer
15 years 22 days ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...