15 citations · 93 across the 15 of their papers we have counts for
3 papers · 1 filter
Isabelle/HOL as a Meta-Language for Teaching Logic
Asta Halkjær From, Jørgen Villadsen, Patrick Blackburn
Proof assistants are important tools for teaching logic. We support this claim by discussing three formalizations in Isabelle/HOL used in a recent course on automated reasoning. Th…
GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest
Alexander Birch Jensen, Jørgen Villadsen
We provide a brief description of the GOAL-DTU system for the agent contest, including the overall strategy and how the system is designed to apply this strategy. Our agents are im…
Teaching a Formalized Logical Calculus
Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull +1
Classical first-order logic is in many ways central to work in mathematics, linguistics, computer science and artificial intelligence, so it is worthwhile to define it in full deta…