Belief, knowledge, lies and other utterances in an algebra for space and extrusion
DOI10.1016/j.jlamp.2016.09.001zbMath1353.68203OpenAlexW2401944033WikidataQ114851581 ScholiaQ114851581MaRDI QIDQ347368
Salim Perchy, Stefan Haar, Camilo Rueda, Frank D. Valencia, Michell Guzman
Publication date: 30 November 2016
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.09.001
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Agent technology and artificial intelligence (68T42)
Related Items (8)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dynamic spaces in concurrent constraint programming
- Dynamics of lying
- Nondeterminism and infinite computations in constraint programming
- Counterfactuals and updates as inverse modalities
- Foundations of software science and computation structures. 1st international conference, FoSSaCS '98. Held as part of the joint European conferences on Theory and practice of software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings
- Linear concurrent constraint programming: Operational and phase semantics
- A spatial logic for concurrency. I
- The algebra of topology
- An algebraic perspective of constraint logic programming
- Spatial and Epistemic Modalities in Constraint-Based Process Calculi
- Deriving Labels and Bisimilarity for Concurrent Constraint Programming
- Declarative Diagnosis of Temporal Concurrent Constraint Programs
- DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
- Continuous Lattices and Domains
- A Logical Account of Lying
- A Secure Non-monotonic Soft Concurrent Constraint Language
- Logic Programming
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
This page was built for publication: Belief, knowledge, lies and other utterances in an algebra for space and extrusion