Peter F. Patel-Schneider

MaRDI QIDQ1115427zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A decidable first-order logic for knowledge representation	2016-07-26	Paper
Optimizing terminological reasoning for expressive description logics Journal of Automated Reasoning	2007-12-03	Paper
scientific article; zbMATH DE number 2088338 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2088347 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1946871 (Why is no real title available?)	2003-07-07	Paper
Evaluating optimized decision procedures for propositional modal \(\mathbf K(m)\) satisfiability Journal of Automated Reasoning	2002-08-20	Paper
scientific article; zbMATH DE number 1765693 (Why is no real title available?)	2002-07-10	Paper
Evaluating optimised decision procedures for propositional modal \({\mathbf K}_{({\mathbf m})}\) satisfiability	2001-11-21	Paper
scientific article; zbMATH DE number 1614703 (Why is no real title available?)	2001-07-05	Paper
scientific article; zbMATH DE number 1612542 (Why is no real title available?)	2001-07-01	Paper
An analysis of empirical testing for modal decision procedures Logic Journal of the IGPL	2000-06-21	Paper
``Reducing classic to practice: Knowledge representation theory meets reality Artificial Intelligence	2000-06-04	Paper
Optimizing description logic subsumption Journal Of Logic And Computation	1999-09-07	Paper
scientific article; zbMATH DE number 1222434 (Why is no real title available?)	1998-11-11	Paper
scientific article; zbMATH DE number 1149436 (Why is no real title available?) (available as arXiv preprint)	1998-05-10	Paper
A decidable first-order logic for knowledge representation Journal of Automated Reasoning	1990-01-01	Paper
A four-valued semantics for terminological logics Artificial Intelligence	1989-01-01	Paper
Erratum to: A four valued semantics for terminological logics Artificial Intelligence	1989-01-01	Paper

Research outcomes over time

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