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

Show all in one page (slower)

Conference
A self-diagnosing distributed monitoring system for nuclear power plants

A. Dragoni, P. Giorgini, M. Panti
in Methodology and Tools in Knowledge-Based Systems: 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Germania: Springer, 1998, p. 786-795 -(LNCS; 1415). - ISBN: 9783540645825. Atti di: IEA-98-AIE , Benicàssim, Castellón, Spain, 1-4 June 1998 . - URL: http://link.springer.com/chapter/10.1007/3-540-64582-9_811 . - DOI: 10.1007/3-540-64582-9_811

Conference
Act, and the rest will follow: exploiting determinism in planning as satisfiability

E. Giunchiglia, A. Massarotto, R. Sebastiani
in Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, Berlin: AAAI Press, 1998, p. 948-953. - ISBN: 0262510987. Atti di: 15th National Conference on Artificial Intelligence (AAAI98), Madison (WI), July 1998

Conference
More evaluation of decision procedures for modal logics

E. Giunchiglia, F. Giunchiglia, R. Sebastiani, A. Tacchella
in Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning, San Francisco, Calif.: Morgan Kauffman, 1998, p. 626-635. Atti di: 6th international conference on principles of knowledge representation and reasoning (KR'98), Trento, 2-5 June 1998

Journal Article
High Dictionary Compression for Proactive Password Checking

F. Bergadano, B. Crispo, G. Ruffo
in ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY, v. 1,1, (1998)

Conference
Anytime Approximate Modal Reasoning

F. Massacci
in Proc. of 15th National (U.S.) Conference on Artificial Intelligence (AAAI-98), 1998, p. 274-279

Conference
Breaking security protocols as an AI planning problem

F. Massacci
in Proc. of the 4th European Conference on Planning (ECP-97), 1998, p. 286-298

Journal Article
Tableaux Methods for Formal Verification in Multi-agent Distributed Systems

F. Massacci
in JOURNAL OF LOGIC AND COMPUTATION, v. 8, (1998), p. 373-400

Conference
A Self-Diagnosing Distributed Monitoring System for Nuclear Power Plants

P. Giorgini, A. Dragoni, M. Panti
in Tasks and Methods in Applied Arti cial Intelligence - Proceedings of the 11th International Conference on Industrial and Engineering of Arti cial Intelligence and Expert Systms: Springer-Verlag, 1998 -(Lecture Notes in Arti cial Intelligence (LNAI); 1416). Atti di: 11th International Conference on Industrial and Engineering of Arti cial Intelligence and Expert Systms, IEA-98-AIE

Conference
On using degrees of belief in BDI Agents

P. Giorgini, S. Parsons
in Proceedings of the International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'98), 1998. Atti di: International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'98), Paris, France, July 6-10, 1998

Conference
SAT-based decision procedures for normal modal logics:a theoretical framework

R. Sebastiani, A. Villafiorita
in Artificial intelligence:methodology, systems and applications, 8th international conference AIMA 98, Sozopol, Bulgaria, Berlin: Springer Verlag, 1998, p. 377-388 -(LNCS. LNAI; 1480). Atti di: 6th International Conference onArtificial Intelligence: Methodology, Systems, Applications - AIMSA'98, Sozopol, Bulgaria, September 1998. - DOI: 10.1007/BFb0057460