Publications - LS1 - Logik in der Informatik

Martin Mundhenk, Thomas Schneider, Thomas Schwentick and Volker Weber.
Complexity of hybrid logics over transitive frames.
J. Applied Logic 8(4):422–440, 2010.
URL, DOI BibTeX

@article{DBLP:journals/japll/MundhenkSSW10,
	author = "Martin Mundhenk and Thomas Schneider and Thomas Schwentick and Volker Weber",
	title = "Complexity of hybrid logics over transitive frames",
	journal = "J. Applied Logic",
	year = 2010,
	volume = 8,
	number = 4,
	pages = "422--440",
	url = "http://dx.doi.org/10.1016/j.jal.2010.08.004",
	doi = "10.1016/j.jal.2010.08.004",
	timestamp = "Tue, 18 Nov 2014 21:30:13 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/japll/MundhenkSSW10",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Ahmet Kara, Thomas Schwentick and Thomas Zeume.
Temporal Logics on Words with Multiple Data Values.
CoRR abs/1010.1139, 2010.
URL BibTeX

@article{DBLP:journals/corr/abs-1010-1139,
	author = "Ahmet Kara and Thomas Schwentick and Thomas Zeume",
	title = "Temporal Logics on Words with Multiple Data Values",
	journal = "CoRR",
	year = 2010,
	volume = "abs/1010.1139",
	url = "http://arxiv.org/abs/1010.1139",
	timestamp = "Tue, 18 Nov 2014 21:31:09 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1010-1139",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Ahmet Kara, Thomas Schwentick and Thomas Zeume.
Temporal Logics on Words with Multiple Data Values.
In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India. 2010, 481–492.
URL, DOI BibTeX

@inproceedings{DBLP:conf/fsttcs/KaraSZ10,
	author = "Ahmet Kara and Thomas Schwentick and Thomas Zeume",
	title = "Temporal Logics on Words with Multiple Data Values",
	booktitle = "{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010, Chennai, India",
	year = 2010,
	pages = "481--492",
	crossref = "DBLP:conf/fsttcs/2010",
	url = "http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2010.481",
	doi = "10.4230/LIPIcs.FSTTCS.2010.481",
	timestamp = "Tue, 18 Nov 2014 21:30:41 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/fsttcs/KaraSZ10",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Wim Martens, Matthias Niewerth and Thomas Schwentick.
Schema design for XML repositories: complexity and tractability.
In Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2010, June 6-11, 2010, Indianapolis, Indiana, USA. 2010, 239–250.
URL, DOI BibTeX

@inproceedings{DBLP:conf/pods/MartensNS10,
	author = "Wim Martens and Matthias Niewerth and Thomas Schwentick",
	title = "Schema design for {XML} repositories: complexity and tractability",
	booktitle = "Proceedings of the Twenty-Ninth {ACM} {SIGMOD-SIGACT-SIGART} Symposium on Principles of Database Systems, {PODS} 2010, June 6-11, 2010, Indianapolis, Indiana, {USA}",
	year = 2010,
	pages = "239--250",
	crossref = "DBLP:conf/pods/2010",
	url = "http://doi.acm.org/10.1145/1807085.1807117",
	doi = "10.1145/1807085.1807117",
	timestamp = "Tue, 18 Nov 2014 21:30:47 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/pods/MartensNS10",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Jean-Yves Marion and Thomas Schwentick.
Foreword – 27th International Symposium on Theoretical Aspects of Computer Science.
In 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France. 2010, 1–6.
URL, DOI BibTeX

@inproceedings{DBLP:conf/stacs/MarionS10,
	author = "Jean{-}Yves Marion and Thomas Schwentick",
	title = "Foreword -- 27th International Symposium on Theoretical Aspects of Computer Science",
	booktitle = "27th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2010, March 4-6, 2010, Nancy, France",
	year = 2010,
	pages = "1--6",
	crossref = "DBLP:conf/stacs/2010",
	url = "http://dx.doi.org/10.4230/LIPIcs.STACS.2010.2439",
	doi = "10.4230/LIPIcs.STACS.2010.2439",
	timestamp = "Tue, 18 Nov 2014 21:30:54 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/stacs/MarionS10",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Jean-Yves Marion and Thomas Schwentick.
Table of Contents - 27th International Symposium on Theoretical Aspects of Computer Science.
In 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France. 2010, 7–10.
URL, DOI BibTeX

@inproceedings{DBLP:conf/stacs/MarionS10a,
	author = "Jean{-}Yves Marion and Thomas Schwentick",
	title = "Table of Contents - 27th International Symposium on Theoretical Aspects of Computer Science",
	booktitle = "27th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2010, March 4-6, 2010, Nancy, France",
	year = 2010,
	pages = "7--10",
	crossref = "DBLP:conf/stacs/2010",
	url = "http://dx.doi.org/10.4230/LIPIcs.STACS.2010.2505",
	doi = "10.4230/LIPIcs.STACS.2010.2505",
	timestamp = "Tue, 18 Nov 2014 21:30:59 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/stacs/MarionS10a",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Jean-Yves Marion and Thomas Schwentick (eds.).
27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France
5. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010.
BibTeX

@proceedings{DBLP:conf/stacs/2010,
	editor = "Jean{-}Yves Marion and Thomas Schwentick",
	title = "27th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2010, March 4-6, 2010, Nancy, France",
	series = "LIPIcs",
	year = 2010,
	volume = 5,
	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
	isbn = "978-3-939897-16-3",
	timestamp = "Tue, 18 Nov 2014 21:31:04 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/stacs/2010",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Sven Hartrumpf, Tim Brück and Christian Eichhorn.
Detecting Duplicates with Shallow and Parser-based Methods.
In Proceedings of the 6th International Conference on Natural Language Processing and Knowledge Engineering (NLPKE). 2010, 142–149.
BibTeX

@inproceedings{hartrumpf_etal10,
	author = {Sven Hartrumpf and Tim vor der Br{\"u}ck and Christian Eichhorn},
	title = "Detecting Duplicates with Shallow and Parser-based Methods",
	booktitle = "Proceedings of the 6th International Conference on Natural Language Processing and Knowledge Engineering (NLPKE)",
	year = 2010,
	pages = "142--149",
	address = "Beijing, China} url={http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5587838"
}

Thomas Eiter, Georg Gottlob and Thomas Schwentick.
The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey.
In Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. 2010, 227–250.
URL, DOI BibTeX

@inproceedings{DBLP:conf/birthday/EiterGS10,
	author = "Thomas Eiter and Georg Gottlob and Thomas Schwentick",
	title = "The Model Checking Problem for Prefix Classes of Second-Order Logic: {A} Survey",
	booktitle = "Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday",
	year = 2010,
	pages = "227--250",
	crossref = "DBLP:conf/birthday/2010gurevich",
	url = "http://dx.doi.org/10.1007/978-3-642-15025-8_13",
	doi = "10.1007/978-3-642-15025-8_13",
	timestamp = "Tue, 18 Nov 2014 21:30:30 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/birthday/EiterGS10",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Christoph Beierle and Gabriele Kern-Isberner.
Editorial: Dynamics of knowledge and belief.
Logic Journal of the IGPL 18(4):485–487, 2010.
URL, DOI BibTeX

@article{Beierle2010,
	title = "Editorial: Dynamics of knowledge and belief",
	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
	journal = "Logic Journal of the {IGPL}",
	year = 2010,
	number = 4,
	pages = "485--487",
	volume = 18,
	doi = "10.1093/jigpal/jzp034",
	url = "http://dx.doi.org/10.1093/jigpal/jzp034"
}

Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner and Matthias Thimm.
Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law.
In Computational Models of Argument: Proceedings of COMMA 2010, Desenzano del Garda, Italy, September 8-10, 2010.. 2010, 87–98.
URL, DOI BibTeX

@inproceedings{Beierle2010b,
	title = "Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law",
	author = "Christoph Beierle and Bernhard Freund and Gabriele Kern{-}Isberner and Matthias Thimm",
	booktitle = "Computational Models of Argument: Proceedings of {COMMA} 2010, Desenzano del Garda, Italy, September 8-10, 2010.",
	year = 2010,
	pages = "87--98",
	doi = "10.3233/978-1-60750-619-5-87",
	url = "http://dx.doi.org/10.3233/978-1-60750-619-5-87"
}

Henrik Björklund, Wim Martens, Nicole Schweikardt and Thomas Schwentick.
Logik und Automaten: ein echtes Dreamteam.
Informatik Spektrum 33(5):452–461, 2010.
URL, DOI BibTeX

@article{DBLP:journals/insk/BjorklundMSS10,
	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Nicole Schweikardt and Thomas Schwentick},
	title = "Logik und Automaten: ein echtes Dreamteam",
	journal = "Informatik Spektrum",
	year = 2010,
	volume = 33,
	number = 5,
	pages = "452--461",
	url = "http://dx.doi.org/10.1007/s00287-010-0465-z",
	doi = "10.1007/s00287-010-0465-z",
	timestamp = "Tue, 18 Nov 2014 21:30:08 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/insk/BjorklundMSS10",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Thomas Schwentick and Thomas Zeume.
Two-Variable Logic with Two Order Relations - (Extended Abstract).
In Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. 2010, 499–513.
URL, DOI BibTeX

@inproceedings{DBLP:conf/csl/SchwentickZ10,
	author = "Thomas Schwentick and Thomas Zeume",
	title = "Two-Variable Logic with Two Order Relations - (Extended Abstract)",
	booktitle = "Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings",
	year = 2010,
	pages = "499--513",
	crossref = "DBLP:conf/csl/2010",
	url = "http://dx.doi.org/10.1007/978-3-642-15205-4_38",
	doi = "10.1007/978-3-642-15205-4_38",
	timestamp = "Tue, 18 Nov 2014 21:30:36 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/conf/csl/SchwentickZ10",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Patrick Krümpelmann and Matthias Thimm.
A Logic Programming Framework for Reasoning about Know-How.
In Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR'10). 2010.
BibTeX

@inproceedings{kruempelmann2010nmrb,
	annote = "sadfsf",
	author = {Kr{\"u}mpelmann, Patrick and Thimm, Matthias},
	booktitle = "Proceedings of the 13th International Workshop on Non-Monotonic Reasoning ({NMR}'10)",
	date-added = "2014-11-18 12:00:31 +0000",
	date-modified = "2014-11-18 12:00:31 +0000",
	keywords = "own",
	rss-description = "sdfasf",
	title = "A Logic Programming Framework for Reasoning about Know-How",
	year = 2010,
	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QZQAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuAC8AawByAHUDCABtAHAAZQBsAG0AYQBuAG4AMgAwADEAMABiAC4AcABkAGbSFwsYGVdOUy5kYXRhTxECVAAAAAACVAACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAykEGDEgrAAAAuMUlFGtyn21wZWxtYW5uMjAxMGIucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAC4xSvPn+lOAAAAAAAAAAAABAAHAAAJIAAAAAAAAAAAAAAAAAAAAAtrcp9tcGVsbWFubgAAEAAIAADKQOnsAAAAEQAIAADPn80uAAAAAQAoALjFJQC4xBgAt6WbAHUQzABwFJMAcBRkAAVe3AAFFdIABRTMAAC+7AACAItNYWNpbnRvc2ggSEQ6VXNlcnM6AHBhdHM6AERvY3VtZW50czoAbXlTdHVmZjoAc3ZuczoAYW5nZXJvbmE6AGRvY3VtZW50YXRpb246AGJpYmxpb2dyYXBoeToAYmliZGVzay1wYXBlcjoAa3KfbXBlbG1hbm46AGtyn21wZWxtYW5uMjAxMGIucGRmAAAOACwAFQBrAHIAdQMIAG0AcABlAGwAbQBhAG4AbgAyADAAMQAwAGIALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHhVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rcnXMiG1wZWxtYW5uL2tydcyIbXBlbG1hbm4yMDEwYi5wZGYAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgFbAWABaAPAA8IDxwPSA9sD6QPtA/QD/QQCBA8EEgQkBCcELAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAQu"
}

Geert Jan Bex, Frank Neven, Thomas Schwentick and Stijn Vansummeren.
Inference of concise regular expressions and DTDs.
ACM Trans. Database Syst. 35(2), 2010.
URL, DOI BibTeX

@article{DBLP:journals/tods/BexNSV10,
	author = "Geert Jan Bex and Frank Neven and Thomas Schwentick and Stijn Vansummeren",
	title = "Inference of concise regular expressions and DTDs",
	journal = "{ACM} Trans. Database Syst.",
	year = 2010,
	volume = 35,
	number = 2,
	url = "http://doi.acm.org/10.1145/1735886.1735890",
	doi = "10.1145/1735886.1735890",
	timestamp = "Tue, 18 Nov 2014 21:30:24 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/tods/BexNSV10",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Patrick Krümpelmann and Gabriele Kern-Isberner.
On belief dynamics of dependency relations for extended logic programs.
In Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR'10). 2010.
BibTeX

@inproceedings{kruempelmann2010nmra,
	author = {Kr{\"u}mpelmann, Patrick and Kern-Isberner, Gabriele},
	booktitle = "Proceedings of the 13th International Workshop on Non-Monotonic Reasoning ({NMR}'10)",
	date-added = "2014-11-18 12:00:31 +0000",
	date-modified = "2014-11-18 12:00:31 +0000",
	keywords = "own",
	title = "On belief dynamics of dependency relations for extended logic programs",
	year = 2010,
	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QZAAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuAC8AawByAHUDCABtAHAAZQBsAG0AYQBuAG4AMgAwADEAMAAuAHAAZABm0hcLGBlXTlMuZGF0YU8RAlAAAAAAAlAAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMpBBgxIKwAAALjFJRNrcp9tcGVsbWFubjIwMTAucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAuMUqz5/pTgAAAAAAAAAAAAQABwAACSAAAAAAAAAAAAAAAAAAAAALa3KfbXBlbG1hbm4AABAACAAAykDp7AAAABEACAAAz5/NLgAAAAEAKAC4xSUAuMQYALelmwB1EMwAcBSTAHAUZAAFXtwABRXSAAUUzAAAvuwAAgCKTWFjaW50b3NoIEhEOlVzZXJzOgBwYXRzOgBEb2N1bWVudHM6AG15U3R1ZmY6AHN2bnM6AGFuZ2Vyb25hOgBkb2N1bWVudGF0aW9uOgBiaWJsaW9ncmFwaHk6AGJpYmRlc2stcGFwZXI6AGtyn21wZWxtYW5uOgBrcp9tcGVsbWFubjIwMTAucGRmAA4AKgAUAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuADIAMAAxADAALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHdVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rcnXMiG1wZWxtYW5uL2tydcyIbXBlbG1hbm4yMDEwLnBkZgAAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgFZAV4BZgO6A7wDwQPMA9UD4wPnA+4D9wP8BAkEDAQeBCEEJgAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAQo"
}

Sven Hartrumpf, Tim vor der Brück and Christian Eichhorn.
Semantic Duplicate Identification with Parsing and Machine Learning.
In Petr Sojka, Ale\v Hor\ak, Ivan Kope\v cek and Karel Pala (eds.). Proceedings of the 13th International Conference on Text, Speech and Dialogue (TSD 2010) 6231. 2010, 84–92.
BibTeX

@inproceedings{hartrumpf_etal10b,
	author = {Sven Hartrumpf and Tim {vor der Br{\"u}ck} and Christian Eichhorn},
	title = "Semantic Duplicate Identification with Parsing and Machine Learning",
	editor = "Petr Sojka and Ale{\v s} Hor{\a}k and Ivan Kope{\v c}ek and Karel Pala",
	booktitle = "Proceedings of the 13th International Conference on Text, Speech and Dialogue (TSD 2010)",
	year = 2010,
	series = "Lecture Notes in Artificial Intelligence",
	volume = 6231,
	pages = "84--92",
	address = "Brno, Czech Republic",
	month = ""
}

Christoph Beierle and Gabriele Kern-Isberner.
The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics.
In Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings. 2010, 191–210.
URL, DOI BibTeX

@inproceedings{Beierle2010a,
	title = "The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics",
	author = "Christoph Beierle and Gabriele Kern{-}Isberner",
	booktitle = "Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings",
	year = 2010,
	pages = "191--210",
	doi = "10.1007/978-3-642-11829-6_14",
	url = "http://dx.doi.org/10.1007/978-3-642-11829-6_14"
}

Patrick Krümpelmann.
Towards Dependency Semantics for Conflict Handling in Logic Programs.
In Christoph Beierle and Gabriele Kern-Isberner (eds.). Proceedings of the 1st Workshop on Relational Approaches to Knowledge Representation and Learning. September 2009, 79–93.
BibTeX

@inproceedings{kruempelmann2009ki,
	address = "Paderborn, Germany",
	author = {Patrick Kr{\"u}mpelmann},
	booktitle = "Proceedings of the 1st Workshop on Relational Approaches to Knowledge Representation and Learning",
	date-added = "2014-11-18 12:00:31 +0000",
	date-modified = "2014-11-18 12:00:31 +0000",
	editor = "Christoph Beierle and Gabriele Kern-Isberner",
	keywords = "own",
	month = "September",
	pages = "79--93",
	title = "Towards Dependency Semantics for Conflict Handling in Logic Programs",
	year = 2009,
	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QZQAuAC4ALwAuAC4ALwAuAC4ALwAuAC4ALwBzAHYAbgBzAC8AYQBuAGcAZQByAG8AbgBhAC8AZABvAGMAdQBtAGUAbgB0AGEAdABpAG8AbgAvAGIAaQBiAGwAaQBvAGcAcgBhAHAAaAB5AC8AYgBpAGIAZABlAHMAawAtAHAAYQBwAGUAcgAvAGsAcgB1AwgAbQBwAGUAbABtAGEAbgBuAC8AawByAHUDCABtAHAAZQBsAG0AYQBuAG4AMgAwADAAOQBhAC4AcABkAGbSFwsYGVdOUy5kYXRhTxECVAAAAAACVAACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAykEGDEgrAAAAuMUlFGtyn21wZWxtYW5uMjAwOWEucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAC4xSjPn+lOAAAAAAAAAAAABAAHAAAJIAAAAAAAAAAAAAAAAAAAAAtrcp9tcGVsbWFubgAAEAAIAADKQOnsAAAAEQAIAADPn80uAAAAAQAoALjFJQC4xBgAt6WbAHUQzABwFJMAcBRkAAVe3AAFFdIABRTMAAC+7AACAItNYWNpbnRvc2ggSEQ6VXNlcnM6AHBhdHM6AERvY3VtZW50czoAbXlTdHVmZjoAc3ZuczoAYW5nZXJvbmE6AGRvY3VtZW50YXRpb246AGJpYmxpb2dyYXBoeToAYmliZGVzay1wYXBlcjoAa3KfbXBlbG1hbm46AGtyn21wZWxtYW5uMjAwOWEucGRmAAAOACwAFQBrAHIAdQMIAG0AcABlAGwAbQBhAG4AbgAyADAAMAA5AGEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAHhVc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9rcnXMiG1wZWxtYW5uL2tydcyIbXBlbG1hbm4yMDA5YS5wZGYAEwABLwAAFQACAAv//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgFbAWABaAPAA8IDxwPSA9sD6QPtA/QD/QQCBA8EEgQkBCcELAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAQu"
}

Thomas Schwentick and Henrik Björklund.
Volker Weber.
Journal of Logic, Language and Information 18(4):433, 2009.
URL, DOI BibTeX

@article{DBLP:journals/jolli/SchwentickB09,
	author = {Thomas Schwentick and Henrik Bj{\"{o}}rklund},
	title = "Volker Weber",
	journal = "Journal of Logic, Language and Information",
	year = 2009,
	volume = 18,
	number = 4,
	pages = 433,
	url = "http://dx.doi.org/10.1007/s10849-009-9097-6",
	doi = "10.1007/s10849-009-9097-6",
	timestamp = "Tue, 18 Nov 2014 21:31:26 +0100",
	biburl = "http://dblp.uni-trier.de/rec/bib/journals/jolli/SchwentickB09",
	bibsource = "dblp computer science bibliography, http://dblp.org"
}

Seite 10 von 12