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 220 articles , 1 standard article )

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

1 2 3 ... 9 10 11 next

  1. Cenzer, Douglas; Marek, Victor W.; Remmel, Jeffrey B.: Index sets for finite normal predicate logic programs with function symbols (2016)
  2. Lierler, Yuliya; Truszczynski, Miroslaw: On abstract modular inference systems and solvers (2016)
  3. Analyti, Anastasia; Viegas Damásio, Carlos; Antoniou, Grigoris: Extended RDF: computability and complexity issues (2015)
  4. Lifschitz, Vladimir: The dramatic true story of the frame default (2015)
  5. Seki, Hirohisa: On dual programs in co-logic programming (2015)
  6. Analyti, Anastasia; Damásio, Carlos V.; Antoniou, Grigoris; Pachoulakis, Ioannis: Why-provenance information for RDF, rules, and negation (2014)
  7. Bauters, Kim; Schockaert, Steven; De Cock, Martine; Vermeir, Dirk: Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions (2014)
  8. Confalonieri, Roberto; Prade, Henri: Using possibilistic logic for modeling qualitative decision: answer set programming algorithms (2014)
  9. Göös, Mika; Lempiäinen, Tuomo; Czeizler, Eugen; Orponen, Pekka: Search methods for tile sets in patterned DNA self-assembly (2014)
  10. Lierler, Yuliya: Relating constraint answer set programming languages and algorithms (2014)
  11. Roanes-Lozano, Eugenio; Alonso, José Antonio; Hernando, Antonio: An approach from answer set programming to decision making in a railway interlocking system (2014)
  12. Analyti, Anastasia; Antoniou, Grigoris; Damásio, Carlos Viegas; Pachoulakis, Ioannis: A framework for modular ERDF ontologies (2013)
  13. Bao, Yibao; Yin, Lihua; Fang, Binxing; Guo, Li: A novel logic-based automatic approach to constructing compliant security policies (2012)
  14. Blount, Justin; Gelfond, Michael: Reasoning about the intentions of agents (2012)
  15. De Angelis, Emanuele; Pettorossi, Alberto; Proietti, Maurizio: Synthesizing concurrent programs using answer set programming (2012)
  16. Han, The Anh; Saptawijaya, Ari; Moniz Pereira, Luís: Moral reasoning under uncertainty (2012)
  17. Minker, Jack: To Vladimir Lifschitz on his 65th birthday (2012)
  18. Todorova, Yana; Gelfond, Michael: Toward question answering in travel domains (2012)
  19. Balduccini, Marcello: Learning and using domain-specific heuristics in ASP solvers (2011)
  20. Balduccini, Marcello; Girotto, Sara: ASP as a cognitive modeling tool: short-term memory and long-term memory (2011) ioport

1 2 3 ... 9 10 11 next

Further publications can be found at: