42230 search results - page 31 / 8446 » Algorithms and Complexity Results for |
JSAT
2006
13 years 8 months ago
2006
Several propositional fragments have been considered so far as target languages for knowledge compilation and used for improving computational tasks from major AI areas (like infe...
TARK
2005
Springer
14 years 1 months ago
2005
Springer
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
FOSSACS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Some decision problems related to balanced context-free languages are important for their application to the static analysis of programs generating XML strings. One such ...
SOFSEM
2010
Springer
14 years 5 months ago
2010
Springer
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
