The following pages link to Jørgen Villadsen (Q766279):
Displayed 11 items.
- Improving multi-agent systems using \textit{Jason} (Q766280) (← links)
- Logical entity level sentiment analysis (Q1744960) (← links)
- Formalizing a Seligman-style tableau system for hybrid logic (short paper) (Q2096470) (← links)
- Formalizing axiomatic systems for propositional logic in Isabelle/HOL (Q2128791) (← links)
- (Q3084834) (← links)
- Supra-logic: using transfinite type theory with type variables for paraconsistency (Q3647220) (← links)
- (Q4547855) (← links)
- Programming and verifying a declarative first-order prover in Isabelle/HOL (Q5145439) (← links)
- Natural Language Processing Using Lexical and Logical Combinators (Q5449629) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464717) (← links)
- A sequent calculus for first-order logic formalized in Isabelle/HOL (Q6162119) (← links)