Selective Noncatalytic Reduction of NOx Using Ammonium Sulfate

Autor: Paul Marshall, Songgeng Li, Hao Wu, Peter Glarborg, Thomas Norman, Martin Holm Jensen, Kristian Krum

Publikováno v: Krum, K R K, Jensen, M, Li, S, Norman, T, Marshall, P, Wu, H & Glarborg, P 2021, ' Selective Noncatalytic Reduction of NO x Using Ammonium Sulfate ', Energy and Fuels, vol. 35, pp. 12392−12402 . https://doi.org/10.1021/acs.energyfuels.1c01451

Ammonium sulfate (AS) is of interest as an additive in stationary combustion plants for the simultaneous control of NOx (through selective noncatalytic reduction, SNCR) and deposition and corrosion (through sulfation of alkali chlorides). The SNCR pe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2224872fd7e215c4556935e64adbb4e1
https://orbit.dtu.dk/en/publications/f656377a-7201-4451-9c35-08840a600a77

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief

Autor: Martin Holm Jensen, Hans van Ditmarsch, Mikkel Birkegaard Andersen, Thomas Bolander

Publikováno v: Andersen, M B, Bolander, T, van Ditmarsch, H & Jensen, M H 2016, ' Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief ', Synthese, vol. 194, no. 7, pp. 2447-2487 . https://doi.org/10.1007/s11229-016-1060-x

Plausibility models are Kripke models that agents use to reason about knowledge and belief, both of themselves and of each other. Such models are used to interpret the notions of conditional belief, degrees of belief, and safe belief. The logic of co

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::78dfa07619fc40eb7e12c5fba43ead99
https://doi.org/10.1007/s11229-016-1060-x

Complexity Results in Epistemic Planning

Autor: Thomas Bolander, Martin Holm Jensen, Francois Schwarzentruber

Publikováno v: Bolander, T, Jensen, M H & Schwarzentruber, F 2015, Complexity Results in Epistemic Planning . in Q Yang & M Wooldridge (eds), Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) . AAAI Press, pp. 2791-2797, 24th International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25/07/2015 . < http://www.aaai.org/ocs/index.php/IJCAI/IJCAI15/paper/view/11303 >
Technical University of Denmark Orbit

Epistemic planning is a very expressive framework that extends automated planning by the incorporation of dynamic epistemic logic (DEL). We provide complexity results on the plan existence problem for multi-agent planning tasks, focusing on purely ep

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::37bdfdc9639eadf58f391d07f50caafb
https://orbit.dtu.dk/en/publications/205b1626-2d47-4a94-aabe-20ab5fb8c356

Bisimulation for Single-Agent Plausibility Models

Autor: Hans van Ditmarsch, Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319036793
Australasian Conference on Artificial Intelligence
AI 2013: Advances in Artificial Intelligence-26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
AI 2013: Advances in Artificial Intelligence-26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings, 2013, Unknown, Unknown Region. pp.277--288, ⟨10.1007/978-3-319-03680-9_30⟩
Lecture Notes in Computer Science

Epistemic plausibility models are Kripke models agents use to reason about the knowledge and beliefs of themselves and each other. Restricting ourselves to the single-agent case, we determine when such models are indistinguishable in the logical lang

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d0fad1c80a0b3bbd49a5e312666438fd
https://doi.org/10.1007/978-3-319-03680-9_30