Wolpertinger: A Fixed-Domain Reasoner

PublikationenPublications

• Nach AutorBy Author
  • Sebastian RudolphSebastian Rudolph
  • Lukas SchweizerLukas Schweizer
  • Satyadharma TirtarasaSatyadharma Tirtarasa
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

Wolpertinger: A Fixed-Domain Reasoner

Sebastian RudolphSebastian Rudolph,  Lukas SchweizerLukas Schweizer,  Satyadharma TirtarasaSatyadharma Tirtarasa

• Download

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Wolpertinger: A Fixed-Domain Reasoner
In Nadeschda Nikitina, Dezhao Song, eds., ISWC 2017 Posters & Demonstration Track, to appear

• Details
• Bibtex

• Verknüpfte Tools:Related Tools: Wolpertinger
• Forschungsgruppe:Research Group: Computational LogicComputational Logic

@inproceedings{RST2017,
  author    = {Sebastian Rudolph and Lukas Schweizer and Satyadharma Tirtarasa},
  title     = {Wolpertinger: A Fixed-Domain Reasoner},
  editor    = {Nadeschda Nikitina and Dezhao Song},
  booktitle = {ISWC 2017 Posters \& Demonstration Track},
  year      = {2017},
  month     = {October}
}