Answer Set Programming 2001
Edit Page
Report
Scan day: 07 February 2014 UTC
34
Virus safety - good
Description: AAAI Spring 2001 Symposium - Towards Efficient and Scalable Knowledge Representation and Reasoning. Stanford, USA, March 26 - 28, 2001.
Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning Answer Set Programming (ASP) (a.k.a. Stable Logic Programming or A-Prolog) is the realization of much theoretical work in Non-monotonic Reasoning and AI applications of Logic Programming in the last 12 years. It is based on the view of program statements as constraints on the solution of a given problem. Subsequently, each model of the program encodes a solution to the problem itself. For instance, an ASP program encoding a planning scenario has as many models as valid plans. This schema is similar to that underlying the application of SAT algorithms to AI, and in fact the ranges of applicability of these two techniques are similar. However, thanks to the inherent causal aspect of Answer Set semantics, we can represent default assumptions, constraints, uncertainty and nondeterminism in a direct way.
Size: 905 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
Page title: | Answer Set Programming 2001 |
Keywords: | |
Description: | |
IP-address: | 128.123.64.76 |
WHOIS Info
NS | Name Servers: DNS1.NMSU.EDU 128.123.3.3 DNS2.NMSU.EDU 128.123.2.2 |
WHOIS | |
Date | activated: 27-May-1987 last updated: 25-Nov-2013 expires: 31-Jul-2014 |