Sciweavers

4257 search results - page 72 / 852
» The Logical Modularity of Programs
Sort
View
CEC
2010
IEEE
15 years 5 months ago
An examination on the modularity of grammars in grammatical evolutionary design
Abstract-- This work furthers the understanding of modularity in grammar-based genetic programming approaches by analyzing how different grammars may be capable of producing the sa...
John Mark Swafford, Michael O'Neill
LPNMR
2001
Springer
15 years 9 months ago
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
Thomas Lukasiewicz
DOCENG
2004
ACM
15 years 10 months ago
On modular transformation of structural content
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
Tyng-Ruey Chuang, Jan-Li Lin
ICLP
2001
Springer
15 years 9 months ago
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai...