%0 Journal Article %1 Gan05 %A Ganter, Bernhard %A Krauße, Rüdiger %D 2005 %J Discrete Applied Mathematics %K logic ArtificialIntelligence FCA %N 1 %P 43-55 %T Pseudo-models and propositional Horn inference %U http://dblp.uni-trier.de/db/journals/dam/dam147.html#GanterK05 %V 147 %Z Ausdruck in AI / FCA

@article{Gan05, added-at = {2006-07-24T18:20:48.000+0200}, annote = {Ausdruck in AI / FCA}, author = {Ganter, Bernhard and Krauße, Rüdiger}, biburl = {https://www.bibsonomy.org/bibtex/2bd3394df55a858ed1a516a6999788c25/jwollbold}, ee = {http://dx.doi.org/10.1016/j.dam.2004.06.019}, interhash = {75396eab79cd8133f85c88794ac80a61}, intrahash = {bd3394df55a858ed1a516a6999788c25}, journal = {Discrete Applied Mathematics}, keywords = {logic ArtificialIntelligence FCA}, number = 1, pages = {43-55}, timestamp = {2006-07-24T18:20:48.000+0200}, title = {Pseudo-models and propositional Horn inference}, url = {http://dblp.uni-trier.de/db/journals/dam/dam147.html#GanterK05}, volume = 147, year = 2005 }