-
1
-
-
84942853033
-
Making belief revision with LUPS
-
Juan Humberto Sossa Azuela and Gustavo Arroyo Figueroa, editors
-
Acosta, J.C.; Arrazola, J. and Osorio, M. "Making belief revision with LUPS". Juan Humberto Sossa Azuela and Gustavo Arroyo Figueroa, editors, XI International Conference on Computing, CICIPN. México, D.F., November 2002.
-
XI International Conference on Computing, CICIPN. México, D.F., November 2002
-
-
Acosta, J.C.1
Arrazola, J.2
Osorio, M.3
-
2
-
-
0030282267
-
Belief Revision in Non-Monotonic Reasoning and Logic Programming
-
November
-
Alferes, J. J.; Pereira, L. M. and Przymusinski, T. C.. "Belief Revision in Non-Monotonic Reasoning and Logic Programming", Fundamenta Informaticae 28 (1-2), November 1996, pp 1-22.
-
(1996)
Fundamenta Informaticae
, vol.28
, Issue.1-2
, pp. 1-22
-
-
Alferes, J.J.1
Pereira, L.M.2
Przymusinski, T.C.3
-
3
-
-
1242321842
-
LUPS - A language for updating logic programs
-
Alferes, J. J.; Pereira, L. M.; Przymusinska, H. Przymusinski, T. C. "LUPS - a language for updating logic programs". Artificial Intelligence 138 (1-2), 2002.
-
(2002)
Artificial Intelligence
, vol.138
, Issue.1-2
-
-
Alferes, J.J.1
Pereira, L.M.2
Przymusinska, H.3
Przymusinski, T.C.4
-
4
-
-
84943273235
-
Intelligent Agents Supporting the Social Construction of Knowledge in a Lifelong Learning Enviroment
-
Ayala, G. "Intelligent Agents Supporting the Social Construction of Knowledge in a Lifelong Learning Enviroment", Proceeding of the International Workshop on New Technologies for Collaborative Learning NTCL 2000, November, Hyogo, Japan, 2000. pp. 79-88.
-
Proceeding of the International Workshop on New Technologies for Collaborative Learning NTCL 2000, November, Hyogo, Japan, 2000
, pp. 79-88
-
-
Ayala, G.1
-
5
-
-
84949963498
-
Learner Models for Supporting Awareness and Collaboration in a CSCL Environment
-
Intelligent Tutoring Systems, Claude Frasson, Gilles Gauthier and Alan Lesgold (Eds.), Springer Verlag
-
Ayala, G.; Yano, Y. "Learner Models for Supporting Awareness and Collaboration in a CSCL Environment."Intelligent Tutoring Systems, Claude Frasson, Gilles Gauthier and Alan Lesgold (Eds.), Lecture Notes in Computer Science 1086, Springer Verlag 1996, pp: 158-167.
-
(1996)
Lecture Notes in Computer Science
, vol.1086
, pp. 158-167
-
-
Ayala, G.1
Yano, Y.2
-
6
-
-
19244381332
-
Logic Programming and Knowledge Representation
-
Baral, C. and Gelfond, M. "Logic Programming and Knowledge Representation." Journal of Logic Programming 19, 20: 73-148. 1994.
-
(1994)
Journal of Logic Programming
, vol.19
, Issue.20
, pp. 73-148
-
-
Baral, C.1
Gelfond, M.2
-
7
-
-
0342344655
-
Preferred answer sets for extended logic programs
-
Cohn, A. G., Schubert, L. K., &Shapiro, S. C. (Eds.), Trento, Italy. Morgan Kaufmann Publishers
-
Brewka, G., & Eiter, T. "Preferred answer sets for extended logic programs". In Cohn, A. G., Schubert, L. K., &Shapiro, S. C. (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR '98), pp. 86-97 Trento, Italy. Morgan Kaufmann Publishers. 1998. http://citeseer.nj.nec.com/article/ brewka99preferred.html
-
(1998)
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR '98)
, pp. 86-97
-
-
Brewka, G.1
Eiter, T.2
-
8
-
-
84965520752
-
Situated cognition and the culture of learning
-
Brown, J. S., Collins, A. and Duguid, P Situated cognition and the culture of learning. Educ. Researcher 18 (1) 32-42. 1989.
-
(1989)
Educ. Researcher
, vol.18
, Issue.1
, pp. 32-42
-
-
Brown, J.S.1
Collins, A.2
Duguid, P.3
-
9
-
-
0001790660
-
Vygotsky: A Historical and Conceptual Perspective
-
J.V. Wertsch ed., Cambridge, U.K., Cambridge University Press
-
Bruner, J. "Vygotsky: a Historical and Conceptual Perspective." Culture, Communication, and Cognition: Vygotskian perspectives, J.V. Wertsch ed., Cambridge, U.K., Cambridge University Press. 1985.
-
(1985)
Culture, Communication, and Cognition: Vygotskian Perspectives
-
-
Bruner, J.1
-
10
-
-
84916511339
-
A classification-theory of semantics of normal logic programs: I. Strong Properties
-
Dix, J. A classification-theory of semantics of normal logic programs: I. Strong Properties. In Fundamenta Informaticae. 1994.
-
(1994)
Fundamenta Informaticae
-
-
Dix, J.1
-
11
-
-
77951505493
-
Classical Negation in Logic Programs and Disjunctive Databases
-
Gelfond, M. and Lifschitz, V., "Classical Negation in Logic Programs and Disjunctive Databases", New Generation Computing 9(34). 1991. pp. 365-385. http://citeseer.nj.nec.com/gelfond91classical.html
-
(1991)
New Generation Computing
, vol.9
, Issue.3-4
, pp. 365-385
-
-
Gelfond, M.1
Lifschitz, V.2
-
13
-
-
84867837127
-
Reasoning with Prioritized Defaults
-
Selected Papers presented at the Workshop on Logic Programming and Knowledge Representation (LPKR '97), Port Jefferson, Springer
-
Gelfond, M. and Son, T. "Reasoning with Prioritized Defaults". Selected Papers presented at the Workshop on Logic Programming and Knowledge Representation (LPKR '97), Port Jefferson,LNAI 1471 .Springer, 1998. pp. 164-223. http://citeseer.nj.nec.com/gelfond98reasoning.html
-
(1998)
LNAI
, vol.1471
, pp. 164-223
-
-
Gelfond, M.1
Son, T.2
-
14
-
-
0018343586
-
The genetic graph: A representation for the evolution of procedural knowledge
-
Goldstein, I. P. "The genetic graph: A representation for the evolution of procedural knowledge". International Journal of Man-Machine Studies, 11, 1979. pp. 51-77.
-
(1979)
International Journal of Man-Machine Studies
, vol.11
, pp. 51-77
-
-
Goldstein, I.P.1
-
15
-
-
0000699514
-
The role of abduction in logic programming
-
Oxford University Press
-
Kakas, A. C., Kowalski, R. A. and Toni, F.: "The role of abduction in logic programming", Handbook of logic in Artificial Intelligence and Logic Programming 5, Oxford University Press, 1998. pp. 235-324. http://citeseer.nj.nec.com/kakas98role.html
-
(1998)
Handbook of Logic in Artificial Intelligence and Logic Programming
, vol.5
, pp. 235-324
-
-
Kakas, A.C.1
Kowalski, R.A.2
Toni, F.3
-
16
-
-
79956323113
-
MINERVA - A Dynamic Logic Programming Agent Architecture
-
J. J. Meyer and M. Tambe (eds.), Intelligent Agents VIII. Springer-Verlag
-
Leite, J. A.; Alferes, J. J.; Pereira, L. M. "MINERVA - A Dynamic Logic Programming Agent Architecture", In J. J. Meyer and M. Tambe (eds.), Intelligent Agents VIII. Springer-Verlag, LNAI 2333, 2002. pp. 141-157
-
(2002)
LNAI
, vol.2333
, pp. 141-157
-
-
Leite, J.A.1
Alferes, J.J.2
Pereira, L.M.3
-
17
-
-
22944463475
-
The DLV System
-
Giovambattista Ianni and Sergio Flesca, editors, Proceedings of the 8th European Conference on Artificial Intelligence (JELIA), September
-
Leone, N.; Pfeifer, G.; Faber, W.; Calimeri, F.; Dell'Armi, T.; Eiter, T.; Gottlob, G.; Ianni, G.; Ielpa, G.; Koch, C.; Perri, S. and Polleres, A. "The DLV System". In Giovambattista Ianni and Sergio Flesca, editors, Proceedings of the 8th European Conference on Artificial Intelligence (JELIA), no. 2424. Lecture Notes in Computer Science, September 2002.
-
(2002)
Lecture Notes in Computer Science
, Issue.2424
-
-
Leone, N.1
Pfeifer, G.2
Faber, W.3
Calimeri, F.4
Dell'Armi, T.5
Eiter, T.6
Gottlob, G.7
Ianni, G.8
Ielpa, G.9
Koch, C.10
Perri, S.11
Polleres, A.12
-
19
-
-
0001775594
-
Stable models and an alternative logic programming paradigm
-
Springer-Verlag
-
Marek, W. and Truszczynski, M. "Stable models and an alternative logic programming paradigm". The Logic Programming Paradigm: a 25-Year Perspective, Springer-Verlag, 1999. pp. 375-398. http://citeseer.nj.nec.com/article/marek99stable.html
-
(1999)
The Logic Programming Paradigm: A 25-Year Perspective
, pp. 375-398
-
-
Marek, W.1
Truszczynski, M.2
-
26
-
-
0343214649
-
-
Tech. Report Lancaster University
-
Self, J. Formal approaches to learner modeling. Tech. Report AI-59, Lancaster University. 1991. http://citeseer.nj.nec.com/self94formal.html
-
(1991)
Formal Approaches to Learner Modeling
-
-
Self, J.1
-
27
-
-
0016264378
-
Judgment under uncertainty: Heuristics and biases
-
Tversky, A. and Kahneman, D. "Judgment under uncertainty: Heuristics and biases". Science 185, 1974. pp. 1124-1131.
-
(1974)
Science
, vol.185
, pp. 1124-1131
-
-
Tversky, A.1
Kahneman, D.2
|