1895 search results - page 20 / 379 » Modular Functional Descriptions |
IJON
2010
14 years 9 months ago
2010
DLOG
2007
15 years 1 months ago
2007
We develop a formal framework for modular ontologies by analysing four notions of conservative extensions and their applications in refining, re-using, merging, and segmenting ont...
122
click to vote
ALIFE
2000
14 years 11 months ago
2000
The evolution of simulated robots with three different architectures is studied in this article. We compare a nonmodular feed-forward network, a hardwired modular, and a duplicatio...
ICCS
2001
Springer
15 years 3 months ago
2001
Springer
This paper presents a system for generating user tailored evaluative arguments, known as the Generator of Evaluative Arguments (GEA). GEA design is based on a pipelined architectur...
DLOG
2008
15 years 1 months ago
2008
We show how the reasoning tasks of checking various versions of conservativity for the description logic DL-Litebool can be reduced to satisfiability of quantified Boolean formulas...