J{\o}rgen Villadsen

Identifiers

• name variant J{\o}rgen Villadsen 0.60 · backfill

Papers (8)

1. NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle cs.CY · 2015 · author #1
2. Multi-Agent Programming Contest 2012 - The Python-DTU Team cs.MA · 2012 · author #1
3. Multi-Agent Programming Contest 2011 - The Python-DTU Team cs.MA · 2011 · author #1
4. Multi-Agent Programming Contest 2010 - The Jason-DTU Team cs.MA · 2010 · author #1
5. Developing Artificial Herders Using Jason cs.MA · 2009 · author #3
6. Nominalistic Logic (Extended Abstract) cs.LO · 2008 · author #1
7. Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics cs.CL · 2004 · author #1
8. A Paraconsistent Higher Order Logic cs.LO · 2002 · author #1

Mentions

• 1507.04002 #1 · backfill · confidence 0.70 J{\o}rgen Villadsen
• 1210.0437 #1 · backfill · confidence 0.70 J{\o}rgen Villadsen
• 1110.0105 #1 · backfill · confidence 0.70 J{\o}rgen Villadsen
• 1010.0145 #1 · backfill · confidence 0.70 J{\o}rgen Villadsen
• 1001.0115 #3 · backfill · confidence 0.70 J{\o}rgen Villadsen
• 0812.4814 #1 · backfill · confidence 0.70 J{\o}rgen Villadsen

Frequent Coauthors

• Andreas Schmidt Jensen 3 shared papers
• Steen Vester 3 shared papers
• Mikko Berggren Ettienne 2 shared papers
• Niklas Skamriis Boss 2 shared papers
• Alexander Birch Jensen 1 shared papers
• Anders Schlichtkrull 1 shared papers
• Andreas Fr{\o}sig 1 shared papers
• Kenneth Balsiger Andersen 1 shared papers