Mixed integer programming methods for computing nonmonotonic deductive databases
From MaRDI portal
Publication:4327631
DOI10.1145/195613.195637zbMath0830.68039MaRDI QIDQ4327631
Anil Nerode, V. S. Subrahmanian, Raymond T. Ng, Colin E. Bell
Publication date: 10 April 1995
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/195613.195637
nonmonotonic reasoning; logic programming; operations research; deductive databases; declarative semantics
Related Items
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories, Computing minimal models by partial instantiation, Reasoning with minimal models: efficient algorithms and applications, Computing definite logic programs by partial instantiation, Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation, Default reasoning from conditional knowledge bases: Complexity and tractable cases, Extending and implementing the stable model semantics, Many-valued logic and mixed integer programming, An incremental algorithm for generating all minimal models