How to build your own ASP-based system?!
From MaRDI portal
Cites work
- \textit{clingcon}: the next generation
- \textit{telingo} = ASP + time
- \texttt{eclingo}: a solver for epistemic logic programs
- A framework for compiling preferences in logic programs
- A new logical characterisation of stable models and answer sets
- A tutorial on hybrid answer set solving with \textit{clingo}
- Abstract gringo
- Advances in WASP
- Answer set programming
- ASP-Core-2 input language format
- Clingo goes linear constraints over reals and integers
- Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
- Compact translations of non-disjunctive answer set programs to propositional clauses
- Complex optimization in answer set programming
- Computing Diverse Optimal Stable Models
- Computing preferred answer sets by meta-interpretation in Answer Set Programming
- Conflict-driven answer set solving: from theory to practice
- Die formalen Regeln der intuitionistischen Logik. I, II, III.
- Domain-dependent knowledge in answer set planning
- Engineering an Incremental ASP Solver
- Extending and implementing the stable model semantics
- Fast and Flexible Difference Constraint Propagation for DPLL(T)
- Finding similar/diverse solutions in answer set programming
- scientific article; zbMATH DE number 6677438 (Why is no real title available?)
- scientific article; zbMATH DE number 5914356 (Why is no real title available?)
- scientific article; zbMATH DE number 1222413 (Why is no real title available?)
- scientific article; zbMATH DE number 5493266 (Why is no real title available?)
- Hybrid metabolic network completion
- Implementing preferences with asprin
- Improving the normalization of weight rules in answer set programs
- Integrating answer set programming and constraint logic programming
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24--26, 2014. Proceedings
- Multi-shot ASP solving with clingo
- On the computational cost of disjunctive logic programming: Propositional case
- plasp 3: towards effective ASP planning
- Reasoning agents in dynamic domains
- Rewriting optimization statements in answer-set programs
- Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\)
- Strongly equivalent logic programs
- System \textsc{aspmt2smt}: computing ASPMT theories by SMT solvers
- The ASP system DLV2
- The DLV system for knowledge representation and reasoning
- The External Interface for Extending WASP
- The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
- Theory and Applications of Satisfiability Testing
- Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications
- Train scheduling with hybrid answer set programming
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
Cited in
(5)- New encodings of the (Euclidean) travelling salesperson problem in constraint answer set programming on difference logic
- Towards ILP-based \(\mathrm{LTL_f}\) passive learning
- The XAI system for answer set programming xASP2
- A simple proof-theoretic characterization of stable models: reduction to difference logic and experiments
- Body-decoupled grounding via reduction: a novel approach on the \textsc{Asp} bottleneck
This page was built for publication: How to build your own ASP-based system?!
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7027223)
