Sciweavers

747 search results - page 43 / 150
» Consequence Relations In DRT
Sort
View
MAAMAW
1994
Springer
13 years 12 months ago
What Ants Cannot Do
What is the relation between the complexity of agents and the complexity of the goals that they can achieve? It is argued on the basis of a fundamental conservation of complexity ...
Eric Werner
ISSAC
1989
Springer
74views Mathematics» more  ISSAC 1989»
13 years 11 months ago
Lookup Tables, Recurrences and Complexity
The use of lookup tables can reduce the complexity of calculation of functions defined typically by mathematical recurrence relations. Although this technique has been adopted by...
Richard J. Fateman
JELIA
2000
Springer
13 years 11 months ago
Considerations on Updates of Logic Programs
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
EDM
2008
104views Data Mining» more  EDM 2008»
13 years 9 months ago
Data-driven modelling of students' interactions in an ILE
This paper presents the development of two related machine-learned models which predict (a) whether a student can answer correctly questions in an ILE without requesting help and (...
Manolis Mavrikis
UAI
1993
13 years 9 months ago
Argumentative inference in uncertain and inconsistent knowledge bases
: This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation, taking into account the existen...
Salem Benferhat, Didier Dubois, Henri Prade