Attribut:BibTex
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Code.
"
@inproceedings{BM2021,
author = {Bartosz Bednarczyk and Jakub Michaliszyn},
title = {"Most of" leads to undecidability: Failure of adding frequencies
to {LTL}},
editor = {Stefan Kiefer and Christine Tasson},
booktitle = {Proceedings of the Foundations of Software Science and
Computation Structures - 24th International Conference (FOSSACS
2021)},
series = {Lecture Notes in Computer Science},
volume = {12650},
publisher = {Springer},
year = {2021},
month = {March},
pages = {82--101},
doi = {10.1007/978-3-030-71995-1\_5}
}
author = {Bartosz Bednarczyk and Jakub Michaliszyn},
title = {"Most of" leads to undecidability: Failure of adding frequencies
to {LTL}},
editor = {Stefan Kiefer and Christine Tasson},
booktitle = {Proceedings of the Foundations of Software Science and
Computation Structures - 24th International Conference (FOSSACS
2021)},
series = {Lecture Notes in Computer Science},
volume = {12650},
publisher = {Springer},
year = {2021},
month = {March},
pages = {82--101},
doi = {10.1007/978-3-030-71995-1\_5}
}
(
@article{NR2014,
author = {Nadeschda Nikitina and Sebastian Rudolph},
title = {(Non-)Succinctness of uniform interpolants of general terminologies
in the description logic {$\mathcal{EL}$}},
journal = {Artificial Intelligence},
volume = {215},
year = {2014},
month = {October},
pages = {120-140},
doi = {10.1016/j.artint.2014.06.005}
}
author = {Nadeschda Nikitina and Sebastian Rudolph},
title = {(Non-)Succinctness of uniform interpolants of general terminologies
in the description logic {$\mathcal{EL}$}},
journal = {Artificial Intelligence},
volume = {215},
year = {2014},
month = {October},
pages = {120-140},
doi = {10.1016/j.artint.2014.06.005}
}
1
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004 +
@book{ BaaderLPAR2004,
address = {Montevideo, Uruguay},
editor = {F. {Baader} and A. {Voronkonv}},
publisher = {Springer-Verlag},
series = {Lecture Notes in Artificial Intelligence},
title = {11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning {LPAR 2004}},
volume = {3452},
year = {2005},
}
address = {Montevideo, Uruguay},
editor = {F. {Baader} and A. {Voronkonv}},
publisher = {Springer-Verlag},
series = {Lecture Notes in Artificial Intelligence},
title = {11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning {LPAR 2004}},
volume = {3452},
year = {2005},
}
@techreport{FH2003,
author = {Bertram Fronh{\"{o}}fer and Steffen H{\"{o}}lldobler},
title = {17. {WLP:} Workshop Logische Programmierung, {TU} Dresden,
December 11{\textendash}13, 2002},
institution = {TU Dresden, 01062 Dresden},
year = {2003},
month = {April}
}
author = {Bertram Fronh{\"{o}}fer and Steffen H{\"{o}}lldobler},
title = {17. {WLP:} Workshop Logische Programmierung, {TU} Dresden,
December 11{\textendash}13, 2002},
institution = {TU Dresden, 01062 Dresden},
year = {2003},
month = {April}
}
@book{ BaaderRTA07,
editor = {F. {Baader}},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {18th International Conference on Rewriting Techniques and Applications {(RTA 2007)}},
volume = {4533},
year = {2007},
}
editor = {F. {Baader}},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {18th International Conference on Rewriting Techniques and Applications {(RTA 2007)}},
volume = {4533},
year = {2007},
}
2
@article{ LangeLutzJSL05,
author = {M. {Lange} and C. {Lutz}},
journal = {Journal of Symbolic Logic},
number = {5},
pages = {1072--1086},
title = {2-ExpTime lower bounds for Propositional Dynamic Logics with intersection},
volume = {70},
year = {2005},
}
author = {M. {Lange} and C. {Lutz}},
journal = {Journal of Symbolic Logic},
number = {5},
pages = {1072--1086},
title = {2-ExpTime lower bounds for Propositional Dynamic Logics with intersection},
volume = {70},
year = {2005},
}
6
@book{ BaaderSiekmannSnyderUnif,
address = {{IBFI} {GmbH}, {S}chlo{\ss} {D}agstuhl, Germany},
booktitle = {6th {W}orkshop on {U}nification},
editor = {F. {Baader} and J. {Siekmann} and W. {Snyder}},
series = {Dagstuhl-Seminar-Report 42},
title = {6th {W}orkshop on {U}nification},
year = {1992},
}
address = {{IBFI} {GmbH}, {S}chlo{\ss} {D}agstuhl, Germany},
booktitle = {6th {W}orkshop on {U}nification},
editor = {F. {Baader} and J. {Siekmann} and W. {Snyder}},
series = {Dagstuhl-Seminar-Report 42},
title = {6th {W}orkshop on {U}nification},
year = {1992},
}
?
@article{BT1996,
author = {Sven-Erik Bornscheuer and Michael Thielscher},
title = {???},
journal = {Fortschritte in der K{\"{u}}nstlichen Intelligenz, Dresden
University Press},
year = {1996}
}
author = {Sven-Erik Bornscheuer and Michael Thielscher},
title = {???},
journal = {Fortschritte in der K{\"{u}}nstlichen Intelligenz, Dresden
University Press},
year = {1996}
}
A
@article{HS2001,
author = {Pascal Hitzler and Anthony Karel Seda},
title = {A "Converse" of the Banach Contraction Mapping Theorem},
journal = {Journal of Electrical Engineering, Slovak Academy of Sciences},
volume = {52},
number = {10/s},
year = {2001},
pages = {3-6}
}
author = {Pascal Hitzler and Anthony Karel Seda},
title = {A "Converse" of the Banach Contraction Mapping Theorem},
journal = {Journal of Electrical Engineering, Slovak Academy of Sciences},
volume = {52},
number = {10/s},
year = {2001},
pages = {3-6}
}
@inproceedings{BGDC2011,
author = {Javier Oscar Blanco and Pio Garcia and Martin Diller and Renato
Cherini},
title = {A Behavioral Characterization of Computational Systems},
editor = {Verlagshaus Monsenstein und Vannerdat {OHG}},
booktitle = {Proceedings of the 1rst International Conference of the
International Association for Computing and Philosophy},
year = {2011},
pages = {30-33}
}
author = {Javier Oscar Blanco and Pio Garcia and Martin Diller and Renato
Cherini},
title = {A Behavioral Characterization of Computational Systems},
editor = {Verlagshaus Monsenstein und Vannerdat {OHG}},
booktitle = {Proceedings of the 1rst International Conference of the
International Association for Computing and Philosophy},
year = {2011},
pages = {30-33}
}
@inproceedings{COSTV2014,
author = {Federico Cerutti and Nir Oren and Hannes Stra{\ss} and Matthias
Thimm and Mauro Vallati},
title = {A Benchmark Framework for a Computational Argumentation
Competition},
editor = {Simon Parsons and Nir Oren and Chris Reed},
booktitle = {Proceedings of the Fifth International Conference on
Computational Models of Argument (COMMA)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {266},
publisher = {IOS Press},
year = {2014},
month = {September},
pages = {459--460}
}
author = {Federico Cerutti and Nir Oren and Hannes Stra{\ss} and Matthias
Thimm and Mauro Vallati},
title = {A Benchmark Framework for a Computational Argumentation
Competition},
editor = {Simon Parsons and Nir Oren and Chris Reed},
booktitle = {Proceedings of the Fifth International Conference on
Computational Models of Argument (COMMA)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {266},
publisher = {IOS Press},
year = {2014},
month = {September},
pages = {459--460}
}
@inproceedings{KMKH2011,
author = {Markus Kr{\"{o}}tzsch and Frederick Maier and Adila Krisnadhi and
Pascal Hitzler},
title = {A Better Uncle for {OWL:} Nominal Schemas for Integrating Rules
and Ontologies},
booktitle = {Proc. 20th International Conference on World Wide Web (WWW'11)},
publisher = {ACM},
year = {2011},
month = {March},
pages = {645-654},
doi = {10.1145/1963405.1963496}
}
author = {Markus Kr{\"{o}}tzsch and Frederick Maier and Adila Krisnadhi and
Pascal Hitzler},
title = {A Better Uncle for {OWL:} Nominal Schemas for Integrating Rules
and Ontologies},
booktitle = {Proc. 20th International Conference on World Wide Web (WWW'11)},
publisher = {ACM},
year = {2011},
month = {March},
pages = {645-654},
doi = {10.1145/1963405.1963496}
}
@incollection{KG2009,
author = {Markus Kr{\"{o}}tzsch and Bernhard Ganter},
title = {A Brief Introduction to Formal Concept Analysis},
editor = {Pascal Hitzler and Hendrik Sch{\"{a}}rfe},
booktitle = {Conceptual Structures in Practice},
series = {CRC Studies in Informatics},
publisher = {Chapman \& Hall},
year = {2009},
month = {May},
pages = {3--16}
}
author = {Markus Kr{\"{o}}tzsch and Bernhard Ganter},
title = {A Brief Introduction to Formal Concept Analysis},
editor = {Pascal Hitzler and Hendrik Sch{\"{a}}rfe},
booktitle = {Conceptual Structures in Practice},
series = {CRC Studies in Informatics},
publisher = {Chapman \& Hall},
year = {2009},
month = {May},
pages = {3--16}
}
@techreport{G2001,
author = {Alessio Guglielmi},
title = {A Calculus of Order and Interaction},
institution = {Knowledge Representation and Reasoning Group, Department of
Computer Science, Dresden University of Technology},
year = {2001}
}
author = {Alessio Guglielmi},
title = {A Calculus of Order and Interaction},
institution = {Knowledge Representation and Reasoning Group, Department of
Computer Science, Dresden University of Technology},
year = {2001}
}
@techreport{G1999,
author = {Alessio Guglielmi},
title = {A Calculus of Order and Interaction},
institution = {Knowledge Representation and Reasoning Group, Department of
Computer Science, Dresden University of Technology},
year = {1999}
}
author = {Alessio Guglielmi},
title = {A Calculus of Order and Interaction},
institution = {Knowledge Representation and Reasoning Group, Department of
Computer Science, Dresden University of Technology},
year = {1999}
}
@inproceedings{HV2015,
author = {Luisa Herrmann and Heiko Vogler},
title = {A Chomsky-Sch{\"{u}}tzenberger Theorem for Weighted Automata with
Storage},
editor = {Andreas Maletti},
booktitle = {Algebraic Informatics},
series = {Lecture Notes in Computer Science},
volume = {9270},
publisher = {Springer},
year = {2015},
pages = {115-127},
doi = {https://doi.org/10.1007/978-3-319-23021-4_11}
}
author = {Luisa Herrmann and Heiko Vogler},
title = {A Chomsky-Sch{\"{u}}tzenberger Theorem for Weighted Automata with
Storage},
editor = {Andreas Maletti},
booktitle = {Algebraic Informatics},
series = {Lecture Notes in Computer Science},
volume = {9270},
publisher = {Springer},
year = {2015},
pages = {115-127},
doi = {https://doi.org/10.1007/978-3-319-23021-4_11}
}
@article{KRS2015,
author = {Markus Kr{\"{o}}tzsch and Sebastian Rudolph and Peter H. Schmitt},
title = {A Closer Look at the Semantic Relationship between Datalog and
Description Logics},
journal = {Semantic Web Journal},
volume = {6},
number = {1},
publisher = {IOS Press},
year = {2015},
pages = {63-79},
doi = {10.3233/SW-130126}
}
author = {Markus Kr{\"{o}}tzsch and Sebastian Rudolph and Peter H. Schmitt},
title = {A Closer Look at the Semantic Relationship between Datalog and
Description Logics},
journal = {Semantic Web Journal},
volume = {6},
number = {1},
publisher = {IOS Press},
year = {2015},
pages = {63-79},
doi = {10.3233/SW-130126}
}
@techreport{HMS2012,
author = {Steffen H{\"{o}}lldobler and Norbert Manthey and Peter Steinke},
title = {A Compact Encoding of Pseudo-Boolean Constraints into {SAT}},
institution = {TU Dresden, Knowledge Representation and Reasoning},
year = {2012}
}
author = {Steffen H{\"{o}}lldobler and Norbert Manthey and Peter Steinke},
title = {A Compact Encoding of Pseudo-Boolean Constraints into {SAT}},
institution = {TU Dresden, Knowledge Representation and Reasoning},
year = {2012}
}
@misc{M2012,
author = {Norbert Manthey},
title = {A Compact Encoding of Pseudo-Boolean Constraints into {SAT}},
year = {2012},
month = {September}
}
author = {Norbert Manthey},
title = {A Compact Encoding of Pseudo-Boolean Constraints into {SAT}},
year = {2012},
month = {September}
}
A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation +
@phdthesis{G2013,
author = {Sarah Alice Gaggl},
title = {A Comprehensive Analysis of the cf2 Argumentation Semantics: From
Characterization to Implementation},
school = {TU Wien},
year = {2013}
}
author = {Sarah Alice Gaggl},
title = {A Comprehensive Analysis of the cf2 Argumentation Semantics: From
Characterization to Implementation},
school = {TU Wien},
year = {2013}
}
