Ullrich Hustadt

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 20

Top Venues

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Ullrich Hustadt, Fabio Papacchini, Cláudia Nalon, Clare Dixon
Model Construction for Modal Clauses. IJCAR (2) (2024)
Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic. CADE (2023)
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Local is Best: Efficient Reductions to Modal Logic K. J. Autom. Reason. 66 (4) (2022)
Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
Local Reductions for the Modal Cube. IJCAR (2022)
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Correction to: Local is Best: Efficient Reductions to Modal Logic K. J. Autom. Reason. 66 (4) (2022)
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Efficient Local Reductions to Basic Modal Logic. CADE (2021)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
Multi-scale verification of distributed synchronisation. Formal Methods Syst. Des. 55 (3) (2020)
Cláudia Nalon, Ullrich Hustadt, Clare Dixon
: Architecture, Refinements, Strategies and Experiments. J. Autom. Reason. 64 (3) (2020)
Ullrich Hustadt, Ana Ozaki, Clare Dixon
Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. J. Autom. Reason. 64 (8) (2020)
Cláudia Nalon, Clare Dixon, Ullrich Hustadt
Modal Resolution: Proofs, Layers, and Refinements. ACM Trans. Comput. Log. 20 (4) (2019)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
Multi-Scale Verification of Distributed Synchronisation. CoRR (2018)
Ullrich Hustadt, Cláudia Nalon, Clare Dixon
Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics. PAAR@FLoC (2018)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. ICFEM (2018)
Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. FMICS-AVoCS (2017)
Ullrich Hustadt, Ana Ozaki, Clare Dixon
Theorem Proving for Metric Temporal Logic over the Naturals. CADE (2017)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. QEST (2017)
Cláudia Nalon, Ullrich Hustadt, Clare Dixon
KSP: A Resolution-based Prover for Multimodal K, Abridged Report. IJCAI (2017)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. CoRR (2017)
Cláudia Nalon, Ullrich Hustadt, Clare Dixon
: A Resolution-Based Prover for Multimodal K. IJCAR (2016)
Paul Gainer, Clare Dixon, Ullrich Hustadt
Probabilistic Model Checking of Ant-Based Positionless Swarming. TAROS (2016)
Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang
Ordered Resolution for Coalition Logic. TABLEAUX (2015)
Cláudia Nalon, Ullrich Hustadt, Clare Dixon
A Modal-Layered Resolution Calculus for K. TABLEAUX (2015)
Lan Zhang, Ullrich Hustadt, Clare Dixon
A resolution calculus for the branching-time temporal logic CTL. ACM Trans. Comput. Log. 15 (1) (2014)
Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt
A resolution-based calculus for Coalition Logic. J. Log. Comput. 24 (4) (2014)
Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt
A Resolution Prover for Coalition Logic. SR (2014)
Renate A. Schmidt, Ullrich Hustadt
First-Order Resolution Methods for Modal Logics. Programming Logics (2013)
Ullrich Hustadt, Renate A. Schmidt
A Comparison of Solvers for Propositional Dynamic Logic. PAAR@IJCAR (2010)
Lan Zhang, Ullrich Hustadt, Clare Dixon
CTL-RP: A computation tree logic resolution prover. AI Commun. 23 (2-3) (2010)
Michel Ludwig, Ullrich Hustadt
Implementing a fair monodic temporal logic prover. AI Commun. 23 (2-3) (2010)
Lan Zhang, Ullrich Hustadt, Clare Dixon
A Refined Resolution Calculus for CTL. CADE (2009)
Silvio Ranise, Ullrich Hustadt
Preface. Ann. Math. Artif. Intell. 55 (1-2) (2009)
Michel Ludwig, Ullrich Hustadt
Resolution-Based Model Construction for PLTL. TIME (2009)
Michel Ludwig, Ullrich Hustadt
Redundancy Elimination in Monodic Temporal Reasoning. FTP (2009)
Michel Ludwig, Ullrich Hustadt
Fair Derivations in Monodic Temporal Reasoning. CADE (2009)
Ullrich Hustadt, Boris Motik, Ulrike Sattler
Deciding expressive description logics in the framework of resolution. Inf. Comput. 206 (5) (2008)
Renate A. Schmidt, Ullrich Hustadt
The axiomatic translation principle for modal logic. ACM Trans. Comput. Log. 8 (4) (2007)
Ullrich Hustadt, Boris Motik, Ulrike Sattler
Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reason. 39 (3) (2007)
Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
Automated Reasoning About Metric and Topology. JELIA (2006)
Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
Mechanising first-order temporal resolution. Inf. Comput. 199 (1-2) (2005)
Ullrich Hustadt, Boris Motik
Description Logics and Disjunctive Datalog - The Story so Far. Description Logics (2005)
M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev
First-Order Temporal Verification in Practice. J. Autom. Reason. 34 (3) (2005)
Ullrich Hustadt, Boris Motik, Ulrike Sattler
Data Complexity of Reasoning in Very Expressive Description Logics. IJCAI (2005)
Ullrich Hustadt, Boris Konev, Renate A. Schmidt
Deciding Monodic Fragments by Temporal Resolution. CADE (2005)
Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov
TeMP: A Temporal Monodic Prover. IJCAR (2004)
Ullrich Hustadt, Boris Motik, Ulrike Sattler
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. KR (2004)
Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt
Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. Stud Logica 78 (3) (2004)
Ullrich Hustadt, Boris Motik, Ulrike Sattler
A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. LPAR (2004)
Ullrich Hustadt, Boris Motik, Ulrike Sattler
Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. ECAI (2004)
Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. TIME (2003)
Renate A. Schmidt, Ullrich Hustadt
A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae. CADE (2003)
Ullrich Hustadt, Boris Konev
TRP++2.0: A Temporal Resolution Prover. CADE (2003)
Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov
SCAN Is Complete for All Sahlqvist Formulae. RelMiCS (2003)
Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt
Two Proof Systems for Peirce Algebras. RelMiCS (2003)
Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
Hyperresolution for guarded formulae. J. Symb. Comput. 36 (1-2) (2003)
Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
A New Clausal Class Decidable by Hyperresolution. CADE (2002)
Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke
Combinations of Modal Logics. Artif. Intell. Rev. 17 (1) (2002)
Ullrich Hustadt, Renate A. Schmidt
Using Resolution for Testing Modal Satisfiability and Building Models. J. Autom. Reason. 28 (2) (2002)
Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
On the relationship between decidable fragments, non-classical logics, and description logics. Description Logics (2002)
Ullrich Hustadt, Renate A. Schmidt
Scientific Benchmarking with Temporal Logic Decision Procedures. KR (2002)
Ullrich Hustadt
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger. J. Log. Lang. Inf. 10 (3) (2001)
Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. LPAR (2001)
Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
Reasoning about agents in the KARO framework. TIME (2001)
Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher
Normal Forms and Proofs in Combined Modal and Temporal Logics. FroCoS (2000)
Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
Verification within the KARO Agent Theory. FAABS (2000)
Ullrich Hustadt
Practical Proof Methods for Combined Modal and Temporal Logics. ARW (2000)
Renate A. Schmidt, Ullrich Hustadt
A Resolution Decision Procedure for Fluted Logic. CADE (2000)
Ullrich Hustadt, Hans de Nivelle, Renate A. Schmidt
Resolution-Based Methods for Modal Logics. Log. J. IGPL 8 (3) (2000)
Ullrich Hustadt, Renate A. Schmidt
MSPASS: Modal Reasoning by Translation and First-Order Resolution. TABLEAUX (2000)
Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
Hyperresolution for Guarded Formulae. ARW (2000)
Ullrich Hustadt, Renate A. Schmidt
Maslov's Class K Revisited. CADE (1999)
Ullrich Hustadt, Renate A. Schmidt, Christoph Weidenbach
MSPASS: Subsumption Testing with SPASS. Description Logics (1999)
Ullrich Hustadt, Renate A. Schmidt
On the Relation of Resolution and Tableaux Proof Systems for Description Logics. IJCAI (1999)
Ullrich Hustadt, Renate A. Schmidt
An empirical analysis of modal theorem provers. J. Appl. Non Class. Logics 9 (4) (1999)
Ullrich Hustadt, Renate A. Schmidt
Simplification and Backjumping in Modal Tableau. TABLEAUX (1998)
Ullrich Hustadt, Renate A. Schmidt
Issues of Decidability for Description Logics in the Framework of Resolution. FTP (LNCS Selection) (1998)
Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt
A Resolution-Based Decision Procedure for Extensions of K4. Advances in Modal Logic (1998)
Ullrich Hustadt, Renate A. Schmidt
On Evaluating Decision Procedures for Modal Logic. IJCAI (1) (1997)
Ullrich Hustadt
Do we need the closed world assumption in knowledge representation? KRDB (1994)

Ullrich Hustadt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ullrich Hustadt