ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
26
views
15
references
Top references
cited by
17
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,679
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Logic-Based Artificial Intelligence
Extending the Smodels System with Cardinality and Weight Constraints
other
Author(s):
Ilkka Niemelä
,
Patrik Simons
Publication date
(Print):
2000
Publisher:
Springer US
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Most cited references
15
Record
: found
Abstract
: not found
Book Chapter
: not found
Stable Models and an Alternative Logic Programming Paradigm
Victor Marek
,
Miroslaw Truszczynski
(1999)
0
comments
Cited
72
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Constraint logic programming
J Jaffar
,
J.-L. Lassez
(1987)
0
comments
Cited
70
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Disjunctive datalog
Georg Gottlob
,
Thomas Eiter
,
Heikki Mannila
(1997)
0
comments
Cited
58
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2000
Pages
: 491-521
DOI:
10.1007/978-1-4615-1567-8_21
SO-VID:
9985b4f2-e7e7-4b56-b383-63824e50bc50
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 79
Declarative Problem-Solving Using the DLV System
pp. 127
Approximations, Stable Operators, Well-Founded Fixpoints and Applications in Nonmonotonic Reasoning
pp. 257
Reasoning Agents in Dynamic Domains
pp. 491
Extending the Smodels System with Cardinality and Weight Constraints
pp. 575
Logic-Based Techniques in Data Integration
Similar content
2,679
Smodels — an implementation of the stable model and well-founded semantics for normal logic programs
Authors:
Ilkka Niemelä
,
Patrik Simons
SModelS v1.0: a short user guide
Authors:
Veronika Magerl
,
Wolfgang Magerl
,
Doris Proschofsky-Spindler
…
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels)
Authors:
Enrico Giunchiglia
,
Marco Maratea
See all similar
Cited by
17
Representing Knowledge in A-Prolog
Authors:
Michael Gelfond
Twelve Definitions of a Stable Model
Authors:
Vladimir Lifschitz
cmodels – SAT-Based Disjunctive Answer Set Solver
Authors:
Yuliya Lierler
See all cited by