Technical info

• About F-logic
• About HiLog
• About Transaction Logic
• About Defeasible Reasoning
• The Flora-2 system
• Related work