atalog: A logic language for expressing search and optimization problems

DOI10.1017/S1471068409990251zbMATH Open1191.68150DBLPjournals/tplp/GrecoMTZ10WikidataQ62047427 ScholiaQ62047427MaRDI QIDQ3550912

Sergio Greco, Ester Zumpano, Cristian Molinaro, Irina Trubitsyna

Publication date: 7 April 2010

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

Optimization Programming Language

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• NP-SPEC: An executable specification language for solving all problems in NP
• ASSAT: computing answer sets of a logic program by SAT solvers
• Optimization, approximation, and complexity classes
• Extending and implementing the stable model semantics
• The well-founded semantics for general logic programs
• The DLV system for knowledge representation and reasoning
• Autoepistemic logic
• Predicate-calculus-based logics for modeling and solving search problems
• Approximation properties of NP minimization classes
• Compiling problem specifications into SAT
• Why not negation by fixpoint?
• The expressive powers of the logic programming semantics
• The expressive powers of stable models for bound and unbound DATALOG queries
• Greedy algorithms in Datalog

Cited In (3)

• Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks
• NP Datalog
• Using linear constraints for logic program termination analysis

Uses Software

• CPLEX

This page was built for publication: atalog: A logic language for expressing search and optimization problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3550912)