Constraint Answer Set Solving (Q4649733): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 20:25, 5 July 2024

scientific article; zbMATH DE number 6105008

Language	Label	Description	Also known as
English	Constraint Answer Set Solving	scientific article; zbMATH DE number 6105008

Statements

scholarly article

0 references

Constraint Answer Set Solving (English)

0 references

0 references

0 references

0 references

Logic Programming

0 references

publication date

13 November 2012

0 references

describes a project that uses

0 references

0 references

0 references

0 references

0 references

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-02846-5_22

0 references

Knowledge Representation, Reasoning and Declarative Problem Solving

0 references

Answer set based design of knowledge systems

0 references

Detecting Inconsistencies in Large Biological Networks with Answer Set Programming

0 references

Solving SAT and SAT Modulo Theories

0 references

Boosting search with variable elimination in constraint optimization and constraint satisfaction problems

0 references

0 references

Logic Programming

0 references

Integrating Answer Set Reasoning with Constraint Solving Techniques

0 references

Integrating answer set programming and constraint logic programming

0 references

Extending and implementing the stable model semantics

0 references

Conflict-Driven Answer Set Enumeration

0 references

External sources of knowledge and value invention in logic programming

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-642-02846-5_22

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4649733

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4649733&oldid=35307020"