On the expressiveness of spatial constraint systems

DOI10.4230/OASICS.ICLP.2016.16MaRDI QIDQ5240218zbMATH OpenFDO

Authors Michell Guzman, Frank D. Valencia

Publication date 24 October 2019

Full work available at URL https://doi.org/10.4230/OASICS.ICLP.2016.16

zbMATH Keywords

concurrent constraint programmingconstraint systemsepistemic logicmodal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Spatial and epistemic modalities in constraint-based process calculi
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• Deriving inverse operators for modal logic
• Characterizing right inverses for spatial constraint systems with applications to modal logic
• scientific article; zbMATH DE number 125988

Cites work

• An algebraic perspective of constraint logic programming
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• Deriving inverse operators for modal logic
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 732978 (Why is no real title available?)
• scientific article; zbMATH DE number 949397 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 794260 (Why is no real title available?)
• Nondeterminism and infinite computations in constraint programming
• Spatial and epistemic modalities in constraint-based process calculi
• The algebra of topology

Cited in

(9)

• How to determine the expressive power of constraints
• Characterizing right inverses for spatial constraint systems with applications to modal logic
• Reasoning about distributed information with infinitely many agents
• Uniform generation in spatial constraint databases and applications
• Spatial and epistemic modalities in constraint-based process calculi
• Deriving inverse operators for modal logic
• Semantic structures for spatially-distributed multi-agent systems
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems

This page was built for publication: On the expressiveness of spatial constraint systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5240218)