Login / Signup

Strong Completeness and Limited Canonicity for PDL.

Gerard R. Renardel de LavaletteBarteld P. KooiRineke Verbrugge
Published in: J. Log. Lang. Inf. (2008)
Keyphrases
  • real time
  • multi agent
  • data sets
  • neural network
  • case study
  • three dimensional
  • search algorithm
  • computer science
  • logic programs
  • first order logic
  • data quality