Publications - LS1 - Logik in der Informatik

Héctor Allende-Cid, Claudio Moraga, Héctor Allende and Raúl Monge.
Context-Aware Regression from Distributed Sources.
In Intelligent Distributed Computing VII - Proceedings of the 7th International Symposium on Intelligent Distributed Computing, IDC 2013, Prague, Czech Republic, September 2013. 2013, 17–22.
URL, DOI BibTeX

@inproceedings{DBLP:conf/idc/Allende-CidMAM13,
	author = "H{\'{e}}ctor Allende{-}Cid and Claudio Moraga and H{\'{e}}ctor Allende and Ra{\'{u}}l Monge",
	title = "Context-Aware Regression from Distributed Sources",
	booktitle = "Intelligent Distributed Computing {VII} - Proceedings of the 7th International Symposium on Intelligent Distributed Computing, {IDC} 2013, Prague, Czech Republic, September 2013",
	pages = "17--22",
	year = 2013,
	crossref = "DBLP:conf/idc/2013",
	url = "http://dx.doi.org/10.1007/978-3-319-01571-2_3",
	doi = "10.1007/978-3-319-01571-2_3",
	timestamp = "Thu, 09 Oct 2014 20:36:12 +0200",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/idc/Allende-CidMAM13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Claudio Moraga, Milena Stankovic, Radomir S Stankovic and Suzana Stojkovic.
Contribution to the Study of Multiple-Valued Bent Functions.
In 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013. 2013, 340–345.
URL, DOI BibTeX

@inproceedings{DBLP:conf/ismvl/MoragaSSS13,
	author = "Claudio Moraga and Milena Stankovic and Radomir S. Stankovic and Suzana Stojkovic",
	title = "Contribution to the Study of Multiple-Valued Bent Functions",
	booktitle = "43rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2013, Toyama, Japan, May 22-24, 2013",
	pages = "340--345",
	year = 2013,
	crossref = "DBLP:conf/ismvl/2013",
	url = "http://dx.doi.org/10.1109/ISMVL.2013.21",
	doi = "10.1109/ISMVL.2013.21",
	timestamp = "Wed, 12 Jun 2013 13:40:26 +0200",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/ismvl/MoragaSSS13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Patrick Krümpelmann, Tim Janus and Gabriele Kern-Isberner.
Angerona - A Multiagent Framework for Logic Based Agents.
Technische Universität Dortmund, Department of Computer Science, 2014.
BibTeX

@techreport{kruempelmann2013,
	author = {Kr\"umpelmann, Patrick and Janus, Tim and Kern-Isberner, Gabriele},
	date-added = "2014-11-18 12:01:52 +0000",
	date-modified = "2014-11-18 12:01:52 +0000",
	institution = {Technische Universit{\"a}t Dortmund, Department of Computer Science},
	title = "Angerona - A Multiagent Framework for Logic Based Agents",
	year = 2014
}

Henrik Björklund, Martin Schuster, Thomas Schwentick and Joscha Kulbatzki.
On optimum left-to-right strategies for active context-free games.
In Joint 2013 EDBT/ICDT Conferences, ICDT '13 Proceedings, Genoa, Italy, March 18-22, 2013. 2013, 105–116.
URL PDF, DOI BibTeX

@inproceedings{DBLP:conf/icdt/BjorklundSSK13,
	author = {Henrik Bj{\"{o}}rklund and Martin Schuster and Thomas Schwentick and Joscha Kulbatzki},
	title = "On optimum left-to-right strategies for active context-free games",
	booktitle = "Joint 2013 {EDBT/ICDT} Conferences, {ICDT} '13 Proceedings, Genoa, Italy, March 18-22, 2013",
	year = 2013,
	pages = "105--116",
	crossref = "DBLP:conf/icdt/2013",
	url = "http://doi.acm.org/10.1145/2448496.2448510",
	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/BjoerklundSSKOptimum13.pdf",
	doi = "10.1145/2448496.2448510",
	timestamp = "Tue, 18 Nov 2014 21:26:06 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/BjorklundSSK13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Thomas Schwentick.
The Dynamic Complexity of the Reachability Problem on Graphs.
In Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings. 2013, 45.
URL, DOI BibTeX

@inproceedings{DBLP:conf/rp/Schwentick13,
	author = "Thomas Schwentick",
	title = "The Dynamic Complexity of the Reachability Problem on Graphs",
	booktitle = "Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings",
	year = 2013,
	pages = 45,
	crossref = "DBLP:conf/rp/2013",
	url = "http://dx.doi.org/10.1007/978-3-642-41036-9_5",
	doi = "10.1007/978-3-642-41036-9_5",
	timestamp = "Tue, 18 Nov 2014 21:26:36 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/rp/Schwentick13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Benedikt Bollig, Aiswarya Cyriac, Lo{\"ı}c Hélouët, Ahmet Kara and Thomas Schwentick.
Dynamic Communicating Automata and Branching High-Level MSCs.
In Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings. 2013, 177–189.
URL PDF, DOI BibTeX

@inproceedings{DBLP:conf/lata/BolligCHKS13,
	author = {Benedikt Bollig and Aiswarya Cyriac and Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and Ahmet Kara and Thomas Schwentick},
	title = "Dynamic Communicating Automata and Branching High-Level MSCs",
	booktitle = "Language and Automata Theory and Applications - 7th International Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings",
	pages = "177--189",
	year = 2013,
	crossref = "DBLP:conf/lata/2013",
	url = "http://dx.doi.org/10.1007/978-3-642-37064-9_17",
	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/BolligCHKDynamic13.pdf",
	doi = "10.1007/978-3-642-37064-9_17",
	timestamp = "Tue, 11 Nov 2014 16:50:37 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/lata/BolligCHKS13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Henrik Björklund, Wim Martens and Thomas Schwentick.
Validity of Tree Pattern Queries with Respect to Schema Information.
In Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. 2013, 171–182.
URL PDF, DOI BibTeX

@inproceedings{DBLP:conf/mfcs/BjorklundMS13,
	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Thomas Schwentick},
	title = "Validity of Tree Pattern Queries with Respect to Schema Information",
	booktitle = "Mathematical Foundations of Computer Science 2013 - 38th International Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings",
	year = 2013,
	pages = "171--182",
	crossref = "DBLP:conf/mfcs/2013",
	url = "http://dx.doi.org/10.1007/978-3-642-40313-2_17",
	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/BjoerklundMSValidity13.pdf",
	doi = "10.1007/978-3-642-40313-2_17",
	timestamp = "Tue, 18 Nov 2014 21:26:24 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/mfcs/BjorklundMS13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Thomas Zeume and Thomas Schwentick.
On the Quantifier-Free Dynamic Complexity of Reachability.
In Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. 2013, 837–848.
URL PDF, DOI BibTeX

@inproceedings{DBLP:conf/mfcs/ZeumeS13,
	author = "Thomas Zeume and Thomas Schwentick",
	title = "On the Quantifier-Free Dynamic Complexity of Reachability",
	booktitle = "Mathematical Foundations of Computer Science 2013 - 38th International Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings",
	year = 2013,
	pages = "837--848",
	crossref = "DBLP:conf/mfcs/2013",
	url = "http://dx.doi.org/10.1007/978-3-642-40313-2_73",
	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/ZeumeSQuantifier13.pdf",
	doi = "10.1007/978-3-642-40313-2_73",
	timestamp = "Tue, 18 Nov 2014 21:26:31 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/mfcs/ZeumeS13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Thomas Schwentick.
Perspectives of Dynamic Complexity.
In Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. 2013, 33.
URL, DOI BibTeX

@inproceedings{DBLP:conf/wollic/Schwentick13,
	author = "Thomas Schwentick",
	title = "Perspectives of Dynamic Complexity",
	booktitle = "Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings",
	year = 2013,
	pages = 33,
	crossref = "DBLP:conf/wollic/2013",
	url = "http://dx.doi.org/10.1007/978-3-642-39992-3_6",
	doi = "10.1007/978-3-642-39992-3_6",
	timestamp = "Tue, 18 Nov 2014 21:26:51 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/wollic/Schwentick13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

@inproceedings{DBLP:conf/wollic/Schwentick13,
	author = "Thomas Schwentick",
	title = "Perspectives of Dynamic Complexity",
	booktitle = "Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings",
	year = 2013,
	pages = 33,
	crossref = "DBLP:conf/wollic/2013",
	url = "http://dx.doi.org/10.1007/978-3-642-39992-3_6",
	doi = "10.1007/978-3-642-39992-3_6",
	timestamp = "Wed, 19 Nov 2014 21:46:37 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/wollic/Schwentick13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Thomas Zeume and Thomas Schwentick.
On the quantifier-free dynamic complexity of Reachability.
CoRR abs/1306.3056, 2013.
URL BibTeX

@article{DBLP:journals/corr/ZeumeS13,
	author = "Thomas Zeume and Thomas Schwentick",
	title = "On the quantifier-free dynamic complexity of Reachability",
	journal = "CoRR",
	year = 2013,
	volume = "abs/1306.3056",
	url = "http://arxiv.org/abs/1306.3056",
	timestamp = "Tue, 18 Nov 2014 21:27:03 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/ZeumeS13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Amaldev Manuel, Thomas Schwentick and Thomas Zeume.
A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor.
CoRR abs/1306.3418, 2013.
URL BibTeX

@article{DBLP:journals/corr/ManuelSZ13,
	author = "Amaldev Manuel and Thomas Schwentick and Thomas Zeume",
	title = "A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor",
	journal = "CoRR",
	year = 2013,
	volume = "abs/1306.3418",
	url = "http://arxiv.org/abs/1306.3418",
	timestamp = "Tue, 18 Nov 2014 21:27:13 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/ManuelSZ13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Amaldev Manuel and Thomas Zeume.
Two-Variable Logic on 2-Dimensional Structures.
In Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. 2013, 484–499.
URL, DOI BibTeX

@inproceedings{DBLP:conf/csl/ManuelZ13,
	author = "Amaldev Manuel and Thomas Zeume",
	title = "Two-Variable Logic on 2-Dimensional Structures",
	booktitle = "Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5, 2013, Torino, Italy",
	pages = "484--499",
	year = 2013,
	url = "http://dx.doi.org/10.4230/LIPIcs.CSL.2013.484",
	doi = "10.4230/LIPIcs.CSL.2013.484",
	timestamp = "Wed, 04 Sep 2013 20:26:36 +0200",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/csl/ManuelZ13",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Patrick Krümpelmann and Gabriele Kern-Isberner.
Secrecy preserving BDI Agents based on Answerset Programming.
In Proceedings of the 11th German Conference on Multi-Agent System Technologies (MATES'13) 8076. 2013, 124–137.
BibTeX

@inproceedings{kruempelmann2013mates,
	author = {Kr\"umpelmann, Patrick and Kern-Isberner, Gabriele},
	booktitle = "Proceedings of the 11th German Conference on Multi-Agent System Technologies (MATES'13)",
	date-added = "2014-11-18 12:00:31 +0000",
	date-modified = "2014-11-18 12:00:31 +0000",
	keywords = "own, agents, a5, secrecy, secrecy preserving agents, a5miss",
	pages = "124--137",
	publisher = "Springer",
	series = "Lecture Notes in Computer Science",
	title = "Secrecy preserving {BDI} {A}gents based on {A}nswerset {P}rogramming",
	volume = 8076,
	year = 2013,
	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QZi4uLy4uLy4uLy4uL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rclwidW1wZWxtYW5uL2tyXCJ1bXBlbG1hbm4yMDEzLnBkZtIXCxgZV05TLmRhdGFPEQJYAAAAAAJYAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADKQQYMSCsAAAC4xSEVa3JcInVtcGVsbWFubjIwMTMucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMVBrM/2md4AAAAAAAAAAAAEAAcAAAkgAAAAAAAAAAAAAAAAAAAADWtyXCJ1bXBlbG1hbm4AABAACAAAykDp7AAAABEACAAAz/Z9vgAAAAEAKAC4xSEAuMQYALelmwB1EMwAcBSTAHAUZAAFXtwABRXSAAUUzAAAvuwAAgCOTWFjaW50b3NoIEhEOlVzZXJzOgBwYXRzOgBEb2N1bWVudHM6AG15U3R1ZmY6AHN2bnM6AGFuZ2Vyb25hOgBkb2N1bWVudGF0aW9uOgBiaWJsaW9ncmFwaHk6AGJpYmRlc2stcGFwZXI6AGtyXCJ1bXBlbG1hbm46AGtyXCJ1bXBlbG1hbm4yMDEzLnBkZgAOACwAFQBrAHIAXAAiAHUAbQBwAGUAbABtAGEAbgBuADIAMAAxADMALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHdVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rclwidW1wZWxtYW5uL2tyXCJ1bXBlbG1hbm4yMDEzLnBkZgAAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgD3APwBBANgA2IDZwNyA3sDiQONA5QDnQOiA68DsgPEA8cDzAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAPO"
}

Christoph Beierle, Marc Finthammer, Nico Potyka, Julian Varghese and Gabriele Kern-Isberner.
A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery.
In Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings. 2013, 49–60.
URL, DOI BibTeX

@inproceedings{Beierle2013,
	title = "A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery",
	author = "Christoph Beierle and Marc Finthammer and Nico Potyka and Julian Varghese and Gabriele Kern{-}Isberner",
	booktitle = "Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, {ECSQARU} 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings",
	year = 2013,
	pages = "49--60",
	doi = "10.1007/978-3-642-39091-3_5",
	url = "http://dx.doi.org/10.1007/978-3-642-39091-3_5"
}

@inproceedings{Beierle2013,
	title = "A Case Study on the Application of Probabilistic Conditional Modelling and Reasoning to Clinical Patient Data in Neurosurgery",
	author = "Christoph Beierle and Marc Finthammer and Nico Potyka and Julian Varghese and Gabriele Kern{-}Isberner",
	booktitle = "Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, {ECSQARU} 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings",
	year = 2013,
	pages = "49--60",
	doi = "10.1007/978-3-642-39091-3_5",
	url = "http://dx.doi.org/10.1007/978-3-642-39091-3_5"
}

Ella Albrecht, Patrick Krümpelmann and Gabriele Kern-Isberner.
Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs.
In Michael Hanus and Ricardo Rocha (eds.). Post-proceedings of the 27th Workshop on Functional and Logic Programming (WFLP 2013). 0.
BibTeX

@inproceedings{albrecht2013fk,
	author = {Ella Albrecht and Patrick Kr{\"u}mpelmann and Gabriele Kern-Isberner},
	booktitle = "Post-proceedings of the 27th Workshop on Functional and Logic Programming (WFLP 2013)",
	date-added = "2014-11-18 12:00:31 +0000",
	date-modified = "2014-11-18 12:00:31 +0000",
	editor = "Hanus, Michael and Rocha, Ricardo",
	keywords = "own, a5miss",
	publisher = "Springer",
	series = "Lecture Notes in Computer Science",
	title = "Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs",
	year = "to appear",
	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QXC4uLy4uLy4uLy4uL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9hbGJyZWNodC9hbGJyZWNodDIwMTQucGRm0hcLGBlXTlMuZGF0YU8RAjQAAAAAAjQAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMpBBgxIKwAAANDemRBhbGJyZWNodDIwMTQucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAwargz+AUlQAAAAAAAAAAAAQABwAACSAAAAAAAAAAAAAAAAAAAAAIYWxicmVjaHQAEAAIAADKQOnsAAAAEQAIAADP3/h1AAAAAQAoANDemQC4xBgAt6WbAHUQzABwFJMAcBRkAAVe3AAFFdIABRTMAAC+7AACAIRNYWNpbnRvc2ggSEQ6VXNlcnM6AHBhdHM6AERvY3VtZW50czoAbXlTdHVmZjoAc3ZuczoAYW5nZXJvbmE6AGRvY3VtZW50YXRpb246AGJpYmxpb2dyYXBoeToAYmliZGVzay1wYXBlcjoAYWxicmVjaHQ6AGFsYnJlY2h0MjAxNC5wZGYADgAiABAAYQBsAGIAcgBlAGMAaAB0ADIAMAAxADQALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAG1Vc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9hbGJyZWNodC9hbGJyZWNodDIwMTQucGRmAAATAAEvAAAVAAIAC///AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAO0A8gD6AzIDNAM5A0QDTQNbA18DZgNvA3QDgQOEA5YDmQOeAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAA6A="
}

Gabriele Kern-Isberner and Christian Eichhorn.
Intensional combination of rankings for OCF-networks.
In Chutima Boonthum-Denecke and Michael Youngblood (eds.). Proceedings of the 26th International FLAIRS Conference FLAIRS-2013. 2013, 615–620.
PDF BibTeX

@inproceedings{KernIsbernerEichhorn2013,
	title = "Intensional combination of rankings for {OCF}-networks",
	author = "Gabriele Kern-Isberner and Christian Eichhorn",
	booktitle = "Proceedings of the 26th International FLAIRS Conference {FLAIRS}-2013",
	editor = "Chutima Boonthum-Denecke and Youngblood, Michael",
	publisher = "{AAAI} Press",
	pages = "615--620",
	pdf = "http://ls1-www.cs.uni-dortmund.de/~eichhorn/flairs_2013_gki_ce.pdf",
	year = 2013
}

Patrick Krümpelmann and Gabriele Kern-Isberner.
On Agent-based Epistemic Secrecy.
In Riccardo Rossi and Stefan Woltran (eds.). Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'12). 2012.
BibTeX

@inproceedings{krumpelmann2012,
	author = {Kr{\"u}mpelmann, Patrick and Kern-Isberner, Gabriele},
	booktitle = "Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'12)",
	date-added = "2014-11-18 12:00:31 +0000",
	date-modified = "2014-11-18 12:00:31 +0000",
	editor = "Riccardo Rossi and Stefan Woltran",
	keywords = "own",
	title = "On Agent-based Epistemic Secrecy",
	year = 2012,
	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QZQAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuAC8AawByAHUDCABtAHAAZQBsAG0AYQBuAG4AMgAwADEAMgBjAC4AcABkAGbSFwsYGVdOUy5kYXRhTxECVAAAAAACVAACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAykEGDEgrAAAAuMUlFGtyn21wZWxtYW5uMjAxMmMucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAC4xS/Pn+lOAAAAAAAAAAAABAAHAAAJIAAAAAAAAAAAAAAAAAAAAAtrcp9tcGVsbWFubgAAEAAIAADKQOnsAAAAEQAIAADPn80uAAAAAQAoALjFJQC4xBgAt6WbAHUQzABwFJMAcBRkAAVe3AAFFdIABRTMAAC+7AACAItNYWNpbnRvc2ggSEQ6VXNlcnM6AHBhdHM6AERvY3VtZW50czoAbXlTdHVmZjoAc3ZuczoAYW5nZXJvbmE6AGRvY3VtZW50YXRpb246AGJpYmxpb2dyYXBoeToAYmliZGVzay1wYXBlcjoAa3KfbXBlbG1hbm46AGtyn21wZWxtYW5uMjAxMmMucGRmAAAOACwAFQBrAHIAdQMIAG0AcABlAGwAbQBhAG4AbgAyADAAMQAyAGMALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHhVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rcnXMiG1wZWxtYW5uL2tydcyIbXBlbG1hbm4yMDEyYy5wZGYAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgFbAWABaAPAA8IDxwPSA9sD6QPtA/QD/QQCBA8EEgQkBCcELAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAQu"
}

Gabriele Kern-Isberner and Christian Eichhorn.
OCF-Networks with missing values.
In Christoph Beierle and Gabriele Kern-Isberner (eds.). Proceedings of th 4th Workshop on Dynamics of Knowledge and Belief (DBK-2013). 2013, 46–60.
PDF BibTeX

@inproceedings{KernIsbernerEichhorn2013b,
	title = "OCF-Networks with missing values",
	author = "Gabriele Kern-Isberner and Christian Eichhorn",
	booktitle = "Proceedings of th 4th Workshop on Dynamics of Knowledge and Belief (DBK-2013)",
	editor = "Christoph Beierle AND Gabriele Kern-Isberner",
	publisher = {{FernUniversit\"{a}t in Hagen}},
	pages = "46--60",
	pdf = "http://ls1-www.cs.uni-dortmund.de/~eichhorn/dkb_2013_gki_ce.pdf",
	year = 2013
}

Seite 10 von 16