http://www.cs.nmsu.edu/~tson/ASP2001/csp01.htmlAAAI Spring 2001 Symposium - Towards Efficient and Scalable Knowledge Representation and Reasoning. Stanford, USA, March 26 - 28, 2001.2001Answer 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
waiting for hand_moderationAnswerSetProgramming2001
Conference on Cooperative
Some copies of Coopis proceedings are
now (Jan 7, 2002) available.
The Cooperative Information System (CIS)
paradigm has gained substantial importance in the last years: middleware
and Web technologies, e-Commerce, e-Government, virtual enterprises are
examples of its
waiting for hand_moderation
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
waiting for hand_moderation
Fifth International Workshop
In cooperation with 27th conference on Very
NASA/Goddard Space Flight Center,
NOKIA Research Center, USA
European Network of Excellence
Swiss Life AG, Switzerland
Center for Information Systems
Integration and Evolution, USA
Object Technology Consulting,
For
waiting for hand_moderation
Joining mailing list will entitle you
to receive occasional emails informing you of news and
updates to the site and any special offers that may be
of interest to you.