Proceedings:
Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR2008)
Volume
Issue:
Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR2008)
Track:
Contents
Downloads:
Abstract:
We introduce and investigate quantified interpreted systems, a semantics to reason about knowledge and time in a firstorder setting. We provide an axiomatisation, which we show to be sound and complete. We utilise the formalism to study message passing systems (Lamport 1978; Fagin et al 1995) in a first-order setting, and compare the results obtained to those available for the propositional case.
KR
Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR2008)