Ullrich Hustadt

Available identifiers

zbMath Open hustadt.ullrichWikidataQ57193426 ScholiaQ57193426MaRDI QIDQ924722

List of research outcomes

Publication	Date of Publication	Type
Local is best: efficient reductions to modal logic \textsf{K}	2022-12-12	Paper
Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}	2022-12-12	Paper
Local reductions for the modal cube	2022-12-07	Paper
Efficient local reductions to basic modal logic	2021-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q4994892	2021-06-22	Paper
Theorem proving for pointwise metric temporal logic over the naturals via translations	2021-02-17	Paper
\(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments	2020-03-03	Paper
Modal Resolution	2019-11-22	Paper
Theorem proving for metric temporal logic over the naturals	2017-09-22	Paper
The axiomatic translation principle for modal logic	2017-07-12	Paper
: A Resolution-Based Prover for Multimodal K	2016-09-05	Paper
Ordered Resolution for Coalition Logic	2015-12-11	Paper
A Modal-Layered Resolution Calculus for K	2015-12-11	Paper
A resolution-based calculus for Coalition Logic	2015-01-12	Paper
A resolution calculus for the branching-time temporal logic CTL	2014-04-16	Paper
First-Order Resolution Methods for Modal Logics	2013-04-19	Paper
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae	2011-05-06	Paper
Implementing a fair monodic temporal logic prover	2010-06-17	Paper
CTL-RP: A computation tree logic resolution prover	2010-06-17	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
A Refined Resolution Calculus for CTL	2009-07-28	Paper
Fair Derivations in Monodic Temporal Reasoning	2009-07-28	Paper
Theory and Applications of Relational Structures as Knowledge Instruments	2009-06-09	Paper
Automated Reasoning About Metric and Topology	2008-10-30	Paper
Deciding expressive description logics in the framework of resolution	2008-05-19	Paper
Reasoning in description logics by a reduction to disjunctive datalog	2007-12-03	Paper
Automated Reasoning	2007-09-25	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Relational and Kleene-Algebraic Methods in Computer Science	2005-12-23	Paper
Relational and Kleene-Algebraic Methods in Computer Science	2005-12-23	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
Interactions between knowledge, action and commitment within agent dynamic logic	2005-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4809060	2004-08-12	Paper
An empirical analysis of modal theorem provers	2004-01-13	Paper
Hyperresolution for guarded formulae	2003-08-25	Paper
Using resolution for testing modal satisfiability and building models	2002-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4329239	2002-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q2751044	2001-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q2751377	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q2723441	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q2721185	2001-07-01	Paper
Resolution-based methods for modal logics	2000-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4503911	2000-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4263163	2000-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q3838813	1998-10-08	Paper
https://portal.mardi4nfdi.de/entity/Q5688814	1997-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q4867027	1996-06-27	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: Ullrich Hustadt