Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

AAAI
2008

favoriteEmaildiscussreport

132views Intelligent Agents» more AAAI 2008»

What Is Answer Set Programming?

13 years 6 months ago

What Is Answer Set Programming?

Download www.cs.utexas.edu

Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in knowledge representation, it is particularly useful in knowledge-intensive applications. ASP programs consist of rules that look like Prolog rules, but the computational mechanisms used in ASP are different: they are based on the ideas that have led to the creation of fast satisfiability solvers for propositional logic.

Vladimir Lifschitz

Real-time Traffic

AAAI 2008 | Answer Set Programming | Difficult Search Problems | Fast Satisfiability Solvers | Intelligent Agents |

claim paper

Related Content

» Debugging Logic Programs under the Answer Set Semantics

» Possibilistic uncertainty handling for answer set programming

» Efficient Solving of Timedependent Answer Set Programs

» On Testing AnswerSet Programs

» Using answer set programming to model multiagent scenarios involving agents knowledge abou...

» Loop Formulas for Description Logic Programs

» Whats a Head Without a Body

» On the Progression Semantics and Boundedness of Answer Set Programs

» Using Histograms to Better Answer Queries to Probabilistic Logic Programs

Post Info
More Details (n/a)

Added	02 Oct 2010
Updated	02 Oct 2010
Type	Conference
Year	2008
Where	AAAI
Authors	Vladimir Lifschitz

Comments (0)