107
Voted
LOGCOM
2008
15 years 29 days 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...
99
Voted
LOGCOM
2008
15 years 29 days 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.
129
Voted
LOGCOM
2008
15 years 29 days 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...
110
Voted
LOGCOM
2008
15 years 29 days 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...
94
Voted
LOGCOM
2008
15 years 29 days ago
2008
116
Voted
LOGCOM
2008
15 years 29 days 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...
82
Voted
LOGCOM
2008
15 years 29 days ago
2008
83
Voted
LOGCOM
2008
15 years 29 days ago
2008
111
Voted
LOGCOM
2008
15 years 29 days 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...
123
Voted
LOGCOM
2008
15 years 29 days 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...