LOGCOM
2008
13 years 11 months ago
2008
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...
LOGCOM
2008
13 years 11 months ago
2008
Abstract. Several concepts of algebras with solutions of recursive equation systems are compared: CPO-enrichable algebras are proved to be iteration algebras of Z.
LOGCOM
2008
13 years 11 months ago
2008
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...
LOGCOM
2008
13 years 11 months ago
2008
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...
LOGCOM
2008
13 years 11 months ago
2008
LOGCOM
2008
13 years 11 months ago
2008
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...
LOGCOM
2008
13 years 11 months ago
2008
LOGCOM
2008
13 years 11 months ago
2008
LOGCOM
2008
13 years 11 months ago
2008
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...
LOGCOM
2008
13 years 11 months ago
2008
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...