Patrick Doherty

Available identifiers

zbMath Open doherty.patrickMaRDI QIDQ329425

List of research outcomes

Publication	Date of Publication	Type
Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions	2024-02-13	Paper
A landscape and implementation framework for probabilistic rough sets using \textsc{ProbLog}	2024-02-05	Paper
Rough forgetting	2022-11-09	Paper
Rough set reasoning using answer set programs	2021-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q5379094	2019-05-28	Paper
General domain circumscription and its first-order reduction	2019-04-29	Paper
Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles	2017-03-07	Paper
Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs	2016-11-30	Paper
Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification	2016-10-21	Paper
Stability, Supportedness, Minimality and Kleene Answer Set Programs	2015-02-04	Paper
Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination	2013-11-28	Paper
FUZZY IF-THEN-UNLESS RULES AND THEIR IMPLEMENTATION	2012-02-17	Paper
Iterative Bounding LAO	2011-05-11	Paper
Contextual Coalitional Games	2010-12-17	Paper
Optimal placement of UV-based communications relay nodes	2010-11-12	Paper
Vision-based unmanned aerial vehicle navigation using geo-referenced information	2010-04-24	Paper
KI 2003: Advances in Artificial Intelligence	2010-03-03	Paper
Approximate databases: a support tool for approximate reasoning	2009-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q3425577	2007-02-26	Paper
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing	2006-11-01	Paper
Rough Sets and Current Trends in Computing	2006-11-01	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
Knowledge representation techniques. A rough set approach.	2006-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4460674	2004-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4427000	2003-09-18	Paper
TALplanner: A temporal logic based forward chaining planner	2002-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q2753783	2001-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4522247	2000-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q4518416	2000-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4496270	2000-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4395142	2000-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q4943319	2000-03-16	Paper
Declarative PTIME queries for relational databases using quantifier elimination	2000-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q4264098	1999-11-11	Paper
Computing circumscription revisited: A reduction algorithm	1997-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3126169	1997-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4275685	1994-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4287496	1994-05-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Patrick Doherty