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
SOFSEM 2001 - 28th Annual Conference on Current Trends in Theory and Practice of Informatics, November 24 - December 1, 2001, Piestany, Slovak Republic, Europe
28th Annual Conference on Current
Theory and Practice of Informatics
November 24 - December 1, 2001
SOFSEM ( SOF tware SEM inar)
is a seven-day international conference devoted to
the theory and practice of software systems. Its aim is to foster
cooperation among professionals from academia
Second International Workshop on the Semantic Web - SemWeb'2001
at Stanford, July 30-31, 2001
Web", a term coined by Tim Berners-Lee, is used to denote
the next evolution step of the Web. Associating meaning with
content or establishing a layer of machine understandable
data would allow
waiting for hand_moderation
Including the following events: XXI International Conference of the Chilean Computer Science Society; IX Chilean Congress on Computing; V Workshop on parallel and distributed systems; III Congress on Higher Education in Computer Science; II Workshop on Artificial Intelligence; I Workshop on Software Engineering; ACM South-American Region Programming Contest; Tutorials and invited talks. University of Magellan, Punta Arenas, Chile; 5--9 November 2001.
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.