Download AI*IA 2005: Advances in Artificial Intelligence: 9th by Andrea Ferrara, Paolo Liberatore, Marco Schaerf (auth.), PDF

By Andrea Ferrara, Paolo Liberatore, Marco Schaerf (auth.), Stefania Bandini, Sara Manzoni (eds.)

This quantity collects the papers chosen for presentation on the IX Congress of the Italian organization for Arti?cial Intelligence (AI*IA), held in Milan on the collage of Milano–Bicocca (September 21–23, 2005). at the one hand this congress maintains the culture of AI*IA in organizing its biannual s- enti?c assembly from 1989; nonetheless, this version is a landmark within the involvement of the foreign group of arti?cial intelligence (AI), without delay related to a vast variety of specialists from numerous nations within the P- gramCommittee. Moreover,the abnormal nature of scienti?c researchin arti?cial intelligence (which is intrinsically foreign) and a number of other consolidated int- nationwide collaborations in tasks and mobility courses allowed the gathering and choice of papers from many di?erent international locations, everywhere in the global, enlarging the visibility of the Italian contribution inside this study ?eld. Arti?cial intelligence is at the present time a transforming into advanced set of conceptual, theor- ical, methodological, and technological frameworks, o?ering leading edge com- tational ideas within the layout and improvement of computer-based structures. inside of this angle, researchers operating during this region needs to take on a huge diversity of data approximately equipment, effects, and strategies coming from di?erent classical parts of this self-discipline. The congress was once designed as a discussion board permitting researchers to provide and talk about really expert effects as common contributions to AI growth.

Show description

Read Online or Download AI*IA 2005: Advances in Artificial Intelligence: 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-32, 2005. Proceedings PDF

Best italian books

Extra resources for AI*IA 2005: Advances in Artificial Intelligence: 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-32, 2005. Proceedings

Sample text

Proximity. A first basic relation useful to define space concerns the possibility of reaching one place from another (in both physical and metaphorical sense). Two places are said to be proximal, in this sense, if it is possible to go from one to the other one without passing through another place. A proximity relation RP is a reflexive and symmetric 28 S. Bandini, A. Mosca, and M. Palmonari relation that is said to hold between two places p and q when the place q is directly reachable from place p.

Springer-Verlag, 2002. 14. A. Roli. Design of a new metaheuristic for MAXSAT problems (extended abstract). In P. Van Henteryck, editor, Proceedings of CP02, volume 2470 of Lecture Notes in Computer Science, page 767. Springer-Verlag, 2002. 15. A. Roli. Metaheuristics and structure in satisfiability problems. Technical Report DEIS-LIA03-005, University of Bologna (Italy), May 2003. PhD Thesis - LIA Series no. 66. 16. A. Roli. Problem structure and search: Empirical results and open questions. In Proceedings of CPAIOR03, Montreal (Canada), 2003.

Therefore: Lemma 1. For every SCSM S there exists a finite frame F S that corresponds to it and is definable by a set of pure hybrid formulas Φ. If ΦS is such a set of formulas, S is said to be defined by it. Proof. The constructive proof is trivial since it exploits well known results in correspondence theory for Hybrid Logic and what has been shown in the above paragraph for the top elements of orientation relations. Given a SCSM S = {R, P }, take each Ri ∈ R as an accessibility relation of F S .

Download PDF sample

Rated 4.07 of 5 – based on 11 votes