Sciweavers

48 search results - page 2 / 10
» On Controlled Natural Languages: Properties and Prospects
Sort
View
AUSAI
2008
Springer
14 years 11 months ago
Working for Two: A Bidirectional Grammar for a Controlled Natural Language
This paper introduces the controlled natural language PENG Light together with a language processor that is based on a bidirectional grammar. The language processor has the followi...
Rolf Schwitter
70
Voted
DAGSTUHL
2003
14 years 11 months ago
Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity
Individual functional requirements represent fragments of behavior, while a design that satisfies a set of functional requirements represents integrated behavior. This perspective ...
R. Geoff Dromey
CORR
2007
Springer
122views Education» more  CORR 2007»
14 years 9 months ago
Modeling Epidemic Spread in Synthetic Populations - Virtual Plagues in Massively Multiplayer Online Games
A virtual plague is a process in which a behavior-affecting property spreads among characters in a Massively Multiplayer Online Game (MMOG). The MMOG individuals constitute a synt...
Magnus Boman, Stefan J. Johansson
FQAS
2009
Springer
202views Database» more  FQAS 2009»
15 years 4 months ago
Controlled Aggregate Tree Shaped Questions over Ontologies
Abstract. Controlled languages (CLs) are ambiguity-free subsets of natural languages such as English offering a good trade-off between the formal rigor of ontology and query langua...
Camilo Thorne, Diego Calvanese
TLCA
2001
Springer
15 years 2 months ago
Strong Normalization of Classical Natural Deduction with Disjunction
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...
Philippe de Groote