Picture for Riccardo Pucella

Riccardo Pucella

Forrester Research

An Epistemic Foundation for Authentication Logics (Extended Abstract)

Add code
Jul 27, 2017
Figure 1 for An Epistemic Foundation for Authentication Logics (Extended Abstract)
Viaarxiv icon

A Logic for Reasoning about Upper Probabilities

Add code
Aug 07, 2014
Viaarxiv icon

Evidence with Uncertain Likelihoods

Add code
Jul 27, 2014
Viaarxiv icon

A Logic for Reasoning about Evidence

Add code
Jul 27, 2014
Viaarxiv icon

Reasoning about Expectation

Add code
Jul 27, 2014
Figure 1 for Reasoning about Expectation
Viaarxiv icon

Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation

Add code
Apr 20, 2007
Figure 1 for Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation
Viaarxiv icon

Dealing With Logical Omniscience: Expressiveness and Pragmatics

Add code
Feb 01, 2007
Viaarxiv icon

Deductive Algorithmic Knowledge

Add code
Jan 18, 2006
Viaarxiv icon

Probabilistic Algorithmic Knowledge

Add code
Dec 20, 2005
Viaarxiv icon

A Framework for Creating Natural Language User Interfaces for Action-Based Applications

Add code
Dec 17, 2004
Figure 1 for A Framework for Creating Natural Language User Interfaces for Action-Based Applications
Viaarxiv icon