The following pages link to Patrick Doherty (Q329425):
Displaying 39 items.
- Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification (Q329426) (← links)
- Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles (Q513626) (← links)
- Optimal placement of UV-based communications relay nodes (Q604957) (← links)
- Vision-based unmanned aerial vehicle navigation using geo-referenced information (Q967076) (← links)
- Computing circumscription revisited: A reduction algorithm (Q1367072) (← links)
- TALplanner: A temporal logic based forward chaining planner (Q1601878) (← links)
- Rough forgetting (Q2096552) (← links)
- Rough set reasoning using answer set programs (Q2237125) (← links)
- Knowledge representation techniques. A rough set approach. (Q2498271) (← links)
- (Q2753783) (← links)
- Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs (Q2835899) (← links)
- Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination (Q2865084) (← links)
- Iterative Bounding LAO (Q2999156) (← links)
- Contextual Coalitional Games (Q3063970) (← links)
- FUZZY IF-THEN-UNLESS RULES AND THEIR IMPLEMENTATION (Q3117235) (← links)
- (Q3126169) (← links)
- (Q3425577) (← links)
- Approximate databases: a support tool for approximate reasoning (Q3647257) (← links)
- (Q4264098) (← links)
- (Q4275685) (← links)
- (Q4287496) (← links)
- (Q4395142) (← links)
- (Q4427000) (← links)
- (Q4460674) (← links)
- (Q4496270) (← links)
- (Q4518416) (← links)
- (Q4522247) (← links)
- General domain circumscription and its first-order reduction (Q4632291) (← links)
- Declarative PTIME queries for relational databases using quantifier elimination (Q4934813) (← links)
- (Q4943319) (← links)
- Stability, Supportedness, Minimality and Kleene Answer Set Programs (Q5172611) (← links)
- (Q5379094) (← links)
- Logics in Artificial Intelligence (Q5394163) (← links)
- Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (Q5394512) (← links)
- Rough Sets and Current Trends in Computing (Q5394676) (← links)
- KI 2003: Advances in Artificial Intelligence (Q5897312) (← links)
- A landscape and implementation framework for probabilistic rough sets using \textsc{ProbLog} (Q6149551) (← links)
- Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions (Q6152662) (← links)
- Signed dual tableaux for Kleene answer set programs (Q6599615) (← links)
