3441 search results - page 129 / 689 » Intelligent Computation of Presentation Documents |
211
click to vote
ASP
2005
Springer
16 years 12 days 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 ...
222
click to vote
ITS
1998
Springer
15 years 11 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...
265
click to vote
AIL
2011
14 years 6 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...
196
click to vote
ATAL
2007
Springer
16 years 1 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...
148
click to vote
ECAL
2005
Springer
16 years 11 days 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...