M2AG :: Milan-Messina Action Group
The Italian chapter of
Mag.... from 99posse
|You can find here the site of our part of the project|
|You can find here paper, infos, sources about JASPWrapper|
|You can find here paper, infos, sources about Dynamo|
|This service, which is built using the LiXto suite, keeps ASP researchers up to date by consulting Web sites for them.|
|Qsmodels is a Quake 3 Arena (Q3A) agent (BOT) developed using the inferential engine smodels.|
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
This benchmark suite includes 5 new problem for ASP solvers' testing.
You can also read some instructions here: Documentation
With Basp you can test some ASP implementation like Smodels, DLV and others. Logic programs generate with BASB are graph-oriented.
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 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.
Here the photo gallery of this year.
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.
|Alessandro Provettifirstname.lastname@example.org , email@example.com|
|Members at large:|