×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of michael-gelfond
On the relationship between CWA, minimal model, and minimal herbrand model semantics
213 views
On the relationship between circumscription and negation as failure
213 views
Logic programming and knowledge representation—The A-Prolog perspective
215 views
Logic programming and reasoning with incomplete information
215 views
Classical negation in logic programs and disjunctive databases
212 views