28 citations · 46 across the 9 of their papers we have counts for
10 papers
Second-Order Quantifier Elimination and Uniform Interpolation for Bath Path Logic and the Ordered Fragment
Renate A. Schmidt, Hongkai Yin
We consider and extend results on basic path logic and the ordered fragment of first-order logic, both of which originate from the functional translation of modal logic. Basic path…
Signature-Based Abduction for Expressive Description Logics -- Technical Report
Patrick Koopmann, Warren Del-Pinto, Sophie Tourret +1
Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge. This type of…
Querying Guarded Fragments via Resolution
Sen Zheng, Renate A. Schmidt
Answering Boolean conjunctive queries over the guarded fragment is decidable, however, as yet no practical decision procedure exists. Meanwhile, ordered resolution, as a practicall…
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
Sen Zheng, Renate A. Schmidt
We consider the following query answering problem: Given a Boolean conjunctive query and a theory in the Horn loosely guarded fragment, the aim is to determine whether the query is…
ABox Abduction via Forgetting in ALC (Long Version)
Warren Del-Pinto, Renate A. Schmidt
Abductive reasoning generates explanatory hypotheses for new observations using prior knowledge. This paper investigates the use of forgetting, also known as uniform interpolation,…
Blocking and Other Enhancements for Bottom-Up Model Generation Methods
Peter Baumgartner, Renate A. Schmidt
Model generation is a problem complementary to theorem proving and is important for fault analysis and debugging of formal specifications of security protocols, programs and termin…