Arild Waaler

Available identifiers

zbMath Open waaler.arildMaRDI QIDQ429590

List of research outcomes

Publication	Date of Publication	Type
Proof Search for the First-Order Connection Calculus in Maude	2015-03-19	Paper
Incremental variable splitting	2012-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q5392505	2011-04-12	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2010-03-09	Paper
Logical Spaces in Multi-agent Only Knowing Systems	2009-04-28	Paper
Trustworthiness by Default	2009-04-28	Paper
A Labelled System for IPL with Variable Splitting	2009-03-06	Paper
Only knowing with degrees of confidence	2007-07-25	Paper
Liberalized variable splitting	2007-05-04	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q5483017	2006-08-15	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q2753600	2001-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q2751374	2001-10-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Arild Waaler