Smodels

The Smodels system is an Answer Set Programming (ASP) implementation based on the stable model semantics of normal logic programs. The basic idea of ASP is to encode the constraints of a problem as a logic program such that the answer sets (stable models) of the program correspond to the solutions of the problem. Then we can solve the problem by letting a logic program engine to find the answer sets of the program.


References in zbMATH (referenced in 228 articles , 1 standard article )

Showing results 1 to 20 of 228.
Sorted by year (citations)

1 2 3 ... 10 11 12 next

  1. Balduccini, Marcello; Lierler, Yuliya: Constraint answer set solver ezcsp and why integration schemas matter (2017)
  2. Lierler, Yuliya: What is answer set programming to propositional satisfiability (2017)
  3. Lierler, Yuliya; Susman, Benjamin: On relation between constraint answer set programming and satisfiability modulo theories (2017)
  4. Cenzer, Douglas; Marek, Victor W.; Remmel, Jeffrey B.: Index sets for finite normal predicate logic programs with function symbols (2016)
  5. Inclezan, Daniela; Gelfond, Michael: Modular action language $\mathcalALM$ (2016)
  6. Lierler, Yuliya; Truszczynski, Miroslaw: On abstract modular inference systems and solvers (2016)
  7. Analyti, Anastasia; Viegas Damásio, Carlos; Antoniou, Grigoris: Extended RDF: computability and complexity issues (2015)
  8. Lifschitz, Vladimir: The dramatic true story of the frame default (2015)
  9. Seki, Hirohisa: On dual programs in co-logic programming (2015)
  10. Analyti, Anastasia; Damásio, Carlos V.; Antoniou, Grigoris; Pachoulakis, Ioannis: Why-provenance information for RDF, rules, and negation (2014)
  11. Bauters, Kim; Schockaert, Steven; De Cock, Martine; Vermeir, Dirk: Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions (2014)
  12. Confalonieri, Roberto; Prade, Henri: Using possibilistic logic for modeling qualitative decision: answer set programming algorithms (2014)
  13. Göös, Mika; Lempiäinen, Tuomo; Czeizler, Eugen; Orponen, Pekka: Search methods for tile sets in patterned DNA self-assembly (2014)
  14. Lierler, Yuliya: Relating constraint answer set programming languages and algorithms (2014)
  15. Roanes-Lozano, Eugenio; Alonso, José Antonio; Hernando, Antonio: An approach from answer set programming to decision making in a railway interlocking system (2014)
  16. Analyti, Anastasia; Antoniou, Grigoris; Damásio, Carlos Viegas; Pachoulakis, Ioannis: A framework for modular ERDF ontologies (2013)
  17. Bao, Yibao; Yin, Lihua; Fang, Binxing; Guo, Li: A novel logic-based automatic approach to constructing compliant security policies (2012)
  18. Blount, Justin; Gelfond, Michael: Reasoning about the intentions of agents (2012)
  19. De Angelis, Emanuele; Pettorossi, Alberto; Proietti, Maurizio: Synthesizing concurrent programs using answer set programming (2012)
  20. Han, The Anh; Saptawijaya, Ari; Moniz Pereira, Luís: Moral reasoning under uncertainty (2012)

1 2 3 ... 10 11 12 next


Further publications can be found at: http://www.tcs.hut.fi/Software/smodels/index.html#publications