BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Denmark
1 × Estonia
1 × France
1 × Germany
1 × Italy
1 × Japan
3 × USA
Collaborated with:
U.Hustadt Y.Zhao P.Koopmann F.Papacchini D.Tishkovsky P.Baumgartner B.Konev L.Georgieva C.Weidenbach T.Hillenbrand R.Rusev D.Topic
Talks about:
logic (7) descript (4) procedur (3) forget (3) modal (3) decid (3) fragment (2) resolut (2) generat (2) tempor (2)

Person: Renate A. Schmidt

DBLP DBLP: Schmidt:Renate_A=

Facilitated 1 volumes:

CADE 2009Ed

Contributed to:

IJCAR 20142014
IJCAR 20082008
CADE 20072007
IJCAR 20062006
CADE 20052005
CADE 20032003
CADE 20022002
KR 20022002
CADE 20002000
CADE 19991999
RTA 19981998
IJCAR 20182018
CADE 20192019

Wrote 14 papers:

Count and Forget: Uniform Interpolation of 𝒮ℋ𝒬-Ontologies (PK, RAS), pp. 434–448.
IJCAR-2014-PapacchiniS #generative #logic
Terminating Minimal Model Generation Procedures for Propositional Modal Logics (FP, RAS), pp. 381–395.
IJCAR-2008-SchmidtT #first-order #logic
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments (RAS, DT), pp. 194–209.
System Description: SpassVersion 3.0 (CW, RAS, TH, RR, DT), pp. 514–520.
IJCAR-2006-BaumgartnerS #bottom-up #generative
Blocking and Other Enhancements for Bottom-Up Model Generation Methods (PB, RAS), pp. 125–139.
Deciding Monodic Fragments by Temporal Resolution (UH, BK, RAS), pp. 204–218.
CADE-2003-SchmidtH #axiom #first-order
A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae (RAS, UH), pp. 412–426.
CADE-2002-GeorgievaHS #decidability
A New Clausal Class Decidable by Hyperresolution (LG, UH, RAS), pp. 260–274.
KR-2002-HustadtS #benchmark #logic #metric
Scientific Benchmarking with Temporal Logic Decision Procedures (UH, RAS), pp. 533–546.
CADE-2000-SchmidtH #logic
A Resolution Decision Procedure for Fluted Logic (RAS, UH), pp. 433–448.
CADE-1999-HustadtS #revisited
Maslov’s Class K Revisited (UH, RAS), pp. 172–186.
E-Unification for Subsystems of S4 (RAS), pp. 106–120.
IJCAR-2018-ZhaoS #automation #logic #named #semantics
FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics (YZ, RAS), pp. 19–27.
CADE-2019-ZhaoS #automation #logic #strict
FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions (YZ, RAS), pp. 568–579.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.