Smodels
From MaRDI portal
swMATH4631MaRDI QIDQ16801FDOQ16801
Author name not available (Why is that?)
Official website: http://www.tcs.hut.fi/Software/smodels/
Cited In (only showing first 100 items - show all)
- Logic Programming and Nonmonotonic Reasoning
- GNT
- Title not available (Why is that?)
- HiLog
- InstQL
- LUPS
- Cmodels
- DLV-Complex
- Punf
- DASWAM
- DLV-EX
- Gringo
- Lparse
- PBS
- DELORES
- ASPIDE
- CDAOstore
- Prolog
- wamcc
- B-Prolog
- SCR
- Potassco
- clasp
- GASP
- NoMoRe
- plasp
- YAP-Prolog
- Graphplan
- Title not available (Why is that?)
- Asparagus
- Zinc
- MYSTIQ
- Galliwasp
- DMCS
- CCalc
- Clingcon
- Clingo
- WASP
- VIDEAS
- iClingo
- Ciao
- CiaoPP
- OpenRuleBench
- SICStus
- ASPMT2SMT
- NP Datalog
- ACORDA
- PolyFARM
- OPTYap
- XASP
- XSB
- swrl
- PEP
- BEE
- GHC
- MWeb
- aspcud
- Datalog
- DKAL
- daVinci
- UCPOP
- SWI-Prolog
- IDP3
- Modechart
- GidL
- IDP
- PARLOG
- April
- lp2normal
- Orca
- Binder
- asprilo
- ezcsp
- ALM
- PEORL
- REBA
- Yedalog
- APE
- ASPDoc
- ASPUnit
- asprin
- anthem
- Lana
- OntoDLV
- SeaLion
- EHEX
- ESParser
- spock
- selp
- Wviews
- LAIMA
- EmptyHeaded
- TOAST
- modopt
- Lparse Programs Revisited: Semantics and Representation of Aggregates
- ASSAT: computing answer sets of a logic program by SAT solvers
- GASP: Answer set programming with lazy grounding
- InstQL: a query language for virtual institutions using answer set programming
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
- Modular action language \(\mathcal{ALM}\)
This page was built for software: Smodels
