Wyniki wyszukiwania:

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas.
This LNCS volume is part of FoLLi book serie and contains the papers presented at the 5th International Workshop on Logic, Rationality and Interaction/...

This book collects all the papers that appeared in 2005 in Kno- edge, Rationality and Action (KRA), a journal published as a s- cial section of Synthese, which addresses contemporary issues in epistemic logic, belief revision, game and decision theory, rational agency, planning and theories of action. As such, the special section appeals to researchers from Computer Science, Game Theory, Ar- ?cial Intelligence, Philosophy, Knowledge Representation, Logic and Agents, addressing issues in arti?cial systems that have to gather information, reason about it and then make a sensible decision about...

Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers such as Jaakko Hintikka and David Lewis in the early 1960s. Since then, such logics have played a significant role not only in philosophy, but also in computer science, artificial intelligence, and economics. This handbook reports significant progress in a field that, while more mature, continues to be very active. This book should make it easier for new researchers to enter the field, and give experts a chance to appreciate work in related areas.


The book starts with a gentle introduction...

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA 2006. The 34 revised full papers and 12 revised tool description papers presented together with 3 invited talks were carefully reviewed and selected from 96 submissions. The papers cover a range of topics within the remit of the Conference, such as logic programming, description logics, non-monotonic reasoning, agent theories, automated reasoning, and machine learning.

The seventh German Conference on Multi-Agent System Technologies (MATES 2009) took place in Hamburg, Germany, during September 9-11, 2009, and was colocated with the tenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X) and the Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA 2009). MATES 2009 wasorganizedby the German"Gesellschaft fur Informatik" (GI) Special Interest Groups on "Distributed Arti?cial Intelligence" and "Communication and D- tributed Systems" in cooperation with the Steering Committee of MATES. One main aim of...

Contemporary epistemological and cognitive studies, as well as recent trends in computer science and game theory have revealed an increasingly important and intimate relationship between Information, Interaction, and Agency.

Agents perform actions based on the available information and in the presence of other interacting agents. From this perspective Information, Interaction, and Agency neatly ties together classical themes like rationality, decision-making and belief revision with games, strategies and learning in a multi-agent setting.

...