Sciweavers

719 search results - page 31 / 144
» An Inference Model for Semantic Entailment in Natural Langua...
Sort
View
83
Voted
DLOG
2003
14 years 11 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»
14 years 9 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
14 years 11 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
15 years 3 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
14 years 12 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