Searching for authors named Michael Gelfond – sorted by Relevance.
-
Logic Programming and Reasoning with Incomplete Information
- Logic Programming and Reasoning with Incomplete Information Michael Gelfond Computer Science
- Cited by 32 (4 self) – Add To MetaCart
-
Representing Knowledge in A-Prolog
- Representing Knowledge in A-Prolog Michael Gelfond Texas Tech University mgelfond@(email omitted); http
- Cited by 45 (1 self) – Add To MetaCart
-
Building a Knowledge Base: An Example
- : an example Michael Gelfond a Alfredo Gabaldon b a Department of Computer Science University of Texas
- Add To MetaCart
-
The AAA Architecture: An Overview
- The AAA Architecture: An Overview Marcello Balduccini ∗ and Michael Gelfond Computer Science
- Add To MetaCart
-
Diagnosing Dynamic Systems in A-Prolog
- Diagnosing Dynamic Systems in A-Prolog Michael Gelfond Computer Science Dept. Texas Tech
- Cited by 2 (0 self) – Add To MetaCart
-
Towards a Theory of Elaboration Tolerance: Logic Programming Approach
- Towards a Theory of Elaboration Tolerance: Logic Programming Approach Michael Gelfond University
- Cited by 13 (4 self) – Add To MetaCart
-
From Functional Specifications to Logic Programs
- From Functional Specifications to Logic Programs Michael Gelfond, Alfredo Gabaldon Department
- Cited by 8 (6 self) – Add To MetaCart
-
Model-Based Reasoning for Complex Flight Systems
- Model-Based Reasoning for Complex Flight Systems Marcello Balduccini and Michael Gelfond Computer
- Cited by 1 (0 self) – Add To MetaCart
-
Reasoning in Open Domains
- Reasoning in Open Domains Michael Gelfond Computer Science Department University of Texas at El
- Cited by 15 (1 self) – Add To MetaCart
-
Reasoning Agents In Dynamic Domains
- . Arizona State University, Tempe, AZ 85287 chitta@(email omitted); Michael Gelfond Department of Computer Sc
- Cited by 57 (16 self) – Add To MetaCart

