id: 06104216
dt: a
an: 06104216
au: Brewka, Gerhard
ti: Multi-context systems: specifying the interaction of knowledge bases
    declaratively.
so: Krötzsch, Markus (ed.) et al., Web reasoning and rule systems. 6th
    international conference, RR 2012, Vienna, Austria, September 10‒12,
    2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33202-9/pbk).
    Lecture Notes in Computer Science 7497, 1-4 (2012).
py: 2012
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-33203-6_1
ab: Summary: Research in knowledge representation and, more generally,
    information technology has produced a large variety of formats and
    languages for representing knowledge.A wealth of tools and formalisms
    is now available, including rather basic ones like databases or the
    more recent triple-stores, and more expressive ones like ontology
    languages (e.g., description logics), temporal and modal logics,
    nonmonotonic logics, or logic programs under answer set semantics, to
    name just a few.
rv: