Sciweavers

713 search results - page 73 / 143
» Viewcharts: Syntax and Semantics
Sort
View
CORR
2008
Springer
128views Education» more  CORR 2008»
15 years 4 months ago
Reasoning in Abella about Structural Operational Semantics Specifications
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
Andrew Gacek, Dale Miller, Gopalan Nadathur
PPSN
2000
Springer
15 years 7 months ago
Genetic Programming Bloat without Semantics
To investigate the fundamental causes of bloat, six artificial random binary tree search spaces are presented. Fitness is given by program syntax (the genetic programming genotype)...
William B. Langdon, Wolfgang Banzhaf
ACL
2007
15 years 5 months ago
Improving the Interpretation of Noun Phrases with Cross-linguistic Information
This paper addresses the automatic classification of semantic relations in noun phrases based on cross-linguistic evidence from a set of five Romance languages. A set of novel s...
Roxana Girju
DLOG
2006
15 years 5 months ago
Handling Imprecise Knowledge with Fuzzy Description Logic
Fuzzy Description Logics have been proposed in the literature as a way to represent and reason with vague and imprecise knowledge. Their decidability, the empirically tractable an...
Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan
ACL
1994
15 years 5 months ago
Common Topics and Coherent Situations: Interpreting Ellipsis in the Context of Discourse Inference
It is claimed that a variety of facts concerning ellipsis, event reference, and interclausal coherence can be explained by two features of the linguistic form in question: (1) whe...
Andrew Kehler