3440 search results - page 475 / 688 » Logics For Context-Free Languages |
193
click to vote
CAISE
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
173
click to vote
ECAI
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
152
click to vote
GPCE
2004
Springer
16 years 17 days ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...
184
click to vote
ICCS
2004
Springer
16 years 17 days ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
175
click to vote
PEPM
2004
ACM
16 years 16 days ago
2004
ACM
We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to ident...