Shortlink

The 32nd ACM SIGAPP Symposium On Applied Computing

Marrakech, Morocco
April 3 - 7, 2017
Track on Knowledge Representation and Reasoning (KRR)
Website: http://www.dmi.unipg.it/bista/organizing/KR@sac2017/

Overview:
The topic of the track covers an important field of research in Artificial Intelligence: KRR is indeed a trending topic (for instance, its Argumentation-theory subfield). A similar dedicated conference is the International Conference on Principles of Knowledge Representation and Reasoning, but all the major conferences in AI (e.g., AAAI, IJCAI, AAMAS, ECAI) have KRR among their topics of interest. KRR track will be a venue for all the researchers and practitioners working on the fundaments (but also applications) of reasoning, and the cross-fertilization among different approaches (e.g., Argumentation and Belief Revision). ACM SAC is ranked CORE:B, MAS:A-, SHINE:A. The average acceptance rate per track is under 25%.
Continue reading

Shortlink

CALL FOR ABSTRACTS: WORKSHOP "ARGUMENT STRENGTH"

When: December 1-2, 2016
Where: Institute of Philosophy II, Ruhr-University Bochum
http://homepages.ruhr-uni-bochum.de/defeasible-reasoning/Argument-Strength-2016.html
Description:
Arguments vary in strength. The strength of an argument is affected by e.g. the plausibility of its premises, the nature of the link between its premises and conclusion, and the prior acceptability of the conclusion.

The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic, and argumentation theory to discuss questions related to the strength of arguments. Such questions include: Continue reading

Shortlink

7th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS

January 5–7, 2017
IIT Kanpur, India
http://www.cse.iitk.ac.in/users/icla/

ALI, the Association for Logic in India, announces the seventh edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Kanpur, from January 5 to 7, 2017. ICLA 2017 will be co-located with the Methods for Modalities Workshop to be held during January 8-10, 2017.

ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic. Continue reading

Shortlink

PhD position at Ghent University: Deontic Logic and Medical Ethics

  • Duration: 2+2 years
  • Starting date: preferably October 2016, but not later than January 1, 2017
  • Domain: deontic logic, formal ethics
  • net income: approximately 1900 EUR/month
  • Deadline for applications: July 10, 2016.

Job offer
The Centre for Logic and Philosophy of Science (CLPS) of Ghent University (Belgium) is offering a full-time position for 2+2 years, for a pre-doctoral researcher, starting October 2016 (flexible, but in any case not later than January 1, 2017). The position is part of the project “Towards a more integrated formal account of actual ethical reasoning, with
applications in medical ethics”, funded by the Flemish Research Foundation (FWO-Vlaanderen) and supervised by Joke Meheus (Ghent University), Frederik Van De Putte (Ghent University), and Christian Straßer (Ruhr-University
Bochum). Continue reading

Shortlink

Postdoctoral researcher in Logic. ILLC-Amsterdam

The Institute for Logic, Language and Computation at the University ofAmsterdam has a vacancy for a

*Postdoctoral researcher in Logic *
38 hours per week
vacancy number 16-218

Description:
--------------
We are looking for a postdoctoral researcher who will join the research group of Prof. Sonja Smets. Preference will be given to a candidate who is active in one of the following areas:

1. Logic and its applications to formal epistemology or multi-agent systems. In particular we are interested in the use of logical methods to study the dynamics of information. Topics of interest can relate to belief revision theory, social network theory, epistemic game theory, truth approximation or formal learning theory. Continue reading

Shortlink

Postdoc in Bochum (nonmonotonic logics and formal argumentation.)

The Institute II for Philosophy at the Ruhr-University Bochum (RUB) invites applications for a Post-doctoral research position in the domain of nonmonotonic logics and formal argumentation.

- Duration: 3 years
- Starting date: latest at 1. August 2016
- Deadline for the application: 31. May 2016 Continue reading

Shortlink

CALL FOR ABSTRACTS: WORKSHOP "ARGUMENT STRENGTH"

When: December 1-2, 2016
Where: Institute of Philosophy II, Ruhr-University Bochum
http://homepages.ruhr-uni-bochum.de/defeasible-reasoning/Argument-Strength-2016.html

Description:
Arguments vary in strength. The strength of an argument is affected by e.g. the plausibility of its premises, the nature of the link between its premises and conclusion, and the prior acceptability of the conclusion.

The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic, and argumentation theory to discuss questions related to the strength of arguments. Such questions include: Continue reading

Shortlink

4th International Workshop on Strategic Reasoning (SR2016)

4th International Workshop on Strategic Reasoning (SR2016)
To be held as Satellite Workshop of LICS 2016
9-10 July 2016, New York City, USA.
https://sites.google.com/site/sr2016homepage/home <https://sites.google.com/site/sr2016homepage/home>

 Extended submission deadlines: April 18, 2016 (AoE) 

Introduction

Strategic reasoning is a key topic in the multi-agent systems research area. The literature in this field is extensive and includes a variety of logics used for reasoning about the strategic abilities of the agents in the system. Results stemming from this research have been used in a wide range of applications, including robotic teams endowed with adaptive strategies, and automatic players capable of beating expert human adversaries. A common feature in all these domains is the requirement for sound theoretical foundations and tools accounting for the strategies that agents may adopt in the presence of adversaries.
Continue reading

Shortlink

3-years Postdoctoral Position on Epistemic Logic and Social Epistemology at the University of Bayreuth

The Department of Philosophy at the University of Bayreuth invites applications for one postdoctoral position (3 years, E13 TV Z, 1.0 FTE) starting from Sept. 1st 2016, or soon after. The successful applicant will be part of the research project “From Shared Evidence to Group Attitudes” (SEGA), funded by the German (DFG) and the Czech Science Foundation (GACR). For more information:

http://sega-project.org
Continue reading

Shortlink

DARe at ECAI 2016

The Third International Workshop on
"Defeasible and Ampliative Reasoning" (DARe)
http://dare2016.yolasite.com
Date: TBC (either 29 or 30 August 2016)
held at the European Conference on Artificial Intelligence (ECAI 2016)

Workshop Description and Aims
Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different types of inference to reason with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others.
It turns out that everyday reasoning usually shows the two salient intertwined aspects below: Continue reading