Attribut:BibTex
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Code.
A
@techreport{ Decleir-Hacid-Kouloumdjian-LTCS-99,
address = {Germany},
author = {C. {Decleir} and M.-S. {Hacid} and J. {Kouloumdjian}},
institution = {LuFg Theoretical Computer Science, RWTH Aachen},
note = {See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html},
number = {LTCS-99-03},
title = {{A} {D}atabase {A}pproach for {M}odeling and {Q}uerying {V}ideo {D}ata},
type = {LTCS-Report},
year = {1999},
}
address = {Germany},
author = {C. {Decleir} and M.-S. {Hacid} and J. {Kouloumdjian}},
institution = {LuFg Theoretical Computer Science, RWTH Aachen},
note = {See http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html},
number = {LTCS-99-03},
title = {{A} {D}atabase {A}pproach for {M}odeling and {Q}uerying {V}ideo {D}ata},
type = {LTCS-Report},
year = {1999},
}
@inproceedings{BDFFKW2021,
author = {Martin Bromberger and Irina Dragoste and Rasha Faqeh and Christof
Fetzer and Markus Kr{\"{o}}tzsch and Christoph Weidenbach},
title = {A Datalog Hammer for Supervisor Verification Conditions Modulo
Simple Linear Arithmetic},
editor = {Boris Konev and Giles Reger},
booktitle = {Proc. of the 13th Int. Symp. on Frontiers of Combining Systems
(FROCOS 2021)},
series = {LNCS},
volume = {12941},
publisher = {Springer},
year = {2021},
pages = {3-24},
doi = {10.1007/978-3-030-86205-3_1}
}
author = {Martin Bromberger and Irina Dragoste and Rasha Faqeh and Christof
Fetzer and Markus Kr{\"{o}}tzsch and Christoph Weidenbach},
title = {A Datalog Hammer for Supervisor Verification Conditions Modulo
Simple Linear Arithmetic},
editor = {Boris Konev and Giles Reger},
booktitle = {Proc. of the 13th Int. Symp. on Frontiers of Combining Systems
(FROCOS 2021)},
series = {LNCS},
volume = {12941},
publisher = {Springer},
year = {2021},
pages = {3-24},
doi = {10.1007/978-3-030-86205-3_1}
}
@inproceedings{BLO2020,
author = {Kees van Berkel and Tim Lyon and Francesco Olivieri},
title = {A Decidable Multi-agent Logic for Reasoning About Actions,
Instruments, and Norms},
booktitle = {Logic and Argumentation},
volume = {12061},
publisher = {Springer},
year = {2020},
pages = {219-241},
doi = {https://doi.org/10.1007/978-3-030-44638-3_14}
}
author = {Kees van Berkel and Tim Lyon and Francesco Olivieri},
title = {A Decidable Multi-agent Logic for Reasoning About Actions,
Instruments, and Norms},
booktitle = {Logic and Argumentation},
volume = {12061},
publisher = {Springer},
year = {2020},
pages = {219-241},
doi = {https://doi.org/10.1007/978-3-030-44638-3_14}
}
@inproceedings{ARFS2011,
author = {Darko Anicic and Sebastian Rudolph and Paul Fodor and Nenad
Stojanovic},
title = {A Declarative Framework for Matching Iterative and Aggregative
Patterns against Event Streams},
editor = {Nick Bassiliades and Guido Governatori and Adrian Paschke},
booktitle = {5th International Symposium on Rule-Based Reasoning, Programming,
and Applications (RuleML 2011)},
series = {LNCS},
volume = {6826},
publisher = {Springer},
year = {2011},
month = {July},
pages = {138-153}
}
author = {Darko Anicic and Sebastian Rudolph and Paul Fodor and Nenad
Stojanovic},
title = {A Declarative Framework for Matching Iterative and Aggregative
Patterns against Event Streams},
editor = {Nick Bassiliades and Guido Governatori and Adrian Paschke},
booktitle = {5th International Symposium on Rule-Based Reasoning, Programming,
and Applications (RuleML 2011)},
series = {LNCS},
volume = {6826},
publisher = {Springer},
year = {2011},
month = {July},
pages = {138-153}
}
@inproceedings{R2006,
author = {Sebastian Rudolph},
title = {A Deduction Calculus for Cumulated Clauses on {FLE} Concept
Descriptions},
editor = {Pascal Hitzler and Henrik Sch{\"{a}}rfe and Peter {\O}hrstr{\o}m},
booktitle = {Inspiration and Application - Contributions to {ICCS} 2006},
publisher = {Aalborg University Press},
year = {2006},
month = {July},
pages = {188 - 201}
}
author = {Sebastian Rudolph},
title = {A Deduction Calculus for Cumulated Clauses on {FLE} Concept
Descriptions},
editor = {Pascal Hitzler and Henrik Sch{\"{a}}rfe and Peter {\O}hrstr{\o}m},
booktitle = {Inspiration and Application - Contributions to {ICCS} 2006},
publisher = {Aalborg University Press},
year = {2006},
month = {July},
pages = {188 - 201}
}
@inproceedings{ BaLuMiSaWo-WSS-2005,
address = {Chiba City, Japan},
author = {F. {Baader} and C. {Lutz} and M. {Milicic} and U. {Sattler} and F. {Wolter}},
booktitle = {Proceedings of the WWW 2005 Workshop on Web Service Semantics ({WSS2005})},
title = {A Description Logic Based Approach to Reasoning about Web Services},
year = {2005},
}
address = {Chiba City, Japan},
author = {F. {Baader} and C. {Lutz} and M. {Milicic} and U. {Sattler} and F. {Wolter}},
booktitle = {Proceedings of the WWW 2005 Workshop on Web Service Semantics ({WSS2005})},
title = {A Description Logic Based Approach to Reasoning about Web Services},
year = {2005},
}
@article{KSH12:DL-Primer,
author = {Markus Kr{\"{o}}tzsch and Franti{\v{s}}ek Siman{\v{c}}{\'{\i}}k and Ian Horrocks},
title = {A Description Logic Primer},
journal = {CoRR},
year = {2012},
volume = {abs/1201.4089},
url = {http://arxiv.org/abs/1201.4089}
}
author = {Markus Kr{\"{o}}tzsch and Franti{\v{s}}ek Siman{\v{c}}{\'{\i}}k and Ian Horrocks},
title = {A Description Logic Primer},
journal = {CoRR},
year = {2012},
volume = {abs/1201.4089},
url = {http://arxiv.org/abs/1201.4089}
}
@incollection{KSH2014,
author = {Markus Kr{\"{o}}tzsch and Franti{\v{s}}ek Siman{\v{c}}{\'{\i}}k
and Ian Horrocks},
title = {A Description Logic Primer},
editor = {Jens Lehmann and Johanna V{\"{o}}lker},
booktitle = {Perspectives on Ontology Learning},
publisher = {IOS Press},
year = {2014}
}
author = {Markus Kr{\"{o}}tzsch and Franti{\v{s}}ek Siman{\v{c}}{\'{\i}}k
and Ian Horrocks},
title = {A Description Logic Primer},
editor = {Jens Lehmann and Johanna V{\"{o}}lker},
booktitle = {Perspectives on Ontology Learning},
publisher = {IOS Press},
year = {2014}
}
@inproceedings{ TrespMolitor-ECAI-1998,
address = {Brighton, UK},
author = {C.B. {Tresp} and R. {Molitor}},
booktitle = {Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI'98)},
pages = {361--365},
publisher = {J.~Wiley and Sons},
title = {A Description Logic for Vague Knowledge},
year = {1998},
}
address = {Brighton, UK},
author = {C.B. {Tresp} and R. {Molitor}},
booktitle = {Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI'98)},
pages = {361--365},
publisher = {J.~Wiley and Sons},
title = {A Description Logic for Vague Knowledge},
year = {1998},
}
@techreport{ TrespMolitor-LTCS-98-01,
address = {Germany},
author = {C.B. {Tresp} and R. {Molitor}},
institution = {LuFg Theoretical Computer Science, RWTH Aachen},
note = {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html},
number = {LTCS-98-01},
title = {A Description Logic for Vague Knowledge},
type = {LTCS-Report},
year = {1998},
}
address = {Germany},
author = {C.B. {Tresp} and R. {Molitor}},
institution = {LuFg Theoretical Computer Science, RWTH Aachen},
note = {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html},
number = {LTCS-98-01},
title = {A Description Logic for Vague Knowledge},
type = {LTCS-Report},
year = {1998},
}
@inproceedings{ ArLuTo-07,
author = {Alessandro {Artale} and Carsten {Lutz} and David {Toman}},
booktitle = {Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07)},
editor = {Manuela {Veloso}},
pages = {218--223},
publisher = {AAAI Press},
title = {A Description Logic of Change},
year = {2007},
}
author = {Alessandro {Artale} and Carsten {Lutz} and David {Toman}},
booktitle = {Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07)},
editor = {Manuela {Veloso}},
pages = {218--223},
publisher = {AAAI Press},
title = {A Description Logic of Change},
year = {2007},
}
@article{ Haarslev-Lutz+-JLC-1999,
author = {V. {Haarslev} and C. {Lutz} and R. {M{\"o}ller}},
journal = {Journal of Logic and Computation},
number = {3},
pages = {351--384},
title = {A Description Logic with Concrete Domains and Role-forming Predicates},
volume = {9},
year = {1999},
}
author = {V. {Haarslev} and C. {Lutz} and R. {M{\"o}ller}},
journal = {Journal of Logic and Computation},
number = {3},
pages = {351--384},
title = {A Description Logic with Concrete Domains and Role-forming Predicates},
volume = {9},
year = {1999},
}
@inproceedings{ HoSat98b,
address = {Povo - Trento, Italy},
author = {I. {Horrocks} and U. {Sattler}},
booktitle = {Proceedings of the International Workshop on Description Logics},
publisher = {IRST},
title = {A Description Logic with Transitive and Converse Roles and Role Hierarchies},
year = {1998},
}
address = {Povo - Trento, Italy},
author = {I. {Horrocks} and U. {Sattler}},
booktitle = {Proceedings of the International Workshop on Description Logics},
publisher = {IRST},
title = {A Description Logic with Transitive and Converse Roles and Role Hierarchies},
year = {1998},
}
@techreport{ HoSat98,
author = {I. {Horrocks} and U. {Sattler}},
institution = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
number = {LTCS-98-05},
title = {A Description Logic with Transitive and Converse Roles and Role Hierarchies},
type = {LTCS-Report},
year = {1998},
}
author = {I. {Horrocks} and U. {Sattler}},
institution = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
number = {LTCS-98-05},
title = {A Description Logic with Transitive and Converse Roles and Role Hierarchies},
type = {LTCS-Report},
year = {1998},
}
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions +
@techreport{ HoSatTob-LTCS-99-08,
author = {I. {Horrocks} and U. {Sattler} and S. {Tobies}},
institution = {LuFG Theoretical Computer Science, RWTH Aachen},
note = {Revised version. See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html},
number = {LTCS-99-08},
title = {A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions},
type = {LTCS-Report},
year = {1999},
}
author = {I. {Horrocks} and U. {Sattler} and S. {Tobies}},
institution = {LuFG Theoretical Computer Science, RWTH Aachen},
note = {Revised version. See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html},
number = {LTCS-99-08},
title = {A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions},
type = {LTCS-Report},
year = {1999},
}
@article{ HorrSat-JLC-99,
author = {I. {Horrocks} and U. {Sattler}},
journal = {Journal of Logic and Computation},
number = {3},
pages = {385--410},
title = {A Description Logic with Transitive and Inverse Roles and Role Hierarchies},
volume = {9},
year = {1999},
}
author = {I. {Horrocks} and U. {Sattler}},
journal = {Journal of Logic and Computation},
number = {3},
pages = {385--410},
title = {A Description Logic with Transitive and Inverse Roles and Role Hierarchies},
volume = {9},
year = {1999},
}
@inproceedings{DGO2017,
author = {Bart{\l}omiej Dudek and Pawe{\l} Gawrychowski and Piotr
Ostropolski-Nalewaja},
title = {A Family of Approximation Algorithms for the Maximum
Duo-Preservation String Mapping Problem},
editor = {Juha K{\"{a}}rkk{\"{a}}inen and Jakub Radoszewski and Wojciech
Rytter},
booktitle = {28th Annual Symposium on Combinatorial Pattern Matching (CPM
2017)},
volume = {78},
publisher = {CPM 2017},
year = {2017},
pages = {10:1-10:14},
doi = {10.4230/LIPIcs.CPM.2017.10}
}
author = {Bart{\l}omiej Dudek and Pawe{\l} Gawrychowski and Piotr
Ostropolski-Nalewaja},
title = {A Family of Approximation Algorithms for the Maximum
Duo-Preservation String Mapping Problem},
editor = {Juha K{\"{a}}rkk{\"{a}}inen and Jakub Radoszewski and Wojciech
Rytter},
booktitle = {28th Annual Symposium on Combinatorial Pattern Matching (CPM
2017)},
volume = {78},
publisher = {CPM 2017},
year = {2017},
pages = {10:1-10:14},
doi = {10.4230/LIPIcs.CPM.2017.10}
}
@techreport{BG2003,
author = {Kai Br{\"{u}}nnler and Alessio Guglielmi},
title = {A Finitary System for First Order Logic},
institution = {Knowledge Representation and Reasoning Group, Department of
Computer Science, Dresden University of Technology},
year = {2003}
}
author = {Kai Br{\"{u}}nnler and Alessio Guglielmi},
title = {A Finitary System for First Order Logic},
institution = {Knowledge Representation and Reasoning Group, Department of
Computer Science, Dresden University of Technology},
year = {2003}
}
@inproceedings{ BaaderDistel08,
author = {Franz {Baader} and Felix {Distel}},
booktitle = {Proceedings of the 6th International Conference on Formal Concept Analysis, (ICFCA 2008)},
editor = {Raoul {Medina} and Sergei {Obiedkov}},
pages = {46--61},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
title = {A Finite Basis for the Set of {EL}-Implications Holding in a Finite Model},
volume = {4933},
year = {2008},
}
author = {Franz {Baader} and Felix {Distel}},
booktitle = {Proceedings of the 6th International Conference on Formal Concept Analysis, (ICFCA 2008)},
editor = {Raoul {Medina} and Sergei {Obiedkov}},
pages = {46--61},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
title = {A Finite Basis for the Set of {EL}-Implications Holding in a Finite Model},
volume = {4933},
year = {2008},
}
@incollection{BG2004,
author = {Kai Br{\"{u}}nnler and Alessio Guglielmi},
title = {A First Order System with Finite Choice of Premises},
editor = {Hendricks et al.},
booktitle = {First-Order Logic Revisited},
publisher = {Logos Verlag},
year = {2004}
}
author = {Kai Br{\"{u}}nnler and Alessio Guglielmi},
title = {A First Order System with Finite Choice of Premises},
editor = {Hendricks et al.},
booktitle = {First-Order Logic Revisited},
publisher = {Logos Verlag},
year = {2004}
}
