Sciweavers

719 search results - page 31 / 144
» An Inference Model for Semantic Entailment in Natural Langua...
Sort
View
DLOG
2003
13 years 9 months ago
Description Logic Systems
The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...
Ralf Möller, Volker Haarslev
JUCS
2008
172views more  JUCS 2008»
13 years 7 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
UAI
2008
13 years 9 months ago
Church: a language for generative models
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...
Noah Goodman, Vikash K. Mansinghka, Daniel M. Roy,...
ESOP
2005
Springer
14 years 1 months ago
Java Jr: Fully Abstract Trace Semantics for a Core Java Language
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
Alan Jeffrey, Julian Rathke
AAAI
2007
13 years 10 months ago
Learning Language Semantics from Ambiguous Supervision
This paper presents a method for learning a semantic parser from ambiguous supervision. Training data consists of natural language sentences annotated with multiple potential mean...
Rohit J. Kate, Raymond J. Mooney