Login / Signup

Deduction systems for BDI logics using sequent calculus.

Naoyuki NideShiro Takata
Published in: AAMAS (2002)
Keyphrases
  • inference rules
  • modal logic
  • sequent calculus
  • theorem proving
  • logical framework
  • expert systems
  • first order logic
  • agent systems