Sciweavers

166 search results - page 6 / 34
» Nonmonotonic Modes of Inference
Sort
View
DAGSTUHL
2007
13 years 8 months ago
A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning
Abstract. This paper makes a foundational contribution to the discussions on the very nature of belief change operations. Belief revision and pdate are investigated within an abstr...
Gabriele Kern-Isberner
LOGCOM
2002
105views more  LOGCOM 2002»
13 years 7 months ago
Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
Alberto Artosi, Guido Governatori, Antonino Rotolo
UIST
2003
ACM
14 years 18 days ago
Stylus input and editing without prior selection of mode
This paper offers a solution to the mode problem in computer sketch/notetaking programs. Conventionally, the user must specify the intended "draw" or "command"...
Eric Saund, Edward Lank
JOLLI
1998
103views more  JOLLI 1998»
13 years 7 months ago
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in thi...
Joeri Engelfriet, Jan Treur
NIPS
1998
13 years 8 months ago
Fisher Scoring and a Mixture of Modes Approach for Approximate Inference and Learning in Nonlinear State Space Models
We present Monte-Carlo generalized EM equations for learning in nonlinear state space models. The dif
Thomas Briegel, Volker Tresp