233 search results - page 3 / 47 » Intelligent compilers |
CP
2006
Springer
15 years 1 months ago
2006
Springer
61
Voted
AAAI
2008
14 years 12 months ago
2008
Compilation is an important approach to a range of inference problems, since it enables linear-time inference in the size S of the compiled representation. However, the main drawb...
FLAIRS
2008
14 years 12 months ago
2008
Handling exceptions represents one of the most important problems in Artificial Intelligence. Several approaches have been proposed for reasoning on default theories. This paper f...
MOZ
2004
Springer
15 years 2 months ago
2004
Springer
1) the Warren’s Abstract Machine and (2) constraints on finite set.
139
click to vote
JELIA
2010
Springer
14 years 8 months ago
2010
Springer
Action languages allow for compactly describing dynamic domains. They are usually implemented by compilation, e.g., to Answer Set Programming. To this end, we developed a tool, cal...