-
1
-
-
0040085666
-
SLX - A top-down derivation procedure for programs with explicit negation
-
M. Bruynooghe, (Ed.), The MIT Press
-
Alferes, J. J. Damásio, C. V., & Pereira, L. M. (1994). SLX - A top-down derivation procedure for programs with explicit negation. In M. Bruynooghe, (Ed.), Proc. Int. Symp. on Logic Programming. The MIT Press.
-
(1994)
Proc. Int. Symp. on Logic Programming
-
-
Alferes, J.J.1
Damásio, C.V.2
Pereira, L.M.3
-
3
-
-
0032046101
-
"Classical" negation in non-monotonic reasoning and logic programming
-
Alferes, J. J., Pereira, L. M., & Przymusinski, T. C. (1998). "Classical" negation in non-monotonic reasoning and logic programming. Journal of Automated Reasoning, 20, 107-142.
-
(1998)
Journal of Automated Reasoning
, vol.20
, pp. 107-142
-
-
Alferes, J.J.1
Pereira, L.M.2
Przymusinski, T.C.3
-
4
-
-
0039514019
-
Non-monotonic learning
-
S. Muggleton, (Ed.), Academic Press
-
Bain, M. & Muggleton, S. (1992). Non-monotonic learning. In S. Muggleton, (Ed.), Inductive logic programming (pp. 145-161). Academic Press.
-
(1992)
Inductive Logic Programming
, pp. 145-161
-
-
Bain, M.1
Muggleton, S.2
-
5
-
-
19244381332
-
Logic programming and knowledge representation
-
Baral, C. & Gelfond, M. (1994). Logic programming and knowledge representation. Journal of logic programming, 79(20), 73-148.
-
(1994)
Journal of Logic Programming
, vol.79
, Issue.20
, pp. 73-148
-
-
Baral, C.1
Gelfond, M.2
-
7
-
-
0011370634
-
REVISE: An extended logic programming system for revising knowledge bases
-
J. Doyle, E. Sandewall & P. Torasso, (Eds.), Morgan Kaufmann
-
Damásio, C. V., Nejdl, W., & Pereira, L. M. (1994). REVISE: An extended logic programming system for revising knowledge bases. In J. Doyle, E. Sandewall & P. Torasso, (Eds.), Knowledge representation and reasoning (pp. 607-618). Morgan Kaufmann.
-
(1994)
Knowledge Representation and Reasoning
, pp. 607-618
-
-
Damásio, C.V.1
Nejdl, W.2
Pereira, L.M.3
-
8
-
-
4243225137
-
Abduction on 3-valued extended logic programs
-
V. W. Marek, A. Nerode & M. Trusczynski, (Eds.), LNAI Germany: Springer-Verlag
-
Damásio, C. V. & Pereira, L. M. (1997). Abduction on 3-valued extended logic programs. In V. W. Marek, A. Nerode & M. Trusczynski, (Eds.), Logic Programming and Non-Monotonic Reasoning - Proc. of 3rd International Conference LPNMR'95. LNAI (Vol. 925, pp. 29-42). Germany: Springer-Verlag.
-
(1997)
Logic Programming and Non-Monotonic Reasoning - Proc. of 3rd International Conference LPNMR'95
, vol.925
, pp. 29-42
-
-
Damásio, C.V.1
Pereira, L.M.2
-
9
-
-
0004802182
-
A survey on paraconsistent semantics for extended logic programs
-
D. Gabbay & P. Smets, (Eds.), Kluwer Academic Publishers
-
Damásio, C. V & Pereira, L. M. (1998). A survey on paraconsistent semantics for extended logic programs. In D. Gabbay & P. Smets, (Eds.), Handbook of defeasible reasoning and uncertainty management systems (Vol. 2, pp. 241-320). Kluwer Academic Publishers.
-
(1998)
Handbook of Defeasible Reasoning and Uncertainty Management Systems
, vol.2
, pp. 241-320
-
-
Damásio, C.V.1
Pereira, L.M.2
-
11
-
-
0342671786
-
Learning to survive
-
De Raedt, L., Bleken, E., Coget, V., Ghil, C., Swennen, B., & Bruynooghe, M. (1993). Learning to survive. Proceedings of the 2nd International Workshop on Multistrategy Learning (pp. 92-106).
-
(1993)
Proceedings of the 2nd International Workshop on Multistrategy Learning
, pp. 92-106
-
-
De Raedt, L.1
Bleken, E.2
Coget, V.3
Ghil, C.4
Swennen, B.5
Bruynooghe, M.6
-
14
-
-
0342671724
-
Interactive concept learning and constructive induction by analogy
-
De Raedt, L. & Bruynooghe, M. (1992). Interactive concept learning and constructive induction by analogy. Machine Learning, 8(2), 107-150.
-
(1992)
Machine Learning
, vol.8
, Issue.2
, pp. 107-150
-
-
De Raedt, L.1
Bruynooghe, M.2
-
15
-
-
84974750342
-
A classification-theory of semantics of normal logic programs: I & II
-
Dix, J. (1995). A classification-theory of semantics of normal logic programs: I & II. Fundamenta Informaticae, XXII(3), 227-255, 257-288.
-
(1995)
Fundamenta Informaticae
, vol.22
, Issue.3
, pp. 227-255
-
-
Dix, J.1
-
16
-
-
84955617687
-
Prolegomena to logic programming and non-monotonic reasoning
-
J. Dix, L. M. Pereira & T. Przymusinski, (Eds.), LNAI Germany: Springer-Verlag
-
Dix, J., Pereira, L. M., & Przymusinski, T. (1997). Prolegomena to logic programming and non-monotonic reasoning. In J. Dix, L. M. Pereira & T. Przymusinski, (Eds.), Non-Monotonie Extensions of Logic Programming -Selected papers from NMELP'96. LNAI (Vol. 1216, pp. 1-36). Germany: Springer-Verlag.
-
(1997)
Non-Monotonie Extensions of Logic Programming -Selected Papers from NMELP'96
, vol.1216
, pp. 1-36
-
-
Dix, J.1
Pereira, L.M.2
Przymusinski, T.3
-
18
-
-
4243346231
-
-
Master's Thesis, Faculty of Electrical Engineering and Computer Science, University of Ljubljana
-
Džeroski, S. (1991). Handling noise in inductive logic programming. Master's Thesis, Faculty of Electrical Engineering and Computer Science, University of Ljubljana.
-
(1991)
Handling Noise in Inductive Logic Programming
-
-
Džeroski, S.1
-
19
-
-
51749115689
-
Cooperation of abduction and induction in logic programming
-
(submitted for publication). P. A. Flach & A. C. Kakas (Eds.), Kluwer
-
Esposito, F., Ferilli, S., Lamma, E., Mello, P., Milano, M., Riguzzi, F., & Semeraro, G. (submitted for publication). Cooperation of abduction and induction in logic programming. In P. A. Flach & A. C. Kakas (Eds.), Abductive and inductive reasoning, pure and applied logic. Kluwer.
-
Abductive and Inductive Reasoning, Pure and Applied Logic
-
-
Esposito, F.1
Ferilli, S.2
Lamma, E.3
Mello, P.4
Milano, M.5
Riguzzi, F.6
Semeraro, G.7
-
20
-
-
0001119421
-
The stable model semantics for logic programming
-
R. Kowalski & K. A. Bowen (Eds.), MIT Press
-
Gelfond, M. & Lifschitz, V (1988). The stable model semantics for logic programming. In R. Kowalski & K. A. Bowen (Eds.), Proceedings of the 5th Int. Conf. on Logic Programming (pp. 1070-1080) MIT Press.
-
(1988)
Proceedings of the 5th Int. Conf. on Logic Programming
, pp. 1070-1080
-
-
Gelfond, M.1
Lifschitz, V.2
-
24
-
-
51749106754
-
Learning abductive and nonmonotonic logic programs
-
(submitted for publication). P. A. Flach & A. C. Kakas, (Eds.), Kluwer
-
Inoue, K. (submitted for publication). Learning abductive and nonmonotonic logic programs. In P. A. Flach & A. C. Kakas, (Eds.), Abductive and inductive reasoning, pure and applied logic. Kluwer.
-
Abductive and Inductive Reasoning, Pure and Applied Logic
-
-
Inoue, K.1
-
28
-
-
0342671721
-
Agents learning in a three-valued setting
-
University of Bologna
-
Lamma, E., Riguzzi, F., & Pereira, L. M. (1999). Agents learning in a three-valued setting. Technical Report, DEIS - University of Bologna.
-
(1999)
Technical Report, DEIS
-
-
Lamma, E.1
Riguzzi, F.2
Pereira, L.M.3
-
30
-
-
0344457898
-
Sub-unification: A tool for efficient induction of recursive programs
-
D. Sleeman & P. Edwards, (Eds.), Morgan Kaufmann
-
Lapointe, S. & Matwin, S. (1992). Sub-unification: A tool for efficient induction of recursive programs. In D. Sleeman & P. Edwards, (Eds.), Proceedings of the 9th International Workshop on Machine Learning (pp. 273-281). Morgan Kaufmann.
-
(1992)
Proceedings of the 9th International Workshop on Machine Learning
, pp. 273-281
-
-
Lapointe, S.1
Matwin, S.2
-
32
-
-
84867761417
-
Generalizing updates: From models to programs
-
J. Dix, L. M. Pereira, & T. C. Przymusinski, (Eds.), LNAI Springer-Verlag
-
Leite, J. A. & Pereira, L. M. (1998). Generalizing updates: from models to programs. In J. Dix, L. M. Pereira, & T. C. Przymusinski, (Eds.), Collected Papers from Workshop on Logic Programming and Knowledge Representation LPKR'97 LNAI (Vol. 1471) Springer-Verlag.
-
(1998)
Collected Papers from Workshop on Logic Programming and Knowledge Representation LPKR'97
, vol.1471
-
-
Leite, J.A.1
Pereira, L.M.2
-
34
-
-
0003046840
-
A theory and methodology of inductive learning
-
R. Michalski, J. Carbonell & T. Mitchell, (Eds.), Springer-Verlag
-
Michalski, R. (1984). A theory and methodology of inductive learning. In R. Michalski, J. Carbonell & T. Mitchell, (Eds.), Machine Learning - an artificial intelligence approach (Vol. 1, pp. 83-134). Springer-Verlag.
-
(1984)
Machine Learning - An Artificial Intelligence Approach
, vol.1
, pp. 83-134
-
-
Michalski, R.1
-
36
-
-
0342514647
-
Machine invention of first-order predicates by inverting resolution
-
S. Muggleton, (Ed.), Academic Press
-
Muggleton, S. & Buntine, W. (1992). Machine invention of first-order predicates by inverting resolution. In S. Muggleton, (Ed.), Inductive Logic programming (pp. 261-280). Academic Press.
-
(1992)
Inductive Logic Programming
, pp. 261-280
-
-
Muggleton, S.1
Buntine, W.2
-
37
-
-
0002721544
-
Efficient induction of logic programs
-
Ohmsma, Tokyo, Japan
-
Muggleton, S. & Feng, C. (1990). Efficient induction of logic programs. Proceedings of the 1st Conference on Algorithmic Learning Theory, Ohmsma, Tokyo, Japan (pp. 368-381).
-
(1990)
Proceedings of the 1st Conference on Algorithmic Learning Theory
, pp. 368-381
-
-
Muggleton, S.1
Feng, C.2
-
38
-
-
85041528332
-
Reducingmisclassificationcosts
-
Pazzani, M. J., Merz, C., Murphy, P., Ali, K., Hume, T., & Brunk, C. (1994). Reducingmisclassificationcosts. Proceedings of the Eleventh International Conference on Machine Learning (ML94) (pp. 217-225).
-
(1994)
Proceedings of the Eleventh International Conference on Machine Learning (ML94)
, pp. 217-225
-
-
Pazzani, M.J.1
Merz, C.2
Murphy, P.3
Ali, K.4
Hume, T.5
Brunk, C.6
-
40
-
-
0001602577
-
A note on inductive generalization
-
Edinburgh University Press
-
Plotkin, G. (1970). A note on inductive generalization. Machine Intelligence (Vol. 5, pp. 153-163). Edinburgh University Press.
-
(1970)
Machine Intelligence
, vol.5
, pp. 153-163
-
-
Plotkin, G.1
-
42
-
-
0001172265
-
Learning logical definitions from relations
-
Quinlan, J. (1990). Learning logical definitions from relations. Machine Learning, 5, 239-266.
-
(1990)
Machine Learning
, vol.5
, pp. 239-266
-
-
Quinlan, J.1
-
44
-
-
0002726244
-
On closed-word data bases
-
H. Gallaire & J. Minker, (Eds.), Plenum Press
-
Reiter, R. (1978). On closed-word data bases. In H. Gallaire & J. Minker, (Eds.), Logic and data bases (pp. 55-76). Plenum Press.
-
(1978)
Logic and Data Bases
, pp. 55-76
-
-
Reiter, R.1
-
45
-
-
0003798132
-
-
Sagonas, K. F., Swift, T., Warren, D. S., Freire, J., & Rao, P. (1997). The XSB Programmer's Manual Version 1.7.1.
-
(1997)
The XSB Programmer's Manual Version 1.7.1
-
-
Sagonas, K.F.1
Swift, T.2
Warren, D.S.3
Freire, J.4
Rao, P.5
-
46
-
-
71149116148
-
The well-founded semantics for general logic programs
-
Van Gelder, A., Ross, K. A., & Schlipf, J. S. (1991). The well-founded semantics for general logic programs. Journal of the ACM, 38(3), 620-650.
-
(1991)
Journal of the ACM
, vol.38
, Issue.3
, pp. 620-650
-
-
Van Gelder, A.1
Ross, K.A.2
Schlipf, J.S.3
|