Formalizing and operationalizing a design task with KARL

• Authors:

• Dieter Landes;Dieter Fensel;Jürgen Angele

• Affiliations:

• -;-;-

• Venue:
• Formal specification of complex reasoning systems
• Year:
• 1993