Login / Signup

Dialogues about the burden of proof.

Henry PrakkenChris ReedDouglas Walton
Published in: ICAIL (2005)
Keyphrases
  • dialogue system
  • linear logic
  • theorem prover
  • theorem proving
  • geometry theorem proving
  • neural network
  • machine learning
  • genetic algorithm
  • multi party
  • speech acts
  • automated theorem proving