-
3
-
-
0003369249
-
REVISE: Logic programming and diagnosis
-
of LNAI, Germany, Springer-Verlag
-
C. V. Danmsio, L. M. Pereira, and M. Schroeder. REVISE: Logic programming and diagnosis. In Proceedings of Logic-Programming and Non-Monotonic Reasoning, LPNMR’97, volume 1265 of LNAI, Germany, 1997. Springer-Verlag.
-
(1997)
Proceedings of Logic-Programming and Non-Monotonic Reasoning, LPNMR’97
, vol.1265
-
-
Danmsio, C.V.1
Pereira, L.M.2
Schroeder, M.3
-
4
-
-
0032046101
-
Przymusinski. "Classical" negation in nonmonotonic reasoning and logic programming
-
J. J. Alferes, L. M. Pereira, and T. C. Przymusinski. "Classical" negation in nonmonotonic reasoning and logic programming. Journal of Automated Reasoning, 20:107-142, 1998.
-
(1998)
Journal of Automated Reasoning
, vol.2
, pp. 107-142
-
-
Alferes, J.J.1
Pereira, L.M.2
-
5
-
-
71149116148
-
The well-founded semantics for general logic programs
-
A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):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
-
6
-
-
0038370782
-
Diagnosis and debugging as contradiction removal
-
L. M. Pereira and A. Nerode, editors, MIT Press
-
L. M. Pereira, C. V. Danmsio, and J. J. Alferes. Diagnosis and debugging as contradiction removal. In L. M. Pereira and A. Nerode, editors, Proceedings of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, pages 316-330. MIT Press, 1993.
-
(1993)
Proceedings of the 2Nd International Workshop on Logic Programming and Non-Monotonic Reasoning
, pp. 316-330
-
-
Pereira, L.M.1
Danmsio, C.V.2
Alferes, J.J.3
-
7
-
-
84958090154
-
-
Dipartimento di Elettronica, Informatica e Sistemistica, University of Bologna (Italy), LIA Series no
-
E. Lamma, L. M. Pereira, and F. Riguzzi. Multi-agent logic aided lamarckian learning. Technical Report DEIS-LIA-00-004, Dipartimento di Elettronica, Informatica e Sistemistica, University of Bologna (Italy), 2000. LIA Series no. 44
-
(2000)
Multi-Agent Logic Aided Lamarckian Learning. Technical Report DEIS-LIA-00-004
, pp. 44
-
-
Lamma, E.1
Pereira, L.M.2
Riguzzi, F.3
-
8
-
-
0022327141
-
Accelerated ATPG and fault grading via testability analysis
-
The ISCAS85 benchmark netlist are
-
F. Brglez, P. Pownall, and R. Hum. Accelerated ATPG and fault grading via testability analysis. In Proceedings of IEEE Int. Symposium on Circuits and Systems, pages 695-698, 1985. The ISCAS85 benchmark netlist are available via ftp mcnc.mcnc.org.
-
(1985)
Proceedings of IEEE Int. Symposium on Circuits and Systems
, pp. 695-698
-
-
Brglez, F.1
Pownall, P.2
Hum, R.3
-
11
-
-
0038370783
-
-
D. Dasgupta and Z. Michalewicz, editors, Evolutionary Algorithms in Engineering Applications. Springer Verlag
-
Y. Li, K. C. Tan, and M. Gong. Model reduction in control systems by means of global structure evolution and local parameter learning. In D. Dasgupta and Z. Michalewicz, editors, Evolutionary Algorithms in Engineering Applications. Springer Verlag, 1996.
-
(1996)
Model Reduction in Control Systems by means of Global Structure Evolution and Local Parameter Learning
-
-
Li, Y.1
Tan, K.C.2
Gong, M.3
-
14
-
-
0002699888
-
A coevolu-tionary approach to learning sequential decision rules
-
In Larry Eshelman, editor, San Francisco, CA, Morgan Kaufmann
-
Mitchell A. Potter, Kenneth A. De Jong, and John J. Grefenstette. A coevolu-tionary approach to learning sequential decision rules. In Larry Eshelman, editor, Proceedings of the Sixth International Conference on Genetic Algorithms, pages 366-372, San Francisco, CA, 1995. Morgan Kaufmann.
-
(1995)
Proceedings of the Sixth International Conference on Genetic Algorithms
, pp. 366-372
-
-
Potter, M.A.1
De Jong, K.A.2
Grefenstette, J.J.3
|