An intelligent agent exploring a rich, dynamic world needs cognitive capabilities in addition to basic functionalities for perception and reaction. The abilities to reason non-monotonically, to reason about actions and to change one’s beliefs, have been identified as fundamental high-level cognitive functions necessary for common sense. Research in all three areas has made significant progress during the last two decades of the past century. It is, however, crucial to bear in mind the common goal of designing intelligent agents. Researchers should be aware of advances in all three fields since often advances in one field can be translated into advances in another. Many deep relationships have already been established. This workshop has the specific aim of promoting cross-fertilisation. The interaction fostered by the biannual NRAC workshops has helped to facilitate solutions to the frame problem, ramification problem and other crucial issues on the research agenda. (more…)
Posts Tagged ‘logic’
CALL FOR COURSE AND WORKSHOP PROPOSALS
North American Summer School in Logic, Language and Information
June 23-27 2014
University of Maryland, College Park
The sixth NASSLLI (after previous editions at UT Austin, Stanford University, Indiana University and UCLA) will be hosted at the University of Maryland, College Park, June 23-27 2014. The summer school, aimed at graduate students and advanced undergraduates in a wide variety of fields, is loosely modeled on the long-running ESSLLI series in Europe. It will consist of a number of courses and workshops, selected on the basis of proposals. By default, courses and workshops meet for 90 minutes on each of five days.
Proposals are invited for courses or workshops that present interdisciplinary work between the areas of logic, linguistics, computer science, cognitive science, philosophy and artificial intelligence, though work in just one area is within the scope of the summer school if it can be applied in other fields. Examples of possible topics would include e.g. logics for communication, computational semantics, modal logics, game theory and decision theory, dynamic semantics, machine learning, Bayesian cognitive modeling, probabilistic models of language and communication, and automated theorem proving. (more…)
Call for Papers
The Second International Workshop on Theory and Applications of Formal Argumentation (TAFA 2013) will be co-located with IJCAI 2013 in Beijing, and builds on the success of TAFA 2011 (co-located with IJCAI 2011). The workshop is inspired by the recent rapid growth of interest in formal models of argumentation and their application in diverse sub-fields and domains of application of Artificial Intelligence. TAFA 2013 aims to further foster uptake of argumentation as a viable AI paradigm with wide ranging application by providing a forum for further development of existing ideas and for the initiation of new and innovative collaborations.
TAFA 2013 therefore encourages submission of papers on formal theoretical models of argumentation and their application in (sub-fields of) AI, and on the evaluation of models of argumentation, both theoretical (in terms of formal properties) and practical (in concretely developed applications). We particularly encourage work on theories and applications developed through inter-disciplinary collaborations. The workshop will also include a demonstration session. (more…)
Call for papers
Progic 2013: The Sixth Workshop on Combining Probability and Logic
“Combining probability and logic to solve philosophical problems”
Workshop website: www.pfeifer-research.de/progic/
The Sixth Workshop on Combining Probability and Logic (progic 2013)
continues the progic workshop series (www.kent.ac.uk/secl/philosophy/jw/progic.htm). Progic 2013 takes place on September 17 and 18, 2013. The workshop location is the Carl Friedrich von Siemens Stiftung, which is located at the Nymphenburg Palace in Munich. The workshop is financially supported by the Alexander von Humboldt Foundation and hosted by the Munich Center for Mathematical Philosophy. (more…)
Posted in CFP, tagged Argumentation, argumentation conferences, CEAR, Christopher Tindale, critical thinking, critical thinking conferences, Diego Portales University, Elvira Narvaja de Arnaux, Johan van Bentham, logic, logic conferences on May 25, 2012| Leave a Comment »
Official languages of the Conference: Spanish and English.
- To learn about and spread the development and applications of logic, argumentation theory and critical thinking.
- To share tools and strategies to improve the processes of teaching in the realm of critical thinking.
- To stimulate academic and institutional exchanges.
Call for papers
The organizing committee invites proposal for papers in logic, informal logic, argumentation theory, rhetoric, critical thinking.
ABSTRACTS prepared for blind refereeing must be submitted electronically no later than September 30, 2012, to Cristián Santibáñez: email@example.com
Abstracts should be between 200 and 250 words long, in APA format.
Johan van Bentham
University of Amsterdam
Elvira Narvaja de Arnaux
University of Buenos Aires
University of Windsor
Conference Website: http://www.cear.udp.cl/conferencia/2012/index_en.html