Patrick Wischnewski

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 2

Top Topics

Transitive Roles

Automated Verification

Query Answering

Rule Based Systems

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Christof Fetzer, Christoph Weidenbach, Patrick Wischnewski
Compliance, Functional Safety and Fault Detection by Formal Methods. ISoLA (2) (2016)
Christopher Junk, Robert Rößger, Georg Rock, Karsten Theis, Christoph Weidenbach, Patrick Wischnewski
Model-Based Variant Management with v.control. ISPE CE (2015)
Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski
Automated verification of interactive rule-based configuration systems. ASE (2013)
Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski
Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material). CoRR (2013)
Christoph Weidenbach, Patrick Wischnewski
Satisfiability Checking and Query Answering for Large Ontologies. PAAR@IJCAR (2012)
Martin Suda, Christoph Weidenbach, Patrick Wischnewski
On the Saturation of YAGO. IJCAR (2010)
Christoph Weidenbach, Patrick Wischnewski
Subterm contextual rewriting. AI Commun. 23 (2-3) (2010)
Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo
External Sources of Axioms in Automated Theorem Proving. KI (2009)
Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski
SPASS Version 3.5. CADE (2009)
Christoph Weidenbach, Patrick Wischnewski
Contextual Rewriting in SPASS. PAAR/ESHOL (2008)