By Francesca Rossi (auth.), Jóse Júlio Alferes, João Leite (eds.)
This e-book constitutes the refereed complaints of the ninth eu convention on Logics in man made Intelligence, JELIA 2004, held in Lisbon, Portugal, in September 2004.
The fifty two revised complete papers and 15 revised structures presentation papers provided including the abstracts of three invited talks have been conscientiously reviewed and chosen from a complete of 169 submissions. The papers are geared up in topical sections on multi-agent platforms; good judgment programming and nonmonotonic reasoning; reasoning below uncertainty; common sense programming; activities and causation; complexity; description logics; trust revision; modal, spatial, and temporal logics; theorem proving; and applications.
Read or Download Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings PDF
Similar international conferences and symposiums books
This quantity includes the court cases of the eighth ecu convention on Object-Oriented Programming (ECCOP '94), held in Bologna, Italy in July 1994. ECOOP is the top-rated eu occasion on object-oriented programming and know-how. The 25 complete refereed papers awarded within the quantity have been chosen from 161 submissions; they're grouped in classes on classification layout, concurrency, styles, declarative programming, implementation, specification, dispatching, and event.
This e-book constitutes the refereed lawsuits of the 1st eu Symposium on rules of knowledge Mining and data Discovery, PKDD '97, held in Trondheim, Norway, in June 1997. the amount offers a complete of 38 revised complete papers including abstracts of 1 invited speak and 4 tutorials.
This ebook constitutes the refereed lawsuits of the fifth overseas Workshop on Interactive allotted Multimedia structures and Telecommunication companies, IDMS'98, held in Oslo, Norway, in September 1998. The 23 revised complete papers provided have been conscientiously chosen from a complete of sixty eight submissions.
Current Trends in Database Technology – EDBT 2006: EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers
This ebook constitutes the completely refereed joint post-proceedings of 9 workshops held as a part of the tenth foreign convention on Extending Database know-how, EDBT 2006, held in Munich, Germany in March 2006. The 70 revised complete papers awarded have been chosen from various submissions in the course of rounds of reviewing and revision.
- Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
- Nonmonotonic and Inductive Logic: 1st International Workshop Karlsruhe, Germany, December 4–7, 1990 Proceedings
- The Semantic Web - ISWC 2006: 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedings
- Electronic Government: 4th International Conference, EGOV 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings
- Security of Radioactive Sources Proceedings of an International Conference Held in Vienna, Austria, 10-13 March 2003
- Information and Communications Security: 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004. Proceedings
Extra info for Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings
So the expression ‘preference’ without the qualifier ‘true’ will simply mean an agent’s current vote. We assume that for each preference P there is a symbol P that represents it. There are then two types of primitive propositions in First, there are statements with the content “agent preference is P”. Let represent such statements. Secondly, we include statements with the content “P is the current outcome of the aggregation function”. Let represent such statements. Our language includes the standard boolean connectives, an epistemic modality indexed by each agent plus an additional modality (similarly indexed).
Pacuit, and R. Parikh We develop a logic for reasoning about the knowledge that agents have of their own preferences and other agents’ preferences, in a setting where a social aggregation function is defined and kept fixed throughout. We attempt to formalize the intuition that agents, knowing an aggregation function, and hence its outputs for input preferences, will strategize if they know a) enough about other agents’ preferences and b) that the output of the aggregation function of a changed preference will provide them with a more favorable result, one that is closer to their true preference.
Wiley, New York, 1954. 10. H. A. Simon. The Sciences of the Artificial. MIT Press, Cambridge, MA, 1981. 11. J. von Neumann and O. Morgenstern. Theory of Games and Economic Behavior. Princeton University Press, Princeton, NJ, 1 edition, 1944. edu Abstract. Results in social choice theory such as the Arrow and Gibbard-Satterthwaite theorems constrain the existence of rational collective decision making procedures in groups of agents. The GibbardSatterthwaite theorem says that no voting procedure is strategy-proof.