Check for available options on the right hand side to narrow down or expand the list.

Show all in one page (slower)

Journal Article
Multilanguage hierarchical logics, or: How we can do without modal logics.

F. Giunchiglia, L. Serafini
in ARTIFICIAL INTELLIGENCE, v. 1, (1994), p. 29-70

Conference
Planning with failure

F. Giunchiglia, L. Spalazzi, P. Traverso
: AAAI, 1994, p. 74-79. Atti di: 2nd international conference on artificial intelligence planning systems (AIPS'94), Chicago, Ill., 13 -15 June 1994

Conference
A system for multi-level mathematical reasoning

F. Giunchiglia, P. Traverso
: Clarendon Press, 1994, p. 119-134. Atti di: International conference on artificial intelligence in mathematics, Oxford, April 1991

Conference
Program tactics and logic tactics

F. Giunchiglia, P. Traverso
: Springer, 1994, p. 16-30. Atti di: 5th international conference on logic programming and automated reasoning (LPAR'94), Kiev, 16-22 July 1994

Conference
Strongly Analytic Tableaux for Normal Modal Logics

F. Massacci
in Proc. of the 12th Int. Conf. on Automated Deduction, 1994, p. 723-737

Conference
A Massively Parallel Approach to Model-Based Object Recognition

G. Adorni, A. Broggi, V. D'Andrea
1994, p. 300-306. Atti di: ROVPIA\'94 - International Conference on Robotics, Vision and Parallel Processing for Industrial Automation, Malaysia, May, 26-28 1994

Journal Article
Local structure and dynamics in AgI studied by EXAFS and Molecular Dynamics

G. Dalba, P. Fornasini, R. Gotter, S. Cozzini, M. Ronchetti, F. Rocca
in SOLID STATE IONICS, v. 69, (1994), p. 13-19

Conference
Materials and fabrication technologies for nuclear radiation detectors

G. F. Dalla Betta, G. Pignatel, G. Soncini, P. Bellutti, M. Boscardin
: MIDEM, 1994, p. 145-150. Atti di: 22 International Conference on Microelectronics, MIEL '94. 30th Symposium on Devices and Materials, SD '94, Rogla, 28-30 September 1994

Conference
A pi-calculus with Explicit Substitutions: the Late Semantics

G. Ferrari, U. Montanari, P. Quaglia
in Proc. 19th International Symp. on Mathematical Foundations of Computer Science, MFCS '94, 1994, p. 342-351. Atti di: MFCS 1994, Kosice, 1994

Essay
Modelling the Impact of Particles on a Rigid Substrate under Plasma Spraying Conditions

G. Jacucci, M. Bertagnolli, M. Marchese, I. S. Doltsinis, S. Noelting
in Flash Reactions Process, Dordrecht ; Boston ; New York, N.Y.: Kluwer academic, 1994, p. 239-264