Sciweavers

1791 search results - page 68 / 359
» Semantics and Complexity of SPARQL
Sort
View
CSR
2008
Springer
15 years 6 months ago
A Semantic Proof of Polytime Soundness of Light Affine Logic
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...
Ugo Dal Lago, Martin Hofmann
120
Voted
ACL
1998
15 years 5 months ago
Syntactic and Semantic Transfer with F-Structures
We present two approaches for syntactic and semantic transfer based on LFG f-structures and compare the results with existing co-description and restriction operator based approac...
Michael Dorna, Anette Frank, Josef van Genabith, M...
ICLP
2009
Springer
16 years 5 months ago
Merging Logic Programs under Answer Set Semantics
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
James P. Delgrande, Torsten Schaub, Hans Tompits, ...
IROS
2009
IEEE
205views Robotics» more  IROS 2009»
15 years 11 months ago
Model-based and learned semantic object labeling in 3D point cloud maps of kitchen environments
Abstract— We report on our experiences regarding the acquisition of hybrid Semantic 3D Object Maps for indoor household environments, in particular kitchens, out of sensed 3D poi...
Radu Bogdan Rusu, Zoltan Csaba Marton, Nico Blodow...
ECAI
2006
Springer
15 years 8 months ago
Semantic Tree Kernels to Classify Predicate Argument Structures
Recent work on Semantic Role Labeling (SRL) has shown that syntactic information is critical to detect and extract predicate argument structures. As syntax is expressed by means of...
Alessandro Moschitti, Bonaventura Coppola, Daniele...