-
1
-
-
0008009655
-
A case for Lamarckian evolution
-
Langton, C. G. ed., Addison Wesley
-
Ackely, D. H. and Littman, M. L., "A Case for Lamarckian Evolution," Artificial Life III. (Langton, C. G. ed.), Addison Wesley, 1994.
-
(1994)
Artificial Life III
-
-
Ackely, D.H.1
Littman, M.L.2
-
2
-
-
0040085666
-
SLX - A top-down derivation procedure for programs with explicit negation
-
Bruynooghe, M. ed., The MIT Press
-
Alferes, J. J., Damásio, C. V. and Pereira, L. M., "SLX - A Top-down Derivation Procedure for Programs with Explicit Negation," in Proc. of Int. Symp. on Logic Programming (Bruynooghe, M. ed.), The MIT Press, 1994.
-
(1994)
Proc. of Int. Symp. on Logic Programming
-
-
Alferes, J.J.1
Damásio, C.V.2
Pereira, L.M.3
-
3
-
-
0001768873
-
A logic programming system for non-monotonic reasoning
-
Alferes, J. J., Damásio, C. V. and Pereira, L. M., "A Logic Programming System for Non-monotonic Reasoning," Journal of Automated Reasoning, 14, pp. 93-147, 1995.
-
(1995)
Journal of Automated Reasoning
, vol.14
, pp. 93-147
-
-
Alferes, J.J.1
Damásio, C.V.2
Pereira, L.M.3
-
4
-
-
0003742380
-
-
Springer-Verlag
-
Alferes, J. J. and Pereira, L. M., Reasoning with Logic Programming, 1111, of LNAI, Springer-Verlag, 1996.
-
(1996)
Reasoning with Logic Programming, 1111, of LNAI
, vol.1111
-
-
Alferes, J.J.1
Pereira, L.M.2
-
5
-
-
0032046101
-
"Classical" negation in non-monotonic reasoning and logic programming
-
Alferes, J. J., Pereira, L. M. and Przymusinski, T. C., ""Classical" negation in non-monotonic reasoning and logic programming," Journal of Automated Reasoning, 20, pp. 107-142, 1998.
-
(1998)
Journal of Automated Reasoning
, vol.20
, pp. 107-142
-
-
Alferes, J.J.1
Pereira, L.M.2
Przymusinski, T.C.3
-
6
-
-
0038709116
-
Well-founded abduction via tabled dual programs
-
de Schreye, D. ed., MIT Press
-
Alferes, J. J., Pereira, L. M. and Swift, T., "Well-founded Abduction via Tabled Dual Programs," in Proc. of the 16th International Conference on Logic Programming (de Schreye, D. ed.), pp.426-440, MIT Press, 1999.
-
(1999)
Proc. of the 16th International Conference on Logic Programming
, pp. 426-440
-
-
Alferes, J.J.1
Pereira, L.M.2
Swift, T.3
-
7
-
-
0001410750
-
A new factor in evolution
-
Baldwin, J. M., "A New Factor in Evolution," American Naturalist, 30, pp. 441-451, 1896.
-
(1896)
American Naturalist
, vol.30
, pp. 441-451
-
-
Baldwin, J.M.1
-
9
-
-
0022327141
-
Accelerated ATPG and fault grading via testability analysis
-
The ISCAS85 benchmark netlist
-
Brglez, F., Pownall, P. and Hum, R., "Accelerated ATPG and Fault Grading via Testability Analysis," in Proc. of IEEE Int. Symposium on Circuits and Systems, pp. 695-698, 1985. The ISCAS85 benchmark netlist are available via ftpmcnc.mcnc.org.
-
(1985)
Proc. of IEEE Int. Symposium on Circuits and Systems
, pp. 695-698
-
-
Brglez, F.1
Pownall, P.2
Hum, R.3
-
10
-
-
4243225137
-
Abduction on 3-valued extended logic programs
-
Marek, V. W., Nerode, A. and Trusczynski, M. ed., Springer-Verlag
-
Damásio, C. V. and Pereira, L. M., "Abduction on 3-valued extended logic programs," in Logic Programming and Non-Monotonic Reasoning - Proc. of 3rd International Conference LPNMR'95, 925 of LNAI (Marek, V. W., Nerode, A. and Trusczynski, M. ed.), pp. 29-42, Springer-Verlag, 1997.
-
(1997)
Logic Programming and Non-Monotonic Reasoning - Proc. of 3rd International Conference LPNMR'95, 925 of LNAI
, vol.925
, pp. 29-42
-
-
Damásio, C.V.1
Pereira, L.M.2
-
11
-
-
0004802182
-
A survey on paraconsistent semantics for extended logic programs
-
Gabbay, D. M. and Smets, Ph. eds. Kluwer Academic Publishers
-
Damásio, C. V. and Pereira, L. M., "A Survey on Paraconsistent Semantics for Extended Logic Programs," Handbook of Defeasible Reasoning and Uncertainty Management systems (Gabbay, D. M. and Smets, Ph. eds.), 2, pp. 241-320. Kluwer Academic Publishers, 1998.
-
(1998)
Handbook of Defeasible Reasoning and Uncertainty Management Systems
, vol.2
, pp. 241-320
-
-
Damásio, C.V.1
Pereira, L.M.2
-
12
-
-
84946730307
-
Revise: Logic programming and diagnosis
-
Springer-Verlag
-
Damásio, C. V., Pereira, L. M. and Schroeder, M., "REVISE: Logic Programming and Diagnosis," in Proc. of Logic-Programming and Non-Monotonic Reasoning, LPNMR'97, 1265, of LNAI, Springer-Verlag, 1997.
-
(1997)
Proc. of Logic-Programming and Non-Monotonic Reasoning, 1265, of LNAI
, vol.1265
-
-
Damásio, C.V.1
Pereira, L.M.2
Schroeder, M.3
-
14
-
-
85039659096
-
Approximate satistical tests for comparing supervised classification learning algorithms
-
in press (draft version)
-
Dietterich, T., "Approximate Satistical Tests for Comparing Supervised Classification Learning Algorithms," Neural Computation, in press (draft version available at http://www.cs.orst.edu/tgd/projects/supervised.html), 2000.
-
(2000)
Neural Computation
-
-
Dietterich, T.1
-
15
-
-
84955617687
-
Prolegomena to logic programming and non-monotonic reasoning
-
Dix, J., Pereira, L. M. and Przymusinski, T. eds., in LNAI, Springer-Verlag
-
Dix, J., Pereira, L. M. and Przymusinski, T., "Prolegomena to Logic Programming and Non-monotonic Reasoning," in Non-Monotonic Extensions of Logic Programming - Selected Papers from NMELP'96 (Dix, J., Pereira, L. M. and Przymusinski, T. eds.), 1216, in LNAI, pp. 1-36, Springer-Verlag, 1997.
-
(1997)
Non-Monotonic Extensions of Logic Programming - Selected Papers from NMELP'96
, vol.1216
, pp. 1-36
-
-
Dix, J.1
Pereira, L.M.2
Przymusinski, T.3
-
16
-
-
0001119421
-
The stable model semantics for logic programming
-
Kowalski, R. and Bowen, K. A. eds., MIT Press
-
Gelfond, M. and Lifschitz, V., "The Stable Model Semantics for Logic Programming," in Proc. of the 5th Int. Conf. on Logic Programming (Kowalski, R. and Bowen, K. A. eds.), pp. 1070-1080, MIT Press, 1988.
-
(1988)
Proc. of the 5th Int. Conf. on Logic Programming
, pp. 1070-1080
-
-
Gelfond, M.1
Lifschitz, V.2
-
18
-
-
0000059548
-
Optimization with genetic algorithms hybrids that use local search
-
Belew, R. K. and Mitchell, M. eds., Addison Wesley
-
Hart, W. E. and Belew, R. K., "Optimization with Genetic Algorithms Hybrids That Use Local Search," in Adaptive Individuals in Evolving Populations (Belew, R. K. and Mitchell, M. eds.), Addison Wesley, 1996.
-
(1996)
Adaptive Individuals in Evolving Populations
-
-
Hart, W.E.1
Belew, R.K.2
-
19
-
-
0038370783
-
Model reduction in control systems by means of global structure evolution and local parameter learning
-
Dasgupta, D. and Michalewicz, Z. eds., Springer-Verlag
-
Li, Y., Tan, K. C. and Gong, M., "Model Reduction in Control Systems by Means of Global Structure Evolution and Local Parameter Learning," in Evolutionary Algorithms in Engineering Applications (Dasgupta, D. and Michalewicz, Z. eds.), Springer-Verlag, 1996.
-
(1996)
Evolutionary Algorithms in Engineering Applications
-
-
Li, Y.1
Tan, K.C.2
Gong, M.3
-
20
-
-
9444294812
-
Belief revision in multiagent systems
-
Malheiro, B., Jennings, N. R. and Oliveira, E., "Belief Revision in Multiagent Systems," in Proc. of the 11th European Conference on Artificial Intelligence, 1994.
-
(1994)
Proc. of the 11th European Conference on Artificial Intelligence
-
-
Malheiro, B.1
Jennings, N.R.2
Oliveira, E.3
-
22
-
-
0011747637
-
Well founded semantics for logic programs with explicit negation
-
John Wiley and Sons
-
Pereira, L. M. and Alferes, J. J., "Well Founded Semantics for Logic Programs with Explicit Negation," in Proc. of the European Conference on Artificial Intelligenece ECAI92, pp. 102-106, John Wiley and Sons, 1992.
-
(1992)
Proc. of the European Conference on Artificial Intelligenece ECAI92
, pp. 102-106
-
-
Pereira, L.M.1
Alferes, J.J.2
-
23
-
-
0038370782
-
Diagnosis and debugging as contradiction removal
-
Pereira, L. M. and Nerode, A. eds., MIT Press
-
Pereira, L. M., Damásio, C. V. and Alferes, J. J., "Diagnosis and Debugging as Contradiction Removal," in Proc. of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning (Pereira, L. M. and Nerode, A. eds.), pp. 316-330, MIT Press, 1993.
-
(1993)
Proc. of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning
, pp. 316-330
-
-
Pereira, L.M.1
Damásio, C.V.2
Alferes, J.J.3
-
24
-
-
0010321302
-
Cultural transmission of information in genetic programming
-
The MIT Press
-
Spector, L. and Luke, S., "Cultural Transmission of Information in Genetic Programming," Genetic Programming 1996: in Proc. of the First Annual Conference, pp. 209-214, The MIT Press, 1996.
-
(1996)
Genetic Programming 1996: In Proc. of the First Annual Conference
, pp. 209-214
-
-
Spector, L.1
Luke, S.2
-
26
-
-
71149116148
-
The well-founded semantics for general logic programs
-
van Gelder, A., Ross, K. A. and Schlipf, J. S., "The Well-founded Semantics for General Logic Programs," Journal of the ACM, 38, 3, pp. 620-650, 1991.
-
(1991)
Journal of the ACM
, vol.38
, Issue.3
, pp. 620-650
-
-
Van Gelder, A.1
Ross, K.A.2
Schlipf, J.S.3
|