Peter F. Patel-Schneider

Available identifiers

Publication	Date of Publication	Type
A decidable first-order logic for knowledge representation	2016-07-26	Paper
Optimizing terminological reasoning for expressive description logics	2007-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4739532	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4739547	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4411160	2003-07-07	Paper
Evaluating optimized decision procedures for propositional modal \(\mathbf K(m)\) satisfiability	2002-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4539634	2002-07-10	Paper
Evaluating optimised decision procedures for propositional modal \({\mathbf K}_{({\mathbf m})}\) satisfiability	2001-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q2723427	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q2721186	2001-07-01	Paper
An analysis of empirical testing for modal decision procedures	2000-06-21	Paper
``Reducing classic to practice: Knowledge representation theory meets reality	2000-06-04	Paper
Optimizing description logic subsumption	1999-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4217959	1998-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4386959	1998-05-10	Paper
A decidable first-order logic for knowledge representation	1990-01-01	Paper
A four-valued semantics for terminological logics	1989-01-01	Paper
Erratum to: A four valued semantics for terminological logics	1989-01-01	Paper

This page was built for person: Peter F. Patel-Schneider