3441 search results - page 129 / 689 » Intelligent Computation of Presentation Documents |
169
Voted
ASP
2005
Springer
15 years 10 months ago
2005
Springer
A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its ...
178
Voted
ITS
1998
Springer
15 years 8 months ago
1998
Springer
We define a learning tutor as being an intelligent agent that learns from human tutors and then tutors human learners. The notion of a learning tutor provides a conceptual framewor...
207
Voted
AIL
2011
14 years 4 months ago
2011
Argumentation is the process by which arguments are constructed and handled. Argumentation constitutes a major component of human intelligence. The ability to engage in argumentat...
147
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
121
click to vote
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. An evolutionary system is presented which employs an embryogeny model to evolve phenotypes in the form of layout of cells in specific patterns and shapes. It is shown th...