Searching for authors named "Jan Broersen" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Relativized Action Complement for Dynamic Logics
- …3 Relativized Action Complement for Dynamic Logics Jan Broersen abstract. Dynamic logic…
- Add To MetaCart
-
Preferential Semantics for Action Specifications in First-order Modal Action Logic
- …Preferential Semantics for Action Specifications in First-order Modal Action Logic 1 Jan Broersen…
- Cited by 1 (0 self) – Add To MetaCart
-
Minimal Transition System Semantics for Lightweight Class- and Behavior Diagrams
- …@(email omitted); Jan Broersen y Faculty of Mathematics and Computer Science, Vrije Universiteit De Boelelaan 1081a…
- Cited by 19 (2 self) – Add To MetaCart
-
Minimal Semantics for Transaction Specifications in a Multi-modal Logic
- …Minimal Semantics for Transaction Specifications in a Multi-modal Logic Jan Broersen Remco…
- Add To MetaCart
-
Minimal Semantics for action Specifications in PDL
- …Minimal Semantics for action Specifications in PDL Jan Broersen Remco Feenstra y Roel…
- Add To MetaCart
-
Meeting the deadline: Why, when and how
- …Meeting the Deadline: Why, When and How Frank Dignum, Jan Broersen, Virginia Dignum and John…
- Cited by 11 (1 self) – Add To MetaCart
-
A Fixed-point Characterization of a Deontic Logic of Regular Action
- …A Fixed-point Characterization of a Deontic Logic of Regular Action Jan Broersen Roel Wieringa…
- Cited by 6 (0 self) – Add To MetaCart
-
Obligations, Intentions and Desires as components in an agent architecture
- …Beliefs, Obligations, Intentions, and Desires as Components in an Agent Architecture Jan Broersen…
- Cited by 1 (1 self) – Add To MetaCart
-
Levelled commitment and trust in negotiation
- …Leveled Commitment and Trust in Negotiation Jan Broersen Mehdi Dastani Leendert van der Torre…
- Cited by 1 (1 self) – Add To MetaCart
-
Grounding power on actions and mental attitudes ⋆
- …Grounding power on actions and mental attitudes ⋆ Emiliano Lorini 1,2 , Andreas Herzig 2 , Jan…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
