posted by organizer: schon || 3205 views || tracked by 5 users: [display]

Bridging 2016 : Bridging the Gap between Human and Automated Reasoning

FacebookTwitterLinkedInGoogle

Link: http://ratiolog.uni-koblenz.de/bridging2016
 
When Jul 9, 2016 - Jul 9, 2016
Where an IJCAI-16 workshop in New York
Submission Deadline Apr 18, 2016
Notification Due May 16, 2016
Final Version Due May 23, 2016
Categories    automated reasoning   human reasoning   cognitive psychology   artificial intelligence
 

Call For Papers

Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. There are a lot of findings which are based on experimental data about reasoning tasks, among others models for the selection task or the suppression task discussed by Byrne and others. This research is supported also by brain researchers, who aim at localizing reasoning processes within the brain.

Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. And indeed there is tremendous success during the last decades.

Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modelling human reasoning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research.

This workshop is a follow-up event of the successful Bridging workshop (http://ratiolog.uni-koblenz.de/bridging.html) which was located at CADE-25. Like its preceding event, it is intended to get an overview of existing approaches and make a step towards a cooperation between computational logic and cognitive science. Topics of interest include, but are not limited to the following:

o limits and differences between automated and human reasoning

o psychology of deduction

o common sense reasoning

o logics modeling human cognition

o modeling human reasoning using automated reasoning systems

o non-monotonic, defeasible, and classical reasoning and possible explanations for human reasoning

o application fields of automated reasoning in the interaction with human reasoners


The workshop will be held in conjunction with IJCAI-16 and is supported by IFIP TC12.


SUBMISSION AND CONTRIBUTION FORMAT
Papers, including the description of work in progress are welcome and should be formatted according to the Springer LNCS guidelines. The length should not exceed 15 pages.
All papers must be submitted in PDF. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.htm.
The EasyChair submission site is available at https://easychair.org/conferences/?conf=bridging2016.

PROCEEDINGS
Proceedings of the workshop will be published as CEUR workshop proceedings. Depending on the number and quality of the submission we are planning post proceedings in the Springer AICT Series http://www.springer.com/series/6102.

ORGANIZERS
Ulrich Furbach, University of Koblenz
Steffen Hölldobler, University of Dresden
Marco Ragni, University of Freiburg
Natarajan Shankar, SRI International


PROGRAM COMMITTEE
Ruth Byrne, University of Dublin
Ulrich Furbach, University of Koblenz
Steffen Hölldobler, University of Dresden
Gabriele Kern-Isberner, TU Dortmund University
Kai-Uwe Kühnberger, University of Osnabrück
Laura Martignon, MPI Berlin
Ursula Martin, University of Oxford
Luis Moniz Pereira, Universidade Nova de Lisboa
Marco Ragni, University of Freiburg
Claudia Schon, University of Koblenz
Natarajan Shankar, SRI International
Keith Stenning, Edinburgh University
Frieder Stolzenburg, Harz University of Applied Sciences
Contact: Claudia Schon, schon@uni-koblenz.de





Related Resources

LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
RTIICSM 2024   International Conference on Recent Trends in Inter Disciplinary Innovations bridging Computer Science and Life Science
ECAI 2024   27th European Conference on Artificial Intelligence
DQMLKG 2024   Data Quality meets Machine Learning and Knowledge Graphs: Bridging Precision with Intelligence
JCICE 2024   2024 International Joint Conference on Information and Communication Engineering(JCICE 2024)
ICAPS 2024   The 34th International Conference on Automated Planning and Scheduling
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
KR 2024   Principles of Knowledge Representation and Reasoning
AI&S 2024   Call For Papers: Special issue of the Journal AI & Society - The Impact of Generative AI on Human Creativity