Sciweavers

1223 search results - page 39 / 245
» A Logic for Reasoning about Evidence
Sort
View
JOLLI
1998
103views more  JOLLI 1998»
15 years 1 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
TARK
1992
Springer
15 years 6 months ago
Topological Reasoning and The Logic of Knowledge
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
Lawrence S. Moss, Rohit Parikh
RWEB
2009
Springer
15 years 8 months ago
Logical Foundations of XML and XQuery
XML is the underlying representation formalism of much web-data. Thus to reason about web-data essentially boils down to reasoning about data in XML format. In this course the stud...
Maarten Marx
133
Voted
AAAI
2012
13 years 4 months ago
Exact Lifted Inference with Distinct Soft Evidence on Every Object
The presence of non-symmetric evidence has been a barrier for the application of lifted inference since the evidence destroys the symmetry of the first-order probabilistic model....
Hung B. Bui, Tuyen N. Huynh, Rodrigo de Salvo Braz
ATAL
2005
Springer
15 years 7 months ago
A logic for strategic reasoning
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
Wiebe van der Hoek, Wojciech Jamroga, Michael Wool...