City University of New York, Room 8404, February 9, 2:00-4:00 PM.

Abstract: A mixture of propositional dynamic logic and epistemic logic is used to give a formalization of Artemov’s knowledge based reasoning approach (KBR) to game theory. The family of logics introduced is called PDL + E. It is not the same as Dynamic Epistemic Logic, instead PDL + E has its origins in work of Schmidt and Tishkovsky. Epistemic states of players, usually treated informally in game-theoretic arguments, are here represented explichttp://comet.lehman.cuny.edu/fitting/CentipedeDraft.pdfitly and reasoned about formally. The heart of the presentation is a detailed analysis of the Centipede game using both the proof theoretic and the semantic machinery of PDL + E. The present work can be seen an argument for the thesis that PDL + E should be the basis of the logical investigation of game theory.

A preliminary version of a tech report presenting this work can be found at the address below. Comments are welcome.
http://comet.lehman.cuny.edu/fitting/CentipedeDraft.pdf

It is my pleasure to announce the Workshop Programme of ECAI-2010, the 19th European Conference on Artificial Intelligence, to be held in on 16-20 August 2010 in Lisbon, Portugal.

ECAI-2010 will have 21 satellite workshops, to take place during the first two days of the conference, in parallel with an extensive tutorial programme. The workshop programme covers a wide spectrum of research in AI and will be of interest to both theoreticians and practitioners.

Information regarding the individual workshops is available via the ECAI-2010 website. Most workshops operate with paper submission deadlines around the beginning of May.

Best wishes,
Ulle Endriss
(ECAI-2010 Workshop Chair)

ECAI-2010 WORKSHOP PROGRAMME
(full details at http://ecai2010.appia.pt/)

* Computational Logic in Multi-Agent Systems (CLIMA)
* Configuration (ConfWS)
* Advances in Preference Handling (M-PREF)
* Modelling and Reasoning in Context (MRC)
* Automated Reasoning about Context and Ontology Evolution (ARCOE)
* Explanation-aware Computing (ExaCt)
* Language, Pragmatics and Explanation (LPE)
* Computational Models of Natural Argument (CMNR)
* Planning to Learn (PlanLearn)
* Evolutionary and Reinforcement Learning for Autonomous Robot Systems (ERLARS)
* Benchmarking Intelligent (Multi-)Robot Systems (BIMRS)
* Intelligent Engineering Techniques for Knowledge Bases (I-KBET)
* Ubiquitous Data Mining (UDM)
* Computational Approaches to Subjectivity and Sentiment Analysis (WASSA)
* AI for Simulation | Simulation for AI (AISSAI)
* Language Technology for Cultural Heritage, Social Sciences, and Humanities (LaTeCH)
* Intelligent Agents and Technologies for e-Business (IAT4EB)
* Agents Applied in Health Care (A2HC)
* Knowledge Representation for Health Care (KR4HC)
* Artificial Intelligence and Logistics (AILog)
* Spatio-Temporal Dynamics (STeDY)

An open letter, signed by 243 international scientists, condemning these developments has just been posted to KCL senior management. The full letter is available here:

http://sites.google.com/site/kclgllcmeltdown/international-letter

AISC 2010 – 10th International Conference on
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
Theory, Implementations and Applications
http://www.informatik.uni-bremen.de/~autexier/aisc2010

CNAM, Paris, France, July 5th – July 6th, 2010

CALL FOR PAPERS

Artificial Intelligence and Symbolic Computation are two views and approaches for automating problem solving, in particular mathematical problem solving. The two approaches are based on heuristics and on mathematical algorithmics, respectively. Artificial Intelligence can be applied to Symbolic Computation and Symbolic Computation can be applied to Artificial Intelligence. Hence, a wealth of challenges, ideas, theoretical insights and results, methods and algorithms arise in the interaction of the two fields and research communities. Advanced tools of software technology and system design are needed and a broad spectrum of applications is possible by the combined problem solving power of the two fields.

Hence, the conference is in the center of interest and interaction for various research communities:

* Artificial Intelligence * Logic
* Symbolic Computation * Software Technology
* Computer Algebra * Semantic Web Technology
* Automated Reasoning * Mathematical Knowledge Management
* Formal mathematics * Computer-based Math Teaching & Didactics
* Machine Learning * Computer-Supported Publishing
* Automated Discovery * Language and System Design

Topics
Topics of particular interest of the conference include:

* AI in Symbolic Mathematical Computing
* Computer Algebra Systems and Automated Theorem Provers
* Symmetries in AI problems
* Engineering, Industrial and Operations Research Applications
* Foundations and Complexity of Symbolic Computation
* Mathematical Modeling of Multi-Agent Systems
* Implementations of Symbolic Computation Systems
* Programming Languages for Symbolic Computation
* Symbolic Computations for Expert Systems and Machine Learning
* Symbolic Computation and Ontologies
* Logic and Symbolic Computing
* Implementation and Performance Issues
* Intelligent Interfaces
* Symbolic Techniques for Document Analysis

Papers on other topics with links to the above research fields and topics will also be welcomed for consideration.

Proceedings
The proceedings of the conference will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer-Verlag. Accepted papers will have to be prepared in LaTeX and formatted according to the requirements of the Springer’s LNAI series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html and are the same for LNCS and LNAI).

Submission
Theoretical and applied research papers on all topics within the scope of the conference are invited. Submitted papers (in English) must not exceed 15 pages in length (in the LNCS style). The title page should contain the title, author(s) with affiliation(s), e-mail address(es), listing of keywords and abstract plus the topics from the above list to which the paper is related. The program committee (PC) will subject all submitted papers to a peer review. Theoretical papers will be judged on their originality and contribution to their field, and applied papers on the importance and originality of the application. Results must be original and have not been published elsewhere.

The web page for electronic submission is at:
http://www.easychair.org/conferences/?conf=aisc20100

Best Paper Awards
Every submission automatically competes for the Best Paper Award. Papers which have been mainly developed by (PhD) students can be marked as student papers upon submission to also compete for the Best Student Paper Award.

Important Dates
Abstract Submission deadline: February 19, 2010
Submission deadline: February 26, 2010
Notification: April 18, 2010
Camera Ready Version: April 28, 2010
Conference: July 5 – July 6, 2010

Logic and Language Conference

Friday 24th September – Sunday 26th September, 2010

University of Aberdeen, Northern Institute of Philosophy

 The 2010 Logic and Language Conference is the first of a series of conferences co-organized by the Northern Institute of Philosophy at the University of Aberdeen, and by the Centre for Logic and Language of the Institute of Philosophy at the School of Advanced Study, University of London.

Staged every two years, alternating location between Aberdeen and London, this workshop aims at resurrecting the traditional UK Logic and Language conference series and at becoming a prominent feature in the British philosophical calendar.

The Conference is meant primarily as a showcase for young philosophers to present and discuss their best work, but will host keynote speakers as well.

For this first edition, the topic for the invited contributions is “Fiction and Fictionalism”.

However, submissions are welcome in any areas of Philosophical Logic broadly conceived, Philosophy of Language, and the interface between Linguistics and Philosophy.

——————————-

Invited speakers:

JC Beall (University of Connecticut)
Manuel Garcia-Carpintero (University of Barcelona/Logos)
Graham Priest (University of Melbourne and CUNY Graduate Centre)
Greg Restall (University of Melbourne)
Mark Sainsbury (University of Texas, Austin)

——————————

Submission details:

We welcome submissions of 1,000-1,500 words abstracts (incl. bibliography), prepared for anonymous refereeing.

Please send your submissions as e-mail attachments to Sharon Coull: s.coull@abdn.ac.uk<mailto:s.coull@abdn.ac.uk> , specifying name, affiliation, and contact e-mail address.

Submitted abstracts will be double-blind refereed by a scientific committee organized by the Northern Institute of Philosophy and the Institute of Philosophy.

Submission deadline: April 18, 2010.

Notification of acceptance: May 30, 2010.

Registration to attend the event will open on Monday 3 May 2010.

On behalf of the Conference Organising Committee

Conference webpage

For any other enquiries or further information please contact f.berto@abdn.ac.uk<mailto:f.berto@abdn.ac.uk>

http://www.abdn.ac.uk/philosophy/nip/ll2010/

The publication of the seminal issue on Nonmonotonic Logics by the
Artificial Intelligence Journal in 1980 resulted in the new area of
research in Knowledge Representation. This development changed the
paradigm of logic originated in antiquity, created an important area of
mathematical logic, and resulted in exciting discoveries of logical
techniques creating new bridges between logic, knowledge representation
and computation. The research contributed to mathematical logic,
computer science and philosophy, and changed the perspective on
applications of logic.

This conference aims to sum up the experience of the first 30 years of
nonmonotonic logics and map paths into the future. It will interleave
longer invited talks covering all major research trends of the past 30
years with shorter technical presentations providing an account of the
current research. Invited presentations will be published in an edited
book by the College Publications. A special issue of the Journal of
Artificial Intelligence Research will provide a venue for technical
presentations.

We invite papers in all areas of nonmonotonic reasoning, and especially
encourage submissions underlying the role of nonmonotonic reasoning in
artificial intelligence and knowledge representation. Paper submission
deadline: July 11.

For more information, see http://sites.google.com/site/nonmonat30/

We tend to think of liberal democracy as providing the most ethically
defensible way to set up a modern society. A separate yet highly
relevant issue is whether liberal democracies also are preferable from
an epistemological perspective, i.e., from the point of view of
promoting true over false belief, knowledge over ignorance, and so on.
The purpose of this conference-and of the research project that it is
part of-is to investigate the norms, practices, and institutions that
determine how belief and knowledge is acquired and transmitted in
liberal democracies.

The Programme Committee cordially invite you to submit a 500 word
abstract on any topic relevant to the conference theme. Abstracts
should be submitted no later than April 1, 2010.

For more information, see http://epistemology.ku.dk/

A two-day workshop covering historical and modern aspects of games and
dialogues in logic.

Studies in the history of logic have shown that the medieval
traditions, both in western Europe and in India, have many distinctive
dialogical and epistemological characteristics. As a result, they have
much more in common with each other than they do mathematical logic of
the 1950’s. Recently, it has become apparent that these shared
characteristics can be fruitfully modeled in the context of modern
developments in logic, which are dynamic and dialogical in flavor. We
believe that investigating the common properties of these two
historical approaches can advance our understanding of these
philosophical and historical traditions with the help of recent
technical advances in dialogical and game semantics and dialogue games.
The purpose of this workshop is to bring together LogICCC researchers
from both the philosophical and technical traditions to provide a
spring-board for collaboration and potential cross-discipline
applications, allowing people working in both historical traditions,
the Western and the Indian, to gain knowledge of current modeling
techniques and those on the technical side access to new problems and
theories to model.

The four fields that we intend to represent are: the dialogical
tradition in Indian logic, obligationes in medieval Western logic,
dialogical semantics and dialogue models, and games for dialogues and
semantics. Each day there will be two tutorials; the first day will
cover the historical topics and the second day will cover the modern
techniques.

For more information, see
http://www.illc.uva.nl/medlogic/DDAHL/DiG.html

You can find out more at http://sites.google.com/site/kclgllcmeltdown/.