Attribut:BibTex

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dies ist eine Eigenschaft des Typs Code.

Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
"
@inproceedings{BM2021,
  author    = {Bartosz Bednarczyk and Jakub Michaliszyn},
  title     = {"Most of" leads to undecidability: Failure of adding frequencies
               to {LTL}},
  booktitle = {Proceedings of the 24th International Conference on Foundations
               of Software Science and Computation Structures (FOSSACS 2021)},
  year      = {2021},
  month     = {March},
  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}
}
1
@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},
}
@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}
}
@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},
}
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},
}
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},
}
?
@article{BT1996,
  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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@misc{M2012,
  author = {Norbert Manthey},
  title  = {A Compact Encoding of Pseudo-Boolean Constraints into {SAT}},
  year   = {2012},
  month  = {September}
}
@phdthesis{G2013,
  author = {Sarah Alice Gaggl},
  title  = {A Comprehensive Analysis of the cf2 Argumentation Semantics: From
            Characterization to Implementation},
  school = {TU Wien},
  year   = {2013}
}
@misc{H2012,
  author = {Steffen H{\"{o}}lldobler},
  title  = {A Computational Logic Approach to Human Reasoning},
  year   = {2012},
  month  = {March}
}