Feeds:
Posts
Comments

Archive for the ‘Computation’ Category

CFP: ExaCt 2012

Posted in CFP, Computation, Connections, tagged , , , , on May 17, 2012| Leave a Comment »

  SECOND CALL FOR PAPERS                

for the 7th International and ECAI 2012 Workshop on

EXPLANATION-AWARE COMPUTING (ExaCt 2012)

One-Day Workshop, 27 or 28 August 2012, Montpellier, France
http://exact2012.workshop.hm

** Submission deadline: May 28, 2012 **

When knowledge-based systems are partners in interactive socio-
technical processes, with incomplete and changing problem descriptions,
effective communication between human and software system is vital.
Explanations exchanged between human agents and software agents may
play a key role in such mixed-initiative problem solving. For
example, explanations may increase the confidence of the user in
specific results or in the system as a whole, by providing evidence of
how the results were derived. AI research has also focused on
how computer systems can themselves use explanations, for example to
guide learning. (more…)

Read Full Post »

CFP: CLIMA XIII: Computational Logic in Multi-Agent Systems, Montpellier (France), 27-28 Aug 2012

Posted in CFP, Computation, tagged , , , on May 14, 2012| Leave a Comment »

CALL FOR PAPERS

13th International Workshop on Computational Logic in Multi-Agent Systems [CLIMA XIII]

Special sessions on:

*  Logics for Multi-Agent Programming
*  Logics for Agreement Technologies

http://www.csc.liv.ac.uk/~michael/clima2012.htm

Affiliated with ECAI 2012
Montpellier, France, August 27-28, 2012

Submission deadline: 28th May

Proceedings: LNCS/LNAI volume (available at the workshop).

JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation.

The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. (more…)

Read Full Post »

Post Doc Postion in Argumentation and Explanation

Posted in Argumentation, Computation, Job Openings, tagged , , , on May 10, 2012| Leave a Comment »

The Scrutable Autonomous Systems (SAsSy) project aims to enable the scrutiny of autonomous systems by allowing agents to generate plans through argument and dialogue, while justifying the purpose of each step within the joint plan. Humans or agent can then critique these plans by suggesting and justifying alternative courses of actions as needed, thus driving the planning process. In this way, a scrutable autonomous system can allow for both the collaborative generation of a plan, and for its simultaneous verification.

To achieve its goals, the SAsSy project seeks a post-doctoral researcher who will investigate argumentation and dialogue based approaches to generate, represent and reason about plans, factoring in explicit norms and goals. Argumentation provides a natural way of explaining the rationale for decisions and their justifications, while dialogue will allow for their incremental generation and modification. (more…)

Read Full Post »

ArguBlogging

Posted in Argumentation, Computation, Connections, tagged , , , , , , , , on April 12, 2012| 1 Comment »

The ever-industrious folks at ARG:Dundee (the group behind the popular argument diagramming software Araucaria) have a lovely new tool for keeping track of and participating in argumentation on the “blogosphere”.  They call it “argublogging“. I think it’s an impressive extension of the work they’ve done on the Argument Interchcange Format, or AIF. The video below gives a demonstration of how ArguBlogging works.  If you use argument diagrams in class and discuss the kinds of current events that get discussed on blogs then this program may well be your new best friend. Have a look. Try it out.  Send them feedback.  This is work worth supporting.

Read Full Post »

CFP: Special Issue of Argument and Computation

Posted in Argumentation, CFP, Computation, tagged , , on April 12, 2012| Leave a Comment »

Call for papers:

Argument and Computation – special issue on Argumentation for Consumers of Healthcare

Abstracts due May 15, 2012
Full papers due September 1, 2012.

Topics include but are not limited to computationally-oriented treatments of:

  • Theories of argumentation for health system design,
  • Persuasion for health-behavior change or health management,
  • Negotiation with patients about treatment regimens,
  • Lay-oriented justification of diagnosis or proposed medical interventions,
  • Effective risk communication and meeting other patient education needs via argumentation,
  • Argument source attributes, e.g., establishing credibility and trust,
  • Argument medium attributes, e.g., engagement and immediacy through interaction with conversational agents or multimodal systems,
  • User modeling, i.e., leveraging computational models of the message recipient’s (initial or evolving) attitudes for content selection and presentation design,
  • Assistance for consumers in finding and evaluating evidence, possibly conflicting, in the medical literature or with respect to direct-to-consumer medical advertisements,
  • Tools for training health professionals in argumentation theory and practice,
  • Argumentation-theory based tools for training patients and consumers in critical thinking.

For more information see call for papers for special issue on
the journal’s web site:  http://www.tandf.co.uk/journals/tarc

Read Full Post »

CFP: Symposium on Influencing People with Information

Posted in Argumentation, CFP, Computation, Connections, tagged , , , , , , , on March 5, 2012| Leave a Comment »

First Announcement and Call for Papers

