Exploring the Effectiveness of Prompt Engineering for Legal Reasoning Tasks.
Fangyi YuLee QuarteyFrank SchilderPublished in: ACL (Findings) (2023)
Keyphrases
- reasoning tasks
- description logics
- temporal reasoning
- logic programming
- event calculus
- answer set programming
- automated reasoning
- abductive reasoning
- software engineering
- logic programs
- orders of magnitude
- search strategies
- quantified boolean formulas
- database
- situation calculus
- qualitative and quantitative
- probability distribution
- database systems
- artificial intelligence