1. An ontology framework for flooding forecasting;Agresta;Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2014
2. Non-determinism, non-termination and the strong normalization of system t. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics);Aschieri,2013
3. On natural deduction in classical first-order logic: Curry-howard correspondence;Aschieri;strong normalization and herbrand's theorem. Theoretical Computer Science,2016
4. A deduction system for meaning negotiation;Burato,2011
5. Beta test of the systematic approach expert system prototype as a tropical cyclone track forecasting aid;Carr;Weather and Forecasting,2001