Document Open Access Logo

On the Expressiveness of Spatial Constraint Systems

Authors Michell Guzmán, Frank D. Valencia

PDF

File

Thumbnail PDF
PDF
OASIcs.ICLP.2016.16.pdf
  • Filesize: 0.49 MB
  • 12 pages

Document Identifiers

Subject Classification

Keywords
  • Epistemic logic
  • Modal logic
  • Constraint systems
  • Concurrent constraint programming

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

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.

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

Author Details

Michell Guzmán
Frank D. Valencia

References

  1. Samson Abramsky and Achim Jung. Domain theory. Handbook of logic in computer science, pages 1-77, 1994. Google Scholar
  2. Patrick Blackburn, Maarten De Rijke, and Yde Venema. Modal Logic. Cambridge University Press, 1st edition, 2002. Google Scholar
  3. Frank S. Boer, Alessandra Di Pierro, and Catuscia Palamidessi. Nondeterminism and infinite computations in constraint programming. Theoretical Computer Science, pages 37-78, 1995. Google Scholar
  4. 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. Google Scholar
  5. Ronald Fagin, Joseph Y Halpern, Yoram Moses, and Moshe Y Vardi. Reasoning about knowledge. MIT press Cambridge, 4th edition, 1995. Google Scholar
  6. 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. Google Scholar
  7. M. Guzman, S. Perchy, C. Rueda, and F. Valencia. Deriving extrusion on constraint systems from concurrent constraint programming process calculi. In ICTAC 2016, 2016. Google Scholar
  8. Jaakko Hintikka. Knowledge and belief. Cornell Univeristy Press, 1962. Google Scholar
  9. 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. Google Scholar
  10. John Charles Chenoweth McKinsey and Alfred Tarski. The algebra of topology. Annals of mathematics, pages 141-191, 1944. Google Scholar
  11. 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. Google Scholar
  12. 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. Google Scholar
  13. Amir Pnueli and Zohar Manna. The temporal logic of reactive and concurrent systems. Springer, 1992. Google Scholar
  14. Sally Popkorn. First steps in modal logic. Cambridge University Press, 1st edition, 1994. Google Scholar
  15. Vijay A Saraswat, Martin Rinard, and Prakash Panangaden. Semantic foundations of concurrent constraint programming. In POPL'91, pages 333-352, 1991. Google Scholar
  16. Steven Vickers. Topology via logic. Cambridge University Press, 1st edition, 1996. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact