Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework

Strips: A new approach to the application of theorem proving to problem solving

Richard Fikes, Nils J. Nilsson · Artificial Intelligence · 1971 · 4K citations

Engineering, Automated Reasoning, Proof Complexity +9

Classical negation in logic programs and disjunctive databases

Michael Gelfond, Vladimir Lifschitz · New Generation Computing · 1991 · 2.3K citations

Non-classical Logic, Engineering, Automated Reasoning +6

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

Maria Fox, Derek Long · Journal of Artificial Intelligence Research · 2003 · 1.7K citations · Full text

Artificial Intelligence, Engineering, Software Engineering +19

The Semantics of Predicate Logic as a Programming Language

M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text

Declarative Programming, Engineering, Operational Semantics +11

The DLV system for knowledge representation and reasoning

Nicola Leone, Gerald Pfeifer, Wolfgang Faber et al. · ACM Transactions on Computational Logic · 2006 · 1.2K citations · Full text

Engineering, Knowledge-based Reasoning, Semantics +17