Archive for the ‘Computation’ Category

Postdoctoral Research Assistant in Computational Linguistics

Grade 7 (£30,434 – £37,394)

Fixed Term 36 months

Applications are invited for a research assistant to work on an EPSRC-funded project in computational linguistics and argumentation. The Argument Mining project aims to develop a range of techniques in computational linguistics to exploit theories of argument structure and classical rhetoric in order to automatically identify human reasoning in unconstrained natural language texts. The project involves two commercial partners: one a local tech company, the other, IBM and the Watson team in particular.


Read Full Post »

NOVA LINCS Post-Doctoral Fellowships

Principles and Techniques for Dynamic Knowledge Representation and Reasoning
Knowledge-Based Systems research group

The NOVA Laboratory of Computer Science and Informatics is a Portuguese leading research unit hosted at Departamento de Informatica – Universidade Nova de Lisboa (see http://nova-lincs.di.fct.unl.pt). NOVA LINCS was awarded the highest research rating by the last (2013) FCT/MEC evaluation exercise (Excellent), among all national units focused exclusively in Computer Science and Informatics. We are currently pursuing an ambitious research program at the highest international level on principles and engineering for global software systems as a collaboration of our four groups Computer Systems, Knowledge-based Systems, Multimodal Systems and Software Systems. In the context of the 2015-20 strategic project NOVA LINCS seeks to appoint 1 post-doctoral research associate to become part of the Knowledge-Based Systems research group.

Admission Requirements: To apply for this position, the candidate is required (more…)

Read Full Post »

There is a new call for papers and a new location for CMNA, the 15th workshop on Computational Models of Natural Argument (CMNA 15).

The organizers are accepting submissions of long and short papers, demonstrations and short 2page abstracts for a workshop to be held in conjunction with PRIMA 2015 (Principles and Practice of Multi-Agent Systems) in Bertinoro, Italy, on October 25th 2015.

Key dates are as follows:

Paper submission (long or short): 20 August 2015
Short abstract submission: 1st September 2015
Notification to authors: 7 September 2015
Early registration deadline: around mid September
CMNA 15: 25 October 2015

Details are here:


Read Full Post »


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

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

Workshop webpage:

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


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 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


    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:


    Read Full Post »

    Older Posts »


    Get every new post delivered to your Inbox.

    Join 321 other followers