Searching for authors named Patrick Doherty – sorted by Relevance.
47 documents found, showing 1 through 10.
Next 10 →
-
Executive Letter
- … functionality you’ll need in this new era of Information Availability. Sincerely, Patrick Doherty Senior Vice…
- Add To MetaCart
-
Pmon(r)
- …PMON(R) Patrick Doherty March 30, 1996 Department of Computer and Information Science Linkoping…
- Add To MetaCart
-
Efficient reasoning using the local closed-world assumption
- …Efficient Reasoning Using the Local Closed-World Assumption Patrick Doherty 1⋆ ,Witold…
- Cited by 6 (1 self) – Add To MetaCart
-
Computing Circumscription Revisited: A Reduction Algorithm
- …. Manufactured in The Netherlands. Computing Circumscription Revisited: A Reduction Algorithm PATRICK DOHERTY…
- Cited by 32 (13 self) – Add To MetaCart
-
Tolerance spaces and approximative representational structures
- …Tolerance Spaces and Approximative Representational Structures ⋆ Patrick Doherty 1 , Witold…
- Cited by 6 (6 self) – Add To MetaCart
-
On the correspondence between approximations and similarity
- …On the Correspondence between Approximations and Similarity Patrick Doherty 1 and Andrzej Sza…
- Cited by 3 (3 self) – Add To MetaCart
-
PMON+: A Fluent Logic for Action and Change Formal Specification, Version 1.0
- … Formal Specification, Version 1.0 Patrick Doherty Abstract This report describes the current state…
- Cited by 11 (5 self) – Add To MetaCart
-
General Domain Circumscription and its Effective Reductions
- … Effective Reductions Patrick Doherty y Department of Computer and Information Science, Linkoping…
- Cited by 5 (5 self) – Add To MetaCart
-
The Handbook of Knowledge Representation
- … Patrick Doherty and Jonas Kvarnström First Draft Version: February 28, 2006 Chapter 15 To be included…
- Cited by 1 (0 self) – Add To MetaCart
-
Tackling the qualification problem using fluent dependency constraints: Preliminary report
- …Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report Patrick…
- Cited by 11 (7 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
