1 Search Results for "Valencia, Frank D."

Document
DOI: 10.4230/OASIcs.ICLP.2016.16
On the Expressiveness of Spatial Constraint Systems

Authors: Michell Guzmán and Frank D. Valencia

Published in: OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)

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

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)

Copy BibTex To Clipboard

@InProceedings{guzman_et_al:OASIcs.ICLP.2016.16,
  author =	{Guzm\'{a}n, Michell and Valencia, Frank D.},
  title =	{{On the Expressiveness of Spatial Constraint Systems}},
  booktitle =	{Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
  pages =	{16:1--16:12},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-007-1},
  ISSN =	{2190-6807},
  year =	{2016},
  volume =	{52},
  editor =	{Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.16},
  URN =		{urn:nbn:de:0030-drops-67469},
  doi =		{10.4230/OASIcs.ICLP.2016.16},
  annote =	{Keywords: Epistemic logic, Modal logic, Constraint systems, Concurrent constraint programming}
}
  • Refine by Author
  • 1 Guzmán, Michell
  • 1 Valencia, Frank D.

  • Refine by Classification

  • Refine by Keyword
  • 1 Concurrent constraint programming
  • 1 Constraint systems
  • 1 Epistemic logic
  • 1 Modal logic

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2016

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 Schloss Dagstuhl - LZI GmbH Imprint Privacy Contact