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.
(
@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{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}
}
@inproceedings{,
    AUTHOR = {E.-A. Dietz},
    TITLE= {A Computational Logic Approach to Syllogisms in Human Reasoning},
    BOOKTITLE= {Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning
on the 25th International Conference on Automated Deduction (CADE-25)},
    YEAR= {2015},
    editor = {U. Furbach and Claudia Schon},
    PAGES= {17--31},
    PUBLISHER= {CEUR Workshop Proceedings}
}
@techreport{DHR2013,
  author      = {Emmanuelle-Anna Dietz and Steffen H{\"{o}}lldobler and Marco
                 Ragni},
  title       = {A Computational Logic Approach to the Abstract and the Social
                 Case of the Selection Task},
  institution = {Technische Universit{\"{a}}t Dresden},
  year        = {2013}
}
@inproceedings{DHR2013,
  author    = {Emmanuelle-Anna Dietz and Steffen H{\"{o}}lldobler and Marco
               Ragni},
  title     = {A Computational Logic Approach to the Abstract and the Social
               Case of the Selection Task},
  booktitle = {Proceedings of the 11th International Symposium on Logical
               Formalizations of Commonsense Reasoning},
  year      = {2013}
}