3844 search results - page 409 / 769 » Modular interpreted systems |
144
Voted
SBIA
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents Darwinci, a system that generates new ideas, using a multi-domain knowledge base composed by musical and drawing structures. Its theoretical background comes fr...
192
click to vote
ATAL
1997
Springer
15 years 10 months ago
1997
Springer
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
165
click to vote
ICIAP
1997
ACM
15 years 10 months ago
1997
ACM
The European Concerted Action \COMPARES" (Concerted Action on COnnectionist Methods for Preprocessing and Analysis of REmote Sensing Data) was funded within the Environment an...
159
click to vote
CADE
1992
Springer
15 years 10 months ago
1992
Springer
In the "little theories" version of the axiomatic method, different portions of mathematics are developed in various different formal axiomatic theories. Axiomatic theor...
170
click to vote
DEXA
2000
Springer
15 years 9 months ago
2000
Springer
This paper is mainly concerned with the extension of database management systems querying capabilities, so that users may address queries involving preferences and get discriminate...