1059 search results - page 147 / 212 » Unification-Based Semantic Interpretation |
125
click to vote
JAIR
2006
15 years 4 months ago
2006
In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl...
165
click to vote
FAC
2007
15 years 4 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
127
click to vote
JANCL
2007
15 years 4 months ago
2007
Logic of proofs LP introduced by S. Artemov in 1995 describes properties of proof predicate “t is a proof of F” in the propositional language extended by atoms of the form [[t...
166
click to vote
NGC
2007
Springer
15 years 4 months ago
2007
Springer
Several constructive description logics,12) in which classical negation was replaced by strong negation as a component to treat negative atomic information have been proposed as in...
140
click to vote
SADM
2008
15 years 4 months ago
2008
: Accurate and efficient video classification demands the fusion of multimodal information and the use of intermediate representations. Combining the two ideas into one framework, ...