Login / Signup

Truth versus information in logic programming.

Lee NaishHarald Søndergaard
Published in: Theory Pract. Log. Program. (2014)
Keyphrases
  • logic programming
  • logic programs
  • answer set programming
  • knowledge representation
  • default logic
  • computational logic
  • deductive databases