M2AG :: Milan-Messina Action Group The Italian chapter of TAG :: Texas Action Group

Mag.... from 99posse

The Artificial Intelligence Group of University of Milan and University of Messina

A node of WASP :: the European Working Group on Answer Set Programming.
We do research on Answer Set Programming and its applications.
Also, we have fun with cognitive robotics experiments.

News and interesting links

• The EER2Instances project was deployed! Click here to find more infos.
• The JASPWrapper project was deployed! Click here to find more infos.
• The CILC conference has been held in Messina! CILC is the annual meeting of the Italian Computational Logic Association (GULP).
• A new site about the WAM Project (Web di Antichi Manoscritti/Ancient Manuscript Web).
• The Inference Finder project uses Prolog to find out evidence of deductive/abductive reasoning in transcripts of Cognitive Science experiments.
• Sergio Bossa and Giacomo Fiumara have started DynanoNews, an experimental Web Service that automatically extracts and aggregates news from plain old HTML sites. DynamoNews provides REST services.
• The M2ag group will present the paper Declarative Web data extraction and annotation at the WLP 2006 workshop.
• Franco Salvetti is organizing a AAAI Spring 2006 Symposium on Analising Weblogs. The successful event has a follow-up in 2007.

Texas Action Group chapters 

The TAG founders, Michael Gelfond Vladimir Lifschitz, wrote a brief history of TAG (part I, part II), for the ALP Newsletter.

TAG chapters:

• The Knowledge representation, Logic, and Advanced Programming Laboratory (KLAP)
• Texas Action Group at University of Texas at Austin
• KR Lab at Texas Tech University
• Action Group at Middle East Technical University

Projects

DLP*: a new step for Disjunctive Logic Programming

You can find here the site of our part of the project

JASPWrapper: a Java wrapper for Logic Programming solvers

You can find here paper, infos, sources about JASPWrapper

Dynamo: wrap the dust

You can find here paper, infos, sources about Dynamo

Answer Set Programming literature alert

This service, which is built using the LiXto suite, keeps ASP researchers up to date by consulting Web sites for them.

Qsmodels: Answer Set Programming in Interactive Gaming Environment (2004)

Qsmodels is a Quake 3 Arena (Q3A) agent (BOT) developed using the inferential engine smodels.

SOAPLE

Show One Atom Per Line Exactly: a postprocessor you can use to format Smodels, DLV or Cmodels output so that each atom is printed on a separate line.
To download click here

A new benchmark suite for ASP solvers (2004)

This benchmark suite includes 5 new problem for ASP solvers' testing.

Download here the benchmark suite (.tgz)
Download here time results (.pdf)

Answer set Programming for the Semantic Web (2002)

We are starting work on DAML+OIL ontologies, trying to add logical inference to enable automated reasoning about concepts found on the semantic web.

Ksmodels: smodels for kernel logic programs (2002)

Download here the Gamma version

You can also read some instructions here: Documentation

Basp: suite benchmark for ASP implementation (2002)

With Basp you can test some ASP implementation like Smodels, DLV and others. Logic programs generate with BASB are graph-oriented.

Download here Basp Beta version (zip)

Experiments in cognitive robotics

The final for the AI class in Milan, taught by Prof. Mario Ornaghi consisted of a project on Legolog , developed at Toronto University for the study of autonomy robotics with Lego® Mindstorms hardware controlled by high level logic.

The application of logic programming to autonomous robots has been pionereed, within TAG, by Chitta Baral and Son Tran Cao, with their UTEP Diablo robot.

The AI class project started from Hector Levesque and Maurice Pagnucco's work at Toronto University. They realized the basic software, the framework and the comunication protocol. The main problem they had to face was the syncronization and merging of two different fields: NQC programming and logic programming which usually are hard to implement on physical devices. The first results are good enough to encourage future improvement.

AI Class final projects gallery (Year 2004)

Project PlanXaibo in Messina developed an ASP planner ready to take control of an AIBO robot.
Sensing and execution need to be implemented through invocation of high-level C++ functions from the Tekkotsu library.

AI Class final projects gallery (Year 2003)

B.A.L.R.O.G. project

AI Class final projects gallery (Year 2002)

Here the photo gallery of this year.

Burritos's scorpion

Robybot

AI Class final projects gallery (Year 2001)

The following pages are in Italian, sorry . You may want to look at the photo gallery and get an idea of what these little things can do.

	Braccobaldo		Cardillone
	Eagle		Tagliola

Publication gallery

Articles on policy languages are in the PPDL page. Visit the TAG bibliography at UT.

People

Participants:
	Alessandro Provetti	ale@di.unimi.it , ale@unime.it
	Mario Ornaghi	ornaghi@di.unimi.it
	Giacomo Fiumara	fiumara@unime.it
	Massimo Marchi	marchi@di.unimi.it
	Franco Salvetti	Franco.Salvetti@Colorado.edu
	Rosetta Pagano	rpagano@unime.it
	Maria Amalfi	maria.amalfi@gmail.com
	Giovanni Pirrotta	gpirrotta@unime.it
Members at large:
	Stefania Costantini	stefcost@univaq.it
	Maurice Pagnucco	morri@cse.unsw.edu.au
	Giovanna Bubbico	giovanna.bubbico@gmail.com
Alumni:
	Alessandra Mileo
	Carlo Bernardoni
	Luca Padovani
	Isabella Cattinelli
	Sergio Bossa
	Alan Franzi
	Fabrizio Magni
	Linda Pareschi