Searching for authors named Jack Minker – sorted by Relevance.
37 documents found, showing 1 through 10.
Next 10 →
-
Historical Developments in Computers to the 1950s
- …Historical Developments in Computers to the 1950s 1 by Jack Minker Department of Computer Science…
- Add To MetaCart
-
An Overview of Nonmonotonic Reasoning and Logic Programming
- … An Overview of Nonmonotonic Reasoning and Logic Programming 1 Jack Minker Department of Computer…
- Cited by 21 (2 self) – Add To MetaCart
-
Logic and Databases: a 20 Year Retrospective
- …Logic and Databases: a 20 Year Retrospective ? Jack Minker 1 Department of Computer Science…
- Cited by 47 (1 self) – Add To MetaCart
-
Computing Protected Circumscription
- …1 Computing Protected Circumscription Jack Minker and Donald Perlis 1 1,2 2 D 1 epartment…
- Cited by 12 (3 self) – Add To MetaCart
-
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs
- … Jack Minker Institute for Advanced Computer Studies and Department of Computer Science University…
- Cited by 11 (3 self) – Add To MetaCart
-
User Needs and Language Generation Issues in a Cooperative Answering System
- … and Jack Minker 1;2 Department of Computer Science 1 and Institute for Advanced Computer Studies 2…
- Cited by 10 (6 self) – Add To MetaCart
-
Mixing a Default Rule with Stable Negation
- …, Florida. Jan. 1996. Mixing a Default Rule with Stable Negation Jack Minker and Carolina Ruiz Dept…
- Cited by 2 (1 self) – Add To MetaCart
-
Completeness results for circumscription
- …Completeness Results for Circumscription Donald Perlis 1 and Jack Minker 1,2 MYDepartment…
- Cited by 7 (4 self) – Add To MetaCart
-
Semantics for Disjunctive Logic Programs with Explicit and Default Negation
- …Semantics for Disjunctive Logic Programs with Explicit and Default Negation Jack Minker Carolina…
- Cited by 8 (2 self) – Add To MetaCart
-
Combining Closed World Assumptions with Stable Negation
- … Negation Carolina Ruiz 1 Jack Minker 2 1 Department of Computer Science Worcester Polytechnic…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