Symposium “Influencing People with Information”
University of Aberdeen, Wednesday 25 April 2012.
How can a web site help you decide how best to travel? Can a computer explain your patient record to you? Does instant feedback on petrol use change how people drive? This symposium will ask how information can influence people, and how the manner in which the information is presented can make a difference. It will bring together researchers working on natural language generation, information presentation, behaviour change, argumentation and decision support.
For the last 5 years, researchers at the University of Aberdeen have investigated how information expressed in natural language can affect a recipient in terms of his/her knowledge, actions and emotions. Now, a Symposium supported by the Scottish Computer Science and Informatics Alliance (SICSA) will widen the focus from language, addressing a range of research questions about the ways in which information, and the presentation of information, can influence people. The aim of the symposium is to hear a range of views on this topic, including both established and young (e.g., PhD student) researchers, and to explore ideas for future research and funding in this mutidisciplinary area. The symposium aims to cover empirical as well as computational work (e.g., including experimental psychology).

We solicit submission of 500-1000-word abstracts in pdf format. Submissions should be submitted using Easychair at https://www.easychair.org/conferences/?conf=sipi2012

 

For further information, see the above-mentioned Symposium web site.

 

Feel free to forward to interested parties.

 

Submission of abstracts: 28 March 2012
Symposium date: 25 April 2012

Read Full Post »

CFP: COMMA 2012

Posted in CFP, Computation, tagged , , , , on February 22, 2012| Leave a Comment »

Fourth International Conference on Computational Models of Argument

Vienna, Austria, September 10-12, 2012

CALL FOR INNOVATIVE APPLICATIONS

CALL FOR DEMONSTRATIONS

4th International Conference on

COMPUTATIONAL MODELS OF ARGUMENT (COMMA 2012)

www.kr.tuwien.ac.at/comma2012/

AIMS AND SCOPE

Argumentation is an exciting research topic in artificial intelligence, with a broad spectrum of research activities ranging from  theory to applications. The International Conference on Computational Models of Argument (COMMA) is a regular forum for presentation and exchange of the latest research results related to computational aspects of argumentation. After the successful editions in Liverpool (2006), Toulouse (2008) and Desenzano del Garda (2010), COMMA 2012 will be held in Vienna in September 2012.

TOPICS

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

Read Full Post »

CFP: 14th International Workshop on Non-Monotonic Reasoning (NMR 2012)

Posted in Argumentation, CFP, Computation, Connections, Logic, tagged , , , , , , on February 21, 2012| Leave a Comment »

===============================================================================

CALL FOR PAPERS

NMR 2012

14th International Workshop on Non-Monotonic Reasoning (NMR 2012)

http://www.dbai.tuwien.ac.at/NMR12/

Co-located with KR 2012, DL 2012, KiBP 2012, CILC 2012, AI*IA 2012

Rome, Italy

June 8-10, 2012

===============================================================================

AIMS AND SCOPE

The NMR workshop series is the premier specialized forum for researchers in
non-monotonic reasoning and related areas. This will be the 14th workshop in
the series. Its aim is to bring together active researchers in the broad area
of non-monotonic reasoning, including belief revision, reasoning about
actions, argumentation, declarative programming, preferences, non-monotonic
reasoning for ontologies, uncertainty, and other related topics.

In this year, NMR will share a joint session together with the International
Workshop on Description Logics (DL 2012).

TOPICS

NMR 2012 welcomes the submission of papers broadly centered on issues and
research in non-monotonic reasoning. We welcome papers of either a
theoretical or practical nature. Topics of interest include (but are not
limited to): (more…)

Read Full Post »

Workshop: Formal Methods in Argument Reconstruction

Posted in Computation, Connections, Rationality, Workshops, tagged , , , , , , on January 24, 2012| Leave a Comment »

The purpose of this international workshop is to bring together researchers who apply formal methods, widely understood, to natural language argumentation in order to provide a reconstruction which can provide the basis for an evaluation.

A related objective is to make the state of the art accessible to audiences who predominantly reconstruct natural language argumentation with more traditional formal or informal tools.

The workshop will be held 20-21 September 2012, following the GAP.8 conference at the University of Konstanz, Germany.

(more…)

Read Full Post »

Open Positions in Formal Argumentation Research

Posted in Computation, Job Openings, tagged , , , , , , on December 8, 2011| Leave a Comment »

PhD positions Forensic Science (2,0 fte)

Job description

These two PhD positions are part of the project “Designing and
Understanding Forensic Bayesian Networks with Arguments and Scenarios”
that is funded by the Netherlands Institute for Scientific Research in
the Forensic Science program (www.nwo.nl/forensicscience). The project
is a cooperation of the University of Groningen (Department of
Artificial Intelligence) and Utrecht University (Department of
Information and Computing Sciences) supported by partners from
forensic legal practice. (more…)

Read Full Post »

« Newer Posts - Older Posts »