The Boolean Solution Problem from the Perspective of Predicate Logic

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

The Boolean Solution Problem from the Perspective of Predicate Logic

Christoph WernhardChristoph Wernhard

Christoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic
In Clare Dixon, Marcelo Finger, eds., 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, volume 10483 of LNCS (LNAI), 333-350, 2017. Springer

• Details
• Bibtex

• Projekt:Project: SOA-VBQP
• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{W2017,
  author    = {Christoph Wernhard},
  title     = {The Boolean Solution Problem from the Perspective of Predicate
               Logic},
  editor    = {Clare Dixon and Marcelo Finger},
  booktitle = {11th International Symposium on Frontiers of Combining Systems,
               {FroCoS} 2017},
  series    = {LNCS (LNAI)},
  volume    = {10483},
  publisher = {Springer},
  year      = {2017},
  pages     = {333-350}
}