ASSAT
From MaRDI portal
swMATH2524MaRDI QIDQ15063FDOQ15063
Author name not available (Why is that?)
Official website: http://assat.cs.ust.hk/
Cited In (only showing first 100 items - show all)
- Semantics and complexity of recursive aggregates in answer set programming
- Unfolding partiality and disjunctions in stable model semantics
- Equilibrium logic
- Ordered completion for first-order logic programs on finite structures
- Title not available (Why is that?)
- Loop-separable programs and their first-order definability
- Loop formulas for description logic programs
- Tableau Calculi for Answer Set Programming
- Engineering an Incremental ASP Solver
- Stable models and circumscription
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
- Stable models and difference logic
- Modularity aspects of disjunctive stable models
- Answer set programming based on propositional satisfiability
- Evaluating ASP and commercial solvers on the CSPLib
- Integrating answer set programming and constraint logic programming
- On the relation among answer set solvers
- Inference and learning in probabilistic logic programs using weighted Boolean formulas
- Knowledge compilation of logic programs using approximation fixpoint theory
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
- Discovering classes of strongly equivalent logic programs
- Explanatory Nonmonotonic Reasoning
- Logic Programming
- Conflict-driven answer set solving: from theory to practice
- Magic sets for disjunctive Datalog programs
- GNT
- Title not available (Why is that?)
- Cmodels
- Siege
- DLV
- DLV-EX
- Gringo
- Lparse
- PBS
- Smodels
- ASPIDE
- Prolog
- BerkMin
- CP-logic
- SCR
- Potassco
- clasp
- GASP
- NoMoRe
- Asparagus
- SATMC
- QUBOS
- CCalc
- Clingcon
- Clingo
- f2lp
- WASP
- STeLP
- VIDEAS
- NMRDPP
- iClingo
- ROSoClingo
- BEE
- Datalog
- PySMT
- GraphLog
- htd
- nomore++
- RailCNL
- GidL
- lp2normal
- Orca
- ezcsp
- Democratix
- asprin
- anthem
- OntoDLV
- LAIMA
- ASPTools
- circumscriptino
- DLPEQ
- TOAST
- hclasp
- LP2SAT
- LP2ACYC
- LP2NORMAL2
- lpeq
- OMiGA
- pyrunlim
- ASP-G
- ANTON
- The nomore + + Approach to Answer Set Solving
- eclingo
- TOAST: Applying Answer Set Programming to Superoptimisation
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
- Conflict-Driven Answer Set Enumeration
- Max-ASP: Maximum Satisfiability of Answer Set Programs
- GASP: Answer set programming with lazy grounding
- Thirteen Definitions of a Stable Model
- Modularity Aspects of Disjunctive Stable Models
- Temporal phylogenetic networks and logic programming
- Logic programming with infinite sets
This page was built for software: ASSAT
