AI*IA 2003: Advances in Artificial Intelligence: 8th by Stefano Ferilli, Nicola Di Mauro, Teresa M. A. Basile,

By Stefano Ferilli, Nicola Di Mauro, Teresa M. A. Basile, Floriana Esposito (auth.), Amedeo Cappelli, Franco Turini (eds.)

This booklet constitutes the refereed lawsuits of the eighth Congress of the Italian organization for synthetic Intelligence, AI*IA 2003, held in Pisa, Italy in September 2003.

The forty four revised complete papers offered have been conscientiously reviewed and chosen from ninety one submissions. The papers are geared up in topical sections on wisdom illustration and reasoning, gentle computing, laptop studying, facts mining, clever brokers, making plans, robotics, traditional language processing, and purposes in numerous fields.

Show description

Read or Download AI*IA 2003: Advances in Artificial Intelligence: 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 2003. Proceedings PDF

Best international conferences and symposiums books

Algorithmic Foundations of Robotics IX: Selected Contributions of the Ninth International Workshop on the Algorithmic Foundations of Robotics

Robotics is on the cusp of dramatic transformation. more and more complicated robots with remarkable autonomy are discovering new purposes, from scientific surgical procedure, to development, to domestic companies. in contrast historical past, the algorithmic foundations of robotics have gotten extra the most important than ever, with a view to construct robots which are speedy, secure, trustworthy, and adaptive.

Evolutionary Computing: AISB Workshop Sheffield, UK, April 3–4, 1995 Selected Papers

This quantity relies at the Workshop on Evolutionary Computing held in Sheffield, U. okay. , in April 1995 below the sponsorship of the Society for the research of man-made Intelligence and Simulation of habit (AISB). The 18 complete papers offered have been chosen in the course of a post-workshop refereeing assembly and selected from 32 submissions for the workshop.

Personal Wireless Communications: IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003. Proceedings

This e-book constitutes the refereed complaints of the IFIP-TC6 8th - ternational convention on own instant Communications, PWC 2003. PWC 2003 is the ? agship convention of the IFIP operating team 6. eight, cellular and instant Communications, and is the top-rated overseas discussion board for discussions among researchers, practitioners, and scholars attracted to the symbiosis of cellular computing and instant networks.

Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, ... in Information and Communication Technology)

This ebook constitutes the refereed lawsuits of the sixth FIP WG 2. 2 foreign convention, TCS 2010, held as part of the 21th international desktop Congress, WCC 2010, in Brisbane, Australia, in September 2010. The 23 revised complete papers offered, including four invited talks, have been conscientiously reviewed and chosen from 39 submissions.

Additional info for AI*IA 2003: Advances in Artificial Intelligence: 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 2003. Proceedings

Sample text

Therefore, let’s suppose that the backtracking mechanism changes from SCSI to EIDE the types of the CD reader and of the CD writer playing the partonomic roles has cdr1 and has cdw1, respectively. After that, the tentative configuration T 4 is produced (fig. e). It is easy to see that T 4 satisfies all the constraints in S1 = [req2, . . , req5, co1], therefore it represents a solution to the first of the two subproblems the main configuration problem CP0 was decomposed into (see above). To solve the main problem, the tentative configuration T 4 must be extended in order to solve the subproblem entailed by S2 = [req1] too.

28 [23] L. van der Torre and Y. Tan. Contrary-to-duty reasoning with preference-based dyadic obligations. Annals of Mathematics and AI, 27:49–78, 1999. 33 [24] L. van der Torre and Y. Tan. Diagnosis and decision making in normative reasoning. Artificial Intelligence and Law, 7(1):51–67, 1999. it Abstract. Configuration was one of the first tasks successfully approached via AI techniques. However, solving configuration problems can be computationally expensive. In this work, we show that the decomposition of a configuration problem into a set of simpler and independent subproblems can decrease the computational cost of solving it.

1 Obligations Basic Definition We start with the definition of obligations in terms of desires, counts as a violation, and being sanctioned. The basic definition contains three clauses. (1) says that an obligation of A is a desire of N . (2) says that if ¬p is the case, then N desires that it counts as a violation. (3) says that if ¬p counts as a violation, then N desires that it is sanctioned. Permissions are defined as usual. Definition 1 (Obligation). Consider a modal logic with modal operators DN (for desire or goal), VN A (for counts as a violation) and SN A (for being sanctioned).

Download PDF sample

Rated 4.28 of 5 – based on 40 votes