A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions.
Andreas HerzigTiago de LimaEmiliano LoriniNicolas TroquardPublished in: DEON (2012)
Keyphrases
- dynamic logic
- reasoning about actions
- agent programming
- grounded semantics
- situation calculus
- logic programming
- modal logic
- legal reasoning
- imperative programs
- propositional dynamic logic
- legal information retrieval
- legal documents
- plan recognition
- multiple input
- legal knowledge
- legal argument
- temporal reasoning
- relational databases
- reinforcement learning