2017
Moritz
Welberg,
Claus
Schuster, and
Sven
Groppe,
Open-Source Knowledgemanagement Platform zur Unterstützung der Lehre in der Medizin, in Gemeinsame Jahrestagung der Gesellschaft für Medizinische Ausbildung (GMA) und des Arbeitskreises zur Weiterentwicklung der Lehre in der Zahnmedizin (AKWLZ), Münster, Germany , 2017.
Open-Source Knowledgemanagement Platform zur Unterstützung der Lehre in der Medizin, in Gemeinsame Jahrestagung der Gesellschaft für Medizinische Ausbildung (GMA) und des Arbeitskreises zur Weiterentwicklung der Lehre in der Zahnmedizin (AKWLZ), Münster, Germany , 2017.
| Datei: | 17gma232 |
Alexander
Kott,
Mona
Lange, and
Jackson
Ludwig,
{Assessing Mission Impact of Cyber Attacks: Towards a Model-Driven Paradigm}, IEEE Security Privacy , vol. 15, no. 5, pp. 65--74, 2017.
{Assessing Mission Impact of Cyber Attacks: Towards a Model-Driven Paradigm}, IEEE Security Privacy , vol. 15, no. 5, pp. 65--74, 2017.
| DOI: | 101109/MSP.2017.3681068 |
| Bibtex: | @ARTICLE{KoLaLu2016,
author={Alexander Kott and Mona Lange and Jackson Ludwig},
title={{Assessing Mission Impact of Cyber Attacks: Towards a Model-Driven Paradigm}},
journal={IEEE Security Privacy},
year={2017},
month={Oktober},
volume={15},
number={5},
pages={65--74},
doi={101109/MSP.2017.3681068},
ISSN={1540-7993}
} |
Christopher
Blochwitz,
Julian
Wolff,
Jan Moritz
Joseph,
Stefan
Werner,
Dennis
Heinrich,
Sven
Groppe, and
Thilo
Pionteck,
Hardware-Accelerated Radix-Tree Based String Sorting for Big Data Applications, in 30th International Conference on Architecture of Computing Systems ({ARCS}), Vienna, Austria , 2017. pp. 47--58.
Hardware-Accelerated Radix-Tree Based String Sorting for Big Data Applications, in 30th International Conference on Architecture of Computing Systems ({ARCS}), Vienna, Austria , 2017. pp. 47--58.
| DOI: | 10.1007/978-3-319-54999-6\_4 |
| Datei: | 978-3-319-54999-6\_4 |
Sven
Groppe, and
Carlo Alberto
Boano,
First Edition of the Very Large Internet of Things Workshop (VLIoT), {OJIOT} , vol. 3, no. 1, pp. 12--17, 2017.
First Edition of the Very Large Internet of Things Workshop (VLIoT), {OJIOT} , vol. 3, no. 1, pp. 12--17, 2017.
| Datei: | urn:nbn:de:101:1-2017080613397 |
Tanya
Braun, and
Ralf
Möller,
Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm, in Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop (GKR 2017), Melbourne, Australia , 2017.
Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm, in Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop (GKR 2017), Melbourne, Australia , 2017.
| Datei: | papers.html |
| Bibtex: | @inproceedings{BraMo17,
author = {Tanya Braun and Ralf M\"oller},
title = {{Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm}},
booktitle = {Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop (GKR 2017), Melbourne, Australia},
year = {2017},
url = {http://www.lirmm.fr/~hecham/GKR/papers.html}
} |
Eric Oberesch,
{The mf-index: A Citation-Based Multiple Factor Index to Evaluate and Compare the Output of Scientists}, Open Journal of Web Technologies (OJWT) , vol. 4, no. 1, pp. 1--32, 2017. RonPub.
{The mf-index: A Citation-Based Multiple Factor Index to Evaluate and Compare the Output of Scientists}, Open Journal of Web Technologies (OJWT) , vol. 4, no. 1, pp. 1--32, 2017. RonPub.
| Datei: | urn:nbn:de:101:1-2017070914565 |
| Bibtex: | @Article{OJWT_2017v4i1n01_Oberesch,
title = {{The mf-index: A Citation-Based Multiple Factor Index to Evaluate and Compare the Output of Scientists}},
author = {Eric Oberesch and Sven Groppe},
journal = {Open Journal of Web Technologies (OJWT)},
issn = {2199-188X},
year = {2017},
volume = {4},
number = {1},
pages = {1--32},
url = {http://nbn-resolving.de/urn:nbn:de:101:1-2017070914565},
urn = {urn:nbn:de:101:1-2017070914565},
publisher = {RonPub},
bibsource = {RonPub},
abstract = {Comparing the output of scientists as objective as possible is an important factor for, e.g., the approval of research funds or the filling of open positions at universities. Numeric indices, which express the scientific output in the form of a concrete value, may not completely supersede an overall view of a researcher, but provide helpful indications for the assessment. This work introduces the most important citation-based indices, analyzes their advantages and disadvantages and provides an overview of the aspects considered by them. On this basis, we identify the criteria that an advanced index should fulfill, and develop a new index, the mf-index. The objective of the mf-index is to combine the benefits of the existing indices, while avoiding as far as possible their drawbacks and to consider additional aspects. Finally, an evaluation based on data of real publications and citations compares the mf-index with existing indices and verifies that its advantages in theory can also be determined in practice.}
} |
Alexander
Motzek, and
Ralf
Möller,
{Indirect Causes in Dynamic Bayesian Networks Revisited}, Journal of Artificial Intelligence Research (JAIR) , vol. 59, pp. 1--58, 2017. AAAI Press.
{Indirect Causes in Dynamic Bayesian Networks Revisited}, Journal of Artificial Intelligence Research (JAIR) , vol. 59, pp. 1--58, 2017. AAAI Press.
| Datei: | paper5361.html |
| Bibtex: | @article{MotzekMoellerJAIR2017,
author = {Motzek, Alexander and M\"{o}ller, Ralf},
title = {{Indirect Causes in Dynamic Bayesian Networks Revisited}},
journal = {Journal of Artificial Intelligence Research (JAIR)},
year = {2017},
volume = {59},
pages = {1--58},
publisher = {AAAI Press},
url = {http://www.jair.org/papers/paper5361.html}
} |
Stefan Werner,
{Hybrid Architecture for Hardware-accelerated Query Processing in Semantic Web Databases based on Runtime Reconfigurable FPGAs}, Universit{\"a}t zu L{\"u}beck, 2017.
{Hybrid Architecture for Hardware-accelerated Query Processing in Semantic Web Databases based on Runtime Reconfigurable FPGAs}, Universit{\"a}t zu L{\"u}beck, 2017.
| Datei: | |
| Bibtex: | @PhdThesis{WernerPhD2017,
author = {Stefan Werner},
title = {{Hybrid Architecture for Hardware-accelerated Query Processing in Semantic Web Databases based on Runtime Reconfigurable FPGAs}},
school = {Universit{\"a}t zu L{\"u}beck},
year = {2017}
} |
2016
Mona
Lange,
Felix
Kuhr, and
Ralf
Möller,
{Using a Deep Understanding of Network Activities for Workflow Mining}, in {KI} 2016: Advances in Artificial Intelligence - 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30 , Springer, 2016. pp. 177--184.
{Using a Deep Understanding of Network Activities for Workflow Mining}, in {KI} 2016: Advances in Artificial Intelligence - 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30 , Springer, 2016. pp. 177--184.
| Datei: | 978-3-319-46073-4_17 |
| Bibtex: | @inproceedings{LaKuMoe-KI16,
author = {Mona Lange and Felix Kuhr and Ralf M{\"o}ller},
title = {{Using a Deep Understanding of Network Activities for Workflow Mining}},
booktitle = {{KI} 2016: Advances in Artificial Intelligence - 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30},
series = {Lecture Notes in Computer Science},
volume = {9904},
pages = {177--184},
year = {2016},
publisher = {Springer},
url = {http://dx.doi.org/10.1007/978-3-319-46073-4_17}
} |
Stefan
Werner,
Dennis
Heinrich,
Marc
Stelzner,
Volker
Linnemann,
Thilo
Pionteck, and
Sven
Groppe,
Accelerated join evaluation in Semantic Web databases by using FPGAs, Concurrency and Computation: Practice and Experience , vol. 28, no. 7, pp. 2031--2051, 2016.
Accelerated join evaluation in Semantic Web databases by using FPGAs, Concurrency and Computation: Practice and Experience , vol. 28, no. 7, pp. 2031--2051, 2016.
| DOI: | 10.1002/cpe.3502 |
| Datei: | cpe.3502 |
| Bibtex: | @ARTICLE{Werner2015,
author = {Stefan Werner and Dennis Heinrich and Marc Stelzner and Volker Linnemann
and Thilo Pionteck and Sven Groppe},
title = {Accelerated join evaluation in Semantic Web databases by using FPGAs},
journal = {Concurrency and Computation: Practice and Experience},
year = {2015},
volume = {28},
number = {7},
pages = {2031--2051},
month = {May 18},
doi = {http://dx.doi.org/10.1002/cpe.3502}
} |
Sven
Groppe,
Dennis
Heinrich,
Christopher
Blochwitz, and
Thilo
Pionteck,
Constructing Large-Scale Semantic Web Indices for the Six {RDF} Collation Orders, OJBD , vol. 2, no. 1, pp. 11--25, 2016.
Constructing Large-Scale Semantic Web Indices for the Six {RDF} Collation Orders, OJBD , vol. 2, no. 1, pp. 11--25, 2016.
| Datei: | urn:nbn:de:101:1-201705194418 |
Ahmet
Soylu,
Martin
Giese,
Rudolf
Schlatte,
Ernesto
Jim{\'e}nez{-}Ruiz,
Özgür Lütfü
Özçep, and
Sebastian
Brandt,
Domain Experts Surfing on Stream Sensor Data over Ontologies, in Proceedings of the 1st Workshop on Semantic Web Technologies for Mobile and Pervasive Environments co-located with the 13th Extended Semantic Web Conference {(ESWC} 2016), Heraklion, Greece, May 29 , Thanos G. Stavropoulos and Georgios Meditskos and Antonis Bikakis, Eds. CEUR-WS.org, 2016. pp. 11--20.
Domain Experts Surfing on Stream Sensor Data over Ontologies, in Proceedings of the 1st Workshop on Semantic Web Technologies for Mobile and Pervasive Environments co-located with the 13th Extended Semantic Web Conference {(ESWC} 2016), Heraklion, Greece, May 29 , Thanos G. Stavropoulos and Georgios Meditskos and Antonis Bikakis, Eds. CEUR-WS.org, 2016. pp. 11--20.
| Datei: | |
| Bibtex: | @inproceedings{soylu16domain,
Author = {Ahmet Soylu and Martin Giese and Rudolf Schlatte and Ernesto Jim{\'e}nez{-}Ruiz and {\"{O}}zg{\"{u}}r L. {\"{O}}z{\c{c}}ep and Sebastian Brandt},
Title = {Domain Experts Surfing on Stream Sensor Data over Ontologies},
Booktitle = {Proceedings of the 1st Workshop on Semantic Web Technologies for Mobile and Pervasive Environments co-located with the 13th Extended Semantic Web Conference {(ESWC} 2016), Heraklion, Greece, May 29},
Editor = {Thanos G. Stavropoulos and Georgios Meditskos and Antonis Bikakis},
Pages = {11--20},
Publisher = {CEUR-WS.org},
Series = {{CEUR} Workshop Proceedings},
Volume = {1588},
Year = {2016},
Url = {http://ceur-ws.org/Vol-1588/paper4.pdf}
} |
Stefan
Werner,
Dennis
Heinrich,
Sven
Groppe,
Christopher
Blochwitz, and
Thilo
Pionteck,
Runtime Adaptive Hybrid Query Engine based on FPGAs, OJDB , vol. 3, no. 1, pp. 21--41, 2016. RonPub.
Runtime Adaptive Hybrid Query Engine based on FPGAs, OJDB , vol. 3, no. 1, pp. 21--41, 2016. RonPub.
| Datei: | urn:nbn:de:101:1-201705194645 |
| Bibtex: | @Article{OJDB_2016v3i1n02_Werner,
author = {Stefan Werner and Dennis Heinrich and Sven Groppe and Christopher Blochwitz and Thilo Pionteck},
title = {Runtime Adaptive Hybrid Query Engine based on FPGAs},
journal = {Open Journal of Databases (OJDB)},
issn = {2199-3459},
year = {2016},
volume = {3},
number = {1},
pages = {21--41},
url = {http://www.ronpub.com/publications/OJDB_2016v3i1n02_Werner.pdf},
publisher = {RonPub},
bibsource = {RonPub},
abstract = {This paper presents the fully integrated hardware-accelerated query engine for large-scale datasets in the context of Semantic Web databases. As queries are typically unknown at design time, a static approach is not feasible and not flexible to cover a wide range of queries at system runtime. Therefore, we introduce a runtime reconfigurable accelerator based on a Field Programmable Gate Array (FPGA), which transparently incorporates with the freely available Semantic Web database LUPOSDATE. At system runtime, the proposed approach dynamically generates an optimized hardware accelerator in terms of an FPGA configuration for each individual query and transparently retrieves the query result to be displayed to the user. During hardware-accelerated execution the host supplies triple data to the FPGA and retrieves the results from the FPGA via PCIe interface. The benefits and limitations are evaluated on large-scale synthetic datasets with up to 260 million triples as well as the widely known Billion Triples Challenge.}
} |
Tanya
Braun, and
Ralf
Möller,
Lifted Junction Tree Algorithm, in KI 2016: Advances in Artificial Intelligence , Springer, 2016. pp. 30--42.
Lifted Junction Tree Algorithm, in KI 2016: Advances in Artificial Intelligence , Springer, 2016. pp. 30--42.
| DOI: | http://dx.doi.org/10.1007/978-3-319-46073-4 |
| Bibtex: | @inproceedings{BrMoe16a,
author = {Tanya Braun and Ralf M\"oller},
title = {Lifted Junction Tree Algorithm},
booktitle = {{KI} 2016: Advances in Artificial Intelligence},
publisher = {Springer},
year = {2016},
pages = {30--42},
doi = {http://dx.doi.org/10.1007/978-3-319-46073-4}
} |
Tanya
Braun, and
Ralf
Möller,
"Lifted Junction Tree Algorithm" 2016.
"Lifted Junction Tree Algorithm" 2016.
Sven
Groppe, and
Le
Gruenwald,
Proceedings of the International Workshop on Semantic Big Data, San Francisco, CA, USA., .... ACM, 2016.
Proceedings of the International Workshop on Semantic Big Data, San Francisco, CA, USA., .... ACM, 2016.
| DOI: | 10.1145/2928294 |
| ISBN: | 978-1-4503-4299-5 |
| Datei: | 2928294 |
Evgeny
Kharlamov,
Yannis
Kotidis,
Theofilos
Mailis,
Christian
Neuenstadt,
Charalampos
Nikolaou,
Özgür Lütfü
Özçep,
Christoforos
Svingos,
Dmitriy
Zheleznyakov,
Sebastian
Brandt,
Ian
Horrocks,
Yannis E.
Ioannidis,
Steffen
Lamparter, and
Ralf
M{\"{o}}ller,
{Towards Analytics Aware Ontology Based Access to Static and Streaming Data}, in The Semantic Web - {ISWC} 2016 - 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part {II} , Paul T. Groth and Elena Simperl and Alasdair J. G. Gray and Marta Sabou and Markus Kr{\"{o}}tzsch and Freddy L{\'e}cu{\'e} and Fabian Fl{\"{o}}ck and Yolanda Gil, Eds. 2016. pp. 344--362.
{Towards Analytics Aware Ontology Based Access to Static and Streaming Data}, in The Semantic Web - {ISWC} 2016 - 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part {II} , Paul T. Groth and Elena Simperl and Alasdair J. G. Gray and Marta Sabou and Markus Kr{\"{o}}tzsch and Freddy L{\'e}cu{\'e} and Fabian Fl{\"{o}}ck and Yolanda Gil, Eds. 2016. pp. 344--362.
| DOI: | http://dx.doi.org/10.1007/978-3-319-46547-0_31 |
| Bibtex: | @inproceedings{oezcep16towardsISWC16,
Author = {Evgeny Kharlamov and Yannis Kotidis and Theofilos Mailis and Christian Neuenstadt and Charalampos Nikolaou and {\"{O}}zg{\"{u}}r L. {\"{O}}z{\c{c}}ep and Christoforos Svingos and Dmitriy Zheleznyakov and Sebastian Brandt and Ian Horrocks and Yannis E. Ioannidis and Steffen Lamparter and Ralf M{\"{o}}ller},
Title = {{Towards Analytics Aware Ontology Based Access to Static and Streaming Data}},
Booktitle = {The Semantic Web - {ISWC} 2016 - 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part {II}},
Editor = {Paul T. Groth and Elena Simperl and Alasdair J. G. Gray and Marta Sabou and Markus Kr{\"{o}}tzsch and Freddy L{\'e}cu{\'e} and Fabian Fl{\"{o}}ck and Yolanda Gil},
Pages = {344--362},
Series = {Lecture Notes in Computer Science},
Volume = {9982},
Year = {2016},
doi = {http://dx.doi.org/10.1007/978-3-319-46547-0_31}
} |
Felix Kuhr
Mona Lange, and
Ralf
Moeller,
Using a Deeper Understanding of Network Activities for Security Event Management, International Journal of Network Security & Its Applications (IJNSA) , 2016.
Using a Deeper Understanding of Network Activities for Security Event Management, International Journal of Network Security & Its Applications (IJNSA) , 2016.
Mona
Lange, and
Felix
Kuhr,
{Using a Deep Understanding of Network Activities for Network Vulnerability Assessment}, in {ECAI} 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence {(PAIS} 2016) , Gal A. Kaminka and Maria Fox and Paolo Bouquet and Eyke H{{\"u}}llermeier and Virginia Dignum and Frank Dignum and Frank van Harmelen, Eds. {IOS} Press, 2016. pp. 1583--1585.
{Using a Deep Understanding of Network Activities for Network Vulnerability Assessment}, in {ECAI} 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence {(PAIS} 2016) , Gal A. Kaminka and Maria Fox and Paolo Bouquet and Eyke H{{\"u}}llermeier and Virginia Dignum and Frank Dignum and Frank van Harmelen, Eds. {IOS} Press, 2016. pp. 1583--1585.
| ISBN: | 978-1-61499-671-2 |
| Datei: | 978-1-61499-672-9-1583 |
| Bibtex: | @inproceedings{LangeKM16,
author = {Mona Lange and Felix Kuhr and Ralf M{\"{o}}ller},
title = {{Using a Deep Understanding of Network Activities for Network Vulnerability Assessment}},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
pages = {1583--1585},
year = {2016},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
publisher = {{IOS} Press},
isbn = {978-1-61499-671-2},
url = {http://dx.doi.org/10.3233/978-1-61499-672-9-1583}
} |
Özgür Lütfü Özçep,
{Minimality Postulates for Ontology Revision}, in Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29 , Chitta Baral and James P. Delgrande and Frank Wolter, Eds. {AAAI} Press, 2016. pp. 589--592.
{Minimality Postulates for Ontology Revision}, in Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29 , Chitta Baral and James P. Delgrande and Frank Wolter, Eds. {AAAI} Press, 2016. pp. 589--592.
| Datei: | 12832 |
| Bibtex: | @inproceedings{oezcep16minimality,
Author = {{\"{O}}zg{\"{u}r} L. {\"{O}}z{\c{c}}ep},
Title = {{Minimality Postulates for Ontology Revision}},
Booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29},
Editor = {Chitta Baral and James P. Delgrande and Frank Wolter},
Pages = {589--592},
Year = {2016},
Publisher = {{AAAI} Press},
Url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12832}
} |
Gustavo Gonzalez
Granadillo,
Ender
Alvarez,
Alexander
Motzek,
Matteo
Merialdo,
Joaquin
Garcia-Alfaro, and
Hervé
Debar,
{Towards an Automated and Dynamic Risk Management Response System}, in NordSec 2016: 21st Nordic Conference on Secure IT Systems, Oulu, Finland, November 2 - 4 , Springer, 2016. pp. 37-53.
{Towards an Automated and Dynamic Risk Management Response System}, in NordSec 2016: 21st Nordic Conference on Secure IT Systems, Oulu, Finland, November 2 - 4 , Springer, 2016. pp. 37-53.
| DOI: | https://doi.org/10.1007/978-3-319-47560-8_3 |
| ISBN: | 978-3-319-47559-2 |
| Bibtex: | @inproceedings{drmrs-panoptesec-nordsec,
author={Gustavo Gonzalez Granadillo and Ender Alvarez and Alexander Motzek and Matteo Merialdo and Joaquin Garcia-Alfaro and Hervé Debar},
title={{Towards an Automated and Dynamic Risk Management Response System}},
booktitle={NordSec 2016: 21st Nordic Conference on Secure IT Systems, Oulu, Finland, November 2 - 4},
series = {LNCS},
volume ={10014},
pages={37-53},
year={2016}
publisher={Springer},
doi={https://doi.org/10.1007/978-3-319-47560-8_3},
isbn={978-3-319-47559-2}
} |
Gustavo Gonzalez
Granadillo,
Alexander
Motzek,
Joaquin
Garcia-Alfaro, and
Hervé
Debar,
{Selection of Mitigation Actions Based on Financial and Operational Impact Assessments}, in ARES 2016: 11th International Conference on Availability, Reliability and Security, Salzburg, Austria, August 31 - September 2 , 2016. pp. 137--146.
{Selection of Mitigation Actions Based on Financial and Operational Impact Assessments}, in ARES 2016: 11th International Conference on Availability, Reliability and Security, Salzburg, Austria, August 31 - September 2 , 2016. pp. 137--146.
| DOI: | 10.1109/ARES.2016.3 |
| Bibtex: | @inproceedings{selection-financial-operational-impact,
author={Gustavo Gonzalez Granadillo and Alexander Motzek and Joaquin Garcia-Alfaro and Hervé Debar},
title={{Selection of Mitigation Actions Based on Financial and Operational Impact Assessments}},
booktitle={ARES 2016: 11th International Conference on Availability, Reliability and Security, Salzburg, Austria, August 31 - September 2},
year={2016}
pages={137--146},
doi={10.1109/ARES.2016.3}
} |
Karsten
Martiny, and
Ralf
Möller,
{Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic}, KI - K{\"u}nstliche Intelligenz , pp. 1--9, 2016.
{Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic}, KI - K{\"u}nstliche Intelligenz , pp. 1--9, 2016.
| DOI: | http://link.springer.com/article/10.1007/s13218-016-0455-7 |
| Bibtex: | @Article{Martiny2016,
author={Karsten Martiny and Ralf M{\"o}ller},
title={{Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic}},
journal={KI - K{\"u}nstliche Intelligenz},
year={2016},
pages={1--9},
abstract={We present Probabilistic Doxastic Temporal (PDT) Logic, a formalism to represent and reason about probabilistic beliefs and their finite temporal evolution in multi-agent systems. This formalism enables the quantification of agents' beliefs through probability intervals and incorporates an explicit notion of time. In this work, we give an overview of recent contributions on PDT Logic. After describing the syntax and semantics of this formalism, we show that two alternative representation forms are available to model problems in PDT Logic. Furthermore, we outline how abductive reasoning can be performed in PDT Logic and how this formalism can be extended to infinite time frames.},
issn={1610-1987},
doi={http://link.springer.com/article/10.1007/s13218-016-0455-7}
} |
Alexander
Motzek, and
Ralf
Möller,
{Probabilistic Mission Defense and Assurance}, in {NATO IST-148 Symposium on Cyber Defence Situation Awareness, NATO IST-148, Sofia, Bulgaria, October 3-4} , 2016.
{Probabilistic Mission Defense and Assurance}, in {NATO IST-148 Symposium on Cyber Defence Situation Awareness, NATO IST-148, Sofia, Bulgaria, October 3-4} , 2016.
Karsten Martiny,
{PDT} Logic: {A} Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems, J. Artif. Intell. Res. {(JAIR)} , vol. 57, pp. 39--112, 2016. AAAI Press.
{PDT} Logic: {A} Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems, J. Artif. Intell. Res. {(JAIR)} , vol. 57, pp. 39--112, 2016. AAAI Press.
| Datei: | jair.5182 |
| Bibtex: | @article{MaMoeJAIR16,
author = {Karsten Martiny and Ralf M{\"{o}}ller},
title = {{PDT} Logic: {A} Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems},
journal = {J. Artif. Intell. Res. {(JAIR)}},
volume = {57},
pages = {39--112},
year = {2016},
url = {http://dx.doi.org/10.1613/jair.5182},
publisher={AAAI Press}
} |

