236 citations
- University of LuxembourgLU13 papers
- Scalable Network Technologies (United States)US2 papers
- Centre Inria de l'Université de LilleFR1 paper
- Hochschule Bonn-Rhein-SiegDE1 paper
- Institut de Recherche en Informatique et Systèmes AléatoiresFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Laboratoire d'Informatique Fondamentale de LilleFR1 paper
- Lu'an First People's HospitalCN1 paper
- Pennsylvania State UniversityUS1 paper
- Precise (India)IN1 paper
- Technische Universität BerlinDE1 paper
- Technische Universität DresdenDE1 paper
Showing cs.LOShow all
2 papers · 1 filter
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…