Feeds:
Posts
Comments

Archive for the ‘Computation’ Category

UPDATE: SECOND CALL FOR PAPERS

The First International Workshop on Argumentation and Logic Programming (ArgLP 2015).

Cork, Ireland, 31 August, 2015
(co-located with ICLP 2015)

Workshop webpage:
https://ddll.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/ArgLP2015

Selected papers will be considered for a special issue of Fundamenta Informaticae (http://www.iospress.nl/journal/fundamenta-informaticae/)

MOTIVATION

Argumentation has been more and more an active research field in areas as Multi-Agent Systems, Knowledge Representation and Reasoning, Artificial Intelligence, Philosophy, Law, etc. From the computational point of view, logic programming has been influencing fundamental roots of argumentation. Indeed, since Dung formalized a family of argumentation inferences in terms of the so called argumentation semantics, he showed that these argumentation semantics have strong roots in logic-based theories.

The relationship between logic programming and argumentation has attracted increased attention in the last years. Studies range from translating one into the other and back, using argumentation to explain logic programming models, and using logic programming systems to implement argumentation-based languages (ASPARTIX, DIAMOND). Influences go both ways and we believe that both fields can benefit from learning about each other.

This year the presentation of the results of the First International Competition on Computational Models of Argumentation (ICCMA) will be done at TAFA 2015 (co-located with IJCAI 2015). Since some of the most widely known argumentation solvers are based on logic programming methodologies, e.g., ASPARTIX, it is expected that new argumentation solvers based on logic programming could appear. In this setting, ArgLP is aiming at catching the attention of the logic programming community to increase the influence of logic programming in the new theoretical and practical developments of argumentation.

TOPICS

Topics of interest include but are not limited to: (more…)

Read Full Post »

Via loriweb.org:

The 4th International Conference on Tools for Teaching Logic

9-12 June 2015, Rennes, France

TOPICS: Tools for Teaching Logic seeks for original papers with a clear significance in the following topics (but are not limited to): teaching logic in sciences and humanities; teaching logic at different levels of instruction (secondary education, university level, and postgraduate); didactic software; facing some difficulties concerning what to teach; international postgraduate programs; resources and challenges for e­Learning Logic; teaching Argumentation Theory, Critical Thinking and Informal Logic; teaching specific topics, such as Modal Logic, Algebraic Logic, Knowledge Representation, Model Theory, Philosophy of Logic, and others; dissemination of logic courseware and logic textbooks; teaching Logic Thinking

For more information see the conference website: http://ttl2015.irisa.fr/

TTL 2015.

Read Full Post »

Context 2015 will provide a forum for presenting and discussing high-quality research and applications on context modeling and use. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from a wide range of disciplines including:

  • Computer Science
  • Artificial Intelligence and Ubiquitous Computing
  • Cognitive Science
  • Linguistics
  • Organizational Sciences
  • Philosophy
  • Psychology
  • Application areas such as Medicine, Law, Context-Aware Systems, etc.

    The deadline for submissions is June 1, 2015. For more information please visit the conference website: ] CONTEXT [ 2015.

    Read Full Post »

    Third International Workshop on Theory and Applications of Formal Argumentation (TAFA 2015)

    Submission Deadline: April 27, 2015 May 4, 2015

    http://homepages.abdn.ac.uk/n.oren/pages/TAFA-15/index.html

    Call For Papers

    The Third International Workshop on Theory and Applications of Formal Argumentation (TAFA 2015) will be co-located with IJCAI 2015 in Buenos Aires, and builds on the success of the previous two iterations of the workshop. 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 2015 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 2015 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 First International Competition on Computational Models of Argumentation (ICCMA) will be co-located with TAFA-15.

    The workshop will solicit papers dealing with, but not limited to, the following topics:

    (more…)

    Read Full Post »

    12th International Workshop on Argumentation in Multi-Agent Systems

    http://www.csc.liv.ac.uk/~sp/events/argmas15/

    CALL FOR PAPERS

    Submissions are invited for the 12th International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2015), to be held in Istanbul as part of AAMAS 2015.

    ArgMAS 2015 will focus on the concepts, theories, methodologies, and applications of computational models of argument in creating autonomous agents and multi-agent systems. Argumentation can be abstractly defined as the formal interaction of different arguments for and against some conclusion (eg, a proposition, an action intention, a preference, etc). A single agent may use argumentation techniques to perform individual reasoning, to resolve conflicting evidence, or to decide between conflicting goals. Multiple agents may also use dialectical argumentation in order to identify and reconcile differences between themselves, through interactions such as negotiation, persuasion, and joint deliberation.

    The main goal of ArgMAS 2015 will be to bring together the community of researchers working on argumentation in multi-agent systems. The workshop has the following technical goals:

    (more…)

    Read Full Post »

    THE FIFTH INTERNATIONAL CONFERENCE ON LOGIC, RATIONALITY AND INTERACTION

    October 28 – 31, 2015
    Department of Philosophy,
    National Taiwan University
    Taipei, Taiwan

    Institute of Philosophy of Mind and Cognition,
    National Yang Ming University
    Taipei, Taiwan

    Conference Website: https://www.yoursaas.cc/websites/36224472513387025486/home.html

    The LORI workshop series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. These fields include Game Theory and Decision Theory, Philosophy (in particular Epistemology), Linguistics, Computer Science, and Artificial Intelligence. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.

    Topics

    We invite submission of contributed papers on any of the broad themes of the LORI workshop series; specific topics of interest include, but are not limited to, formal approaches to

    (more…)

    Read Full Post »

    via Loriweb

    The MSc Logic, offered by the the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, is a two-year Master’s programme providing intensive interdisciplinary research training for excellent students with a first degree in Mathematics, Computer Science, Philosophy, Linguistics, or a related discipline.

    For more information including application deadlines, see the program’s homepage: http://www.illc.uva.nl/MScLogic/

    Read Full Post »

    Older Posts »

    Follow

    Get every new post delivered to your Inbox.

    Join 303 other followers