Search

Your search keyword '"Brignoli, A"' showing total 23 results
Start Over Author "Brignoli, A" Publication Type Books
23 results on '"Brignoli, A"'

10. Contributions to arachnid systematics in honor of Willis J. Gertsch, on the occasion of his seventy-fifth birthday. Bulletin of the AMNH ; v. 170, article 1

Author

Brignoli, Paolo Marcello, Carico, James E., Coyle, Frederick A., Cutler, Bruce, 1943, Dondale, Charles D., Forster, Raymond R., 1922, Francke, Oscar F., Galiano, Maria Elena, Gertsch, Willis John, 1906, Kaston, B. J. (Benjamin Julian), 1906, Kronestedt, Torbjorn, Levi, Herbert Walter, 1921, Lowrie, Donald Charles, 1910, Maury, Emilio A., Millidge, A. F. (Alfred Frank), Minch, Edwin W., Murphy, John A., Opell, Brent D., Peck, William B., Platnick, Norman I., Raven, Robert J., Redner, James H., Reiskind, Jonathan, Richman, David B., Roth, Vincent D., Shadab, Mohammad Umar, Shear, William A., Stahnke, Herbert L. (Herbert Ludwig), 1902, Valerio, Carlos E., Van Helsdingen, P. J., American Museum of Natural History Library, Brignoli, Paolo Marcello, Carico, James E., Coyle, Frederick A., Cutler, Bruce, 1943, Dondale, Charles D., Forster, Raymond R., 1922, Francke, Oscar F., Galiano, Maria Elena, Gertsch, Willis John, 1906, Kaston, B. J. (Benjamin Julian), 1906, Kronestedt, Torbjorn, Levi, Herbert Walter, 1921, Lowrie, Donald Charles, 1910, Maury, Emilio A., Millidge, A. F. (Alfred Frank), Minch, Edwin W., Murphy, John A., Opell, Brent D., Peck, William B., Platnick, Norman I., Raven, Robert J., Redner, James H., Reiskind, Jonathan, Richman, David B., Roth, Vincent D., Shadab, Mohammad Umar, Shear, William A., Stahnke, Herbert L. (Herbert Ludwig), 1902, Valerio, Carlos E., and Van Helsdingen, P. J.

Subjects
1906-, Arachnida, Classification, Gertsch, Willis John

23. Experiments in Answer Sets Planning.

Author

Cairo, Osvaldo, Sucar, L. Enrique, Cantu, Francisco J., Balduccini, M., Brignoli, G., Lanzarone, G. A., Magni, F., and Provetti, A.

Abstract

The study of formal nonmonotonic reasoning has been motivated to a large degree by the need to solve the frame problem and other problems related to representing actions. New efficient implementations of nonmonotonic reasoning, such as SMODELS and DLV, can be used to solve many computational problems that involve actions, including plan generation. SMODELS and its competitors are essential to implement a new approach to knowledge representation and reasoning: to compute solutions to a problem by computing the stable models (answer sets) of the theory that represents it. Marek and Truszczyński call this paradigm Stable model programming. We are trying to assess the viability of stable logic programming for agent specification and planning in realistic scenarios. To do so, we present an encoding of plan generation within the lines of Lifschitz's Answer set planning and evaluate its performance in the simple scenario of Blocks world. Several optimization techniques stemming from mainstream as well as satisfiability planning are added to our planner, and their impact is discussed. [ABSTRACT FROM AUTHOR]

Published
2000
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results