236 citations
- University of LuxembourgLU34 papers
- Scalable Network Technologies (United States)US2 papers
- Université de LilleFR2 papers
- Centre Inria de l'Université de LilleFR1 paper
- Ho Chi Minh City University of ScienceVN1 paper
- Ho Chi Minh City University of TechnologyVN1 paper
- Hochschule Bonn-Rhein-SiegDE1 paper
- Indian Institute of Technology DelhiIN1 paper
- Institut de Recherche en Informatique et Systèmes AléatoiresFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Instituto Maimónides de Investigación Biomédica de CórdobaES1 paper
- KTH Royal Institute of TechnologySE1 paper
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012
Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)
Simon Kramer, Joshua Sack
We propose parametric constructive Kripke-semantics for multi-agent KD45-belief and S5-knowledge in terms of elementary set-theoretic constructions of two basic functional building…
cs.LO2012★ 1 cited
Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories
Hanna Schölzel, Hartmut Ehrig, Maria Maximova +2
Application conditions for rules and constraints for graphs are well-known in the theory of graph transformation and have been extended already to M-adhesive transformation systems…