Michael Gelfond
Texas Tech University(US)
Publications by Year
Research Areas
Logic, Reasoning, and Knowledge, Semantic Web and Ontologies, Multi-Agent Systems and Negotiation, Logic, programming, and type systems, AI-based Problem Solving and Planning
Most-Cited Works
- The stable model semantics for logic programming(1988)
- → Classical negation in logic programs and disjunctive databases(1991)2,289 cited
- → Representing action and change by logic programs(1993)515 cited
- Logic programs with classical negation(1990)
- → Logic programming and knowledge representation(1994)437 cited
- → Probabilistic reasoning with answer sets(2009)252 cited
- → Knowledge Representation, Reasoning, and the Design of Intelligent Agents(2014)247 cited
- → An A-Prolog Decision Support System for the Space Shuttle(2001)225 cited