Sciweavers

2661 search results - page 204 / 533
» A Semantics for Abstraction
Sort
View
GEOS
2007
Springer
16 years 24 days ago
Algorithm, Implementation and Application of the SIM-DL Similarity Server
Abstract. Semantic similarity measurement gained attention as a methodology for ontology-based information retrieval within GIScience over the last years. Several theories explain ...
Krzysztof Janowicz, Carsten Keßler, Mirco Sc...
CICLING
2008
Springer
15 years 8 months ago
Natural Language as the Basis for Meaning Representation and Inference
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...
Ido Dagan, Roy Bar-Haim, Idan Szpektor, Iddo Green...
ACL
1997
15 years 8 months ago
On Interpreting F-Structures as UDRSs
We describe a method for interpreting abstract fiat syntactic representations, LFG fstructures, as underspecified semantic representations, here Underspecified Discourse Represent...
Josef van Genabith, Richard S. Crouch
JELIA
2010
Springer
15 years 5 months ago
Translating First-Order Causal Theories into Answer Set Programming
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
Vladimir Lifschitz, Fangkai Yang
CADE
2006
Springer
16 years 7 months ago
Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems
Abstract. Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far i...
Adam Koprowski, Hans Zantema