Programming and verifying a declarative first-order prover in Isabelle/HOL
Jensen, Alexander Birch, Larsen, John Bruntse, Schlichtkrull, Anders, Villadsen, Jørgen
Published in Ai communications (01.01.2018)
Published in Ai communications (01.01.2018)
Get full text
Journal Article
Engineering a multi-agent system in Jason and CArtAgO
Villadsen, Jørgen, Fleckenstein, Oliver, Hatteland, Helge, Bruntse Larsen, John
Published in Annals of mathematics and artificial intelligence (01.10.2018)
Published in Annals of mathematics and artificial intelligence (01.10.2018)
Get full text
Journal Article