OASIcs.ICLP.2016.16.pdf
- Filesize: 0.49 MB
- 12 pages
Document
On the Expressiveness of Spatial Constraint Systems
Authors
-
Part of:
Volume:
Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016) (ICLP 2016 TCs)
Series: Open Access Series in Informatics (OASIcs)
Conference: International Conference on Logic Programming (ICLP) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2016-11-11
Cite As Get BibTex
Michell Guzmán and Frank D. Valencia. On the Expressiveness of Spatial Constraint Systems. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, pp. 16:1-16:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
https://doi.org/10.4230/OASIcs.ICLP.2016.16
Abstract
In this paper we shall report on our progress using spatial constraint system as an abstract representation of modal and epistemic behaviour. First we shall give an introduction as well as the background to our work. Then, we present our preliminary results on the representation of modal behaviour by using spatial constraint systems. Then, we present our ongoing work on the characterization of the epistemic notion of knowledge. Finally, we discuss about the future work of our research.
Subject Classification
Keywords
- Epistemic logic
- Modal logic
- Constraint systems
- Concurrent constraint programming
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
-
Samson Abramsky and Achim Jung. Domain theory. Handbook of logic in computer science, pages 1-77, 1994.
-
Patrick Blackburn, Maarten De Rijke, and Yde Venema. Modal Logic. Cambridge University Press, 1st edition, 2002.
-
Frank S. Boer, Alessandra Di Pierro, and Catuscia Palamidessi. Nondeterminism and infinite computations in constraint programming. Theoretical Computer Science, pages 37-78, 1995.
-
Alessandra Di Pierro, Catuscia Palamidessi, and Frank S. Boer. An algebraic perspective of constraint logic programming. Journal of Logic and Computation, pages 1-38, 1997.
-
Ronald Fagin, Joseph Y Halpern, Yoram Moses, and Moshe Y Vardi. Reasoning about knowledge. MIT press Cambridge, 4th edition, 1995.
-
M. Guzman, S. Haar, S. Perchy, C. Rueda, and F. Valencia. Belief, knowledge, lies and other utterances in an algebra for space and extrusion. Journal of Logical and Algebraic Methods in Programming, 2016.
-
M. Guzman, S. Perchy, C. Rueda, and F. Valencia. Deriving extrusion on constraint systems from concurrent constraint programming process calculi. In ICTAC 2016, 2016.
-
Jaakko Hintikka. Knowledge and belief. Cornell Univeristy Press, 1962.
-
Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, and Frank D Valencia. Spatial and epistemic modalities in constraint-based process calculi. In CONCUR 2012, pages 317-332. Springer, 2012.
-
John Charles Chenoweth McKinsey and Alfred Tarski. The algebra of topology. Annals of mathematics, pages 141-191, 1944.
-
Nax P Mendler, Prakash Panangaden, Philip J Scott, and RAG Seely. A logical view of concurrent constraint programming. Nordic Journal of Computing, pages 181-220, 1995.
-
Prakash Panangaden, Vijay Saraswat, Philip J Scott, and RAG Seely. A hyperdoctrinal view of concurrent constraint programming. In Workshop of Semantics: Foundations and Applications, REX, pages 457-476. Springer, 1993.
-
Amir Pnueli and Zohar Manna. The temporal logic of reactive and concurrent systems. Springer, 1992.
-
Sally Popkorn. First steps in modal logic. Cambridge University Press, 1st edition, 1994.
-
Vijay A Saraswat, Martin Rinard, and Prakash Panangaden. Semantic foundations of concurrent constraint programming. In POPL'91, pages 333-352, 1991.
-
Steven Vickers. Topology via logic. Cambridge University Press, 1st edition, 1996.