Sciweavers

LOGCOM
2008
138views more  LOGCOM 2008»
13 years 7 months ago
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
Following recent developments in the topic of generalized quantifiers, and also having in mind applications in the areas of security and artificial intelligence, a conservative en...
Luís Cruz-Filipe, João Rasga, Am&iac...
LOGCOM
2008
110views more  LOGCOM 2008»
13 years 7 months ago
On Algebras with Iteration
Abstract. Several concepts of algebras with solutions of recursive equation systems are compared: CPO-enrichable algebras are proved to be iteration algebras of Z.
Jirí Adámek, Stephen L. Bloom, Stefa...
LOGCOM
2008
97views more  LOGCOM 2008»
13 years 7 months ago
One-and-a-halfth-order Logic
The practice of first-order logic is replete with meta-level concepts. Most notably there are meta-variables ranging over formulae, variables, and terms, and properties of syntax s...
Murdoch James Gabbay, Aad Mathijssen
LOGCOM
2008
106views more  LOGCOM 2008»
13 years 7 months ago
Reinforcement Belief Revision
The capability of revising its beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. The classical work in belief revision focuses on i...
Yi Jin, Michael Thielscher
LOGCOM
2008
72views more  LOGCOM 2008»
13 years 7 months ago
Editorial and call for papers
Heinrich Wansing
LOGCOM
2008
120views more  LOGCOM 2008»
13 years 7 months ago
Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
We look at the problem in belief revision of trying to make inferences about what an agent believed--or will believe--at a given moment, based on an observation of how the agent h...
Richard Booth, Alexander Nittka
LOGCOM
2008
102views more  LOGCOM 2008»
13 years 7 months ago
An Axiomatic Characterization of Ensconcement-Based Contraction
Eduardo Fermé, Martín Krevneris, Mau...
LOGCOM
2008
99views more  LOGCOM 2008»
13 years 7 months ago
Three Scenarios for the Revision of Epistemic States
This position paper discusses the difficulty of interpreting iterated belief revision in the scope of the existing literature. Axioms of iterated belief revision are often present...
Didier Dubois
LOGCOM
2008
110views more  LOGCOM 2008»
13 years 7 months ago
Sum and Product in Dynamic Epistemic Logic
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge