Sciweavers

577 search results - page 9 / 116
» The puzzle of language evolution
Sort
View
JOLLI
2008
145views more  JOLLI 2008»
14 years 9 months ago
Temporal Languages for Epistemic Programs
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
Joshua Sack
GRC
2005
IEEE
15 years 3 months ago
An evolution strategy for the induction of fuzzy finite-state automata
: This study presents an evolution strategy used to infer fuzzy finite-state automata from examples of a fuzzy language. We describe the fitness function of an generated automata w...
Zhiwen Mo, Min Wan, Lan Shu
EJC
2008
14 years 11 months ago
Center Fragments for Upscaling and Verification in Database Semantics
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
Roland Hausser
ECAL
2005
Springer
15 years 3 months ago
Grammar Structure and the Dynamics of Language Evolution
The complexity, variation, and change of human languages makes evident the importance of representation and learning in the acquisition and evolution of language. For example, anal...
Yoosook Lee, Travis C. Collier, Gregory M. Kobele,...
SEMCO
2009
IEEE
15 years 4 months ago
Using a Formal Language Constructs for Software Model Evolution
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
Samuel A. Ajila, Shahid Alam