329 search results - page 42 / 66 » Self: The Power of Simplicity |
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
Permissive-Nominal Logic (PNL) is an extension of firstorder logic where term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such...
135
Voted
ICSE
2012
IEEE-ACM
13 years 2 months ago
2012
IEEE-ACM
—Natural languages like English are rich, complex, and powerful. The highly creative and graceful use of languages like English and Tamil, by masters like Shakespeare and Avvaiya...
107
Voted
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
For future scenarios of power system operations, like the self healing grid vision, system and communications architecture are key. Applications will require unlimited access to a...
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...
97
Voted
CIA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...