caml-list - the Caml user's mailing list
 help / Atom feed
@ 2018-07-13  9:38 Fabio Patrizi
  0 siblings, 0 replies; 1+ messages in thread
From: Fabio Patrizi @ 2018-07-13  9:38 UTC (permalink / raw)
  To: agents, aixia, algprog, all, arw-committee, babel-group, cade, calendar, caml-list, church-announce, church-announce, cipher-cfp, clean-list, cogsci, colognet, comlab, comm-theory, comp-lang-ml, complog, comprox, concurrency, conferences, cphc-conf, Constantine Stephanidis, dbworld, distributed-ai, dl, dmanet, elsnet-list, erlang-questions, event, fg-arc, fm-announcements, fmics, formal-methods, formal-methods, forman, formis, fp, games, gulp-all, gri, grin-eventi, hol-info, ifip, imdea, inductive, inductive-request, ki-inf, kr, krlab.admin, lfcs-interest, lics, linear, logic, logic, logic-list, maude-users, mizar-forum, nqthm-users, nvti-list, nwpt-info, oegai, om-announce, ontology, petrinet-owner, planetkr, podc-related, prog-lang, project-calculemus, relmics-l, semanticweb, sicstus-users, sigarch-members, sigparse-list, sigplan-announce, sigsam-friends, sigsam-members, sml-list, staff, staff, staff, tag, theory-a, theorynt, types, uai, users, users-prolog, vki-list, webmaster, webmaster, wi, yap-users, zforum, logic-programming

[-- Attachment #1: Type: text/plain, Size: 4554 bytes --]



Reasoning about Actions and Processes:

Highlights of Recent Advances


            Held as part of KR 2018, October 28 & 29, 2018, Tempe, Arizona


The field of Reasoning about actions, a fundamental area of KR, is
expanding to incorporate research from a wide range of other areas of AI
and CS. In recent years, we have moved from standard forms of reasoning,
such as action sequence executabilty and future effects (projection), to
more sophisticated forms of reasoning which share many commonalities with
other fields of CS, from verification in Formal Methods to process modeling
and analysis in Business Process Management. Moreover, connections with
planning are being extended to other forms of synthesis, such as
generalized planning, MDPs/RL, supervisory control, reactive synthesis,
etc. Papers from these various areas are dispersed across many conferences,
which makes it difficult to follow the general direction of the field.
Drawing upon a successful format followed in other fields (e.g.,, the workshop aims to offer a wide
picture of the latest research in the field and a chance to meet everybody
in the community.

This workshop aims to bring together researchers working in a variety of
areas of AI and CS -- including KR, planning, RL, verification, and
synthesis -- to foster these emerging directions of reasoning about actions
and processes.

We invite submissions for presentations, not papers. We welcome a
presentation on your favorite recent technical work, position paper, or
open problems with clear and concise formulations of current challenges.
The contributed talks will be 15-minutes long. All sessions will be
designed to promote interaction between the attendees by holding frequent
discussion periods for analysis and critique. The workshop will also have
panel sessions on important emerging issues for the field and longer
keynote talks.

Submissions should have a single main author, who will be the speaker, and
each speaker can have no more than one submission. Each submission must be
at most 2-pages long and may refer to joint work with other collaborators
to be credited in the presentation. There are no formal proceedings and we
encourage submissions of work presented or submitted elsewhere (no
copyright transfer is required, only permission to post the abstract on the
workshop site).

Topics of interest include but are not limited to:

    Reasoning about actions
    Representing and reasoning about processes

    Hierarchical abstractions of action models

    Generalized planning
    Verification and Synthesis of high level agent behaviors
    Agent behavior control
    Logic-based representation, action theories, temporal logics, logics of
    Stochastic representation, MDPs and Non-Markovian Decision Processes
    Learning dynamic behaviors, RL

    Partial observability, incomplete information, uncertainty

    Reasoning about beliefs, goals and intentions
    First-person vs third person view

    Plan, intention, and activity recognition
    Transparency, predictability and accountability of agents’ behaviors

Both theoretical and application-oriented contributions are welcome.

Papers can be submitted via EasyChair:

Important Dates

Submission July 21, 2018 ***extended to August 4, 2018***
Notification August 25, 2018 ***extended to August 31, 2018***

Workshop        October 28 & 29, 2018

Invited Talks

To be announced.


For registration details see KR 2018 website.

Organizing Committee

Giuseppe De Giacomo University of Rome "La Sapienza"

Andreas Herzig IRIT, CNRS, Université Paul Sabatier

Yves Lesperance York University

Marco Montali Free University Bozen-Bolzano

Fabio Patrizi University of Rome "La Sapienza"

Sasha Rubin University of Naples "Federico II"

Siddharth Srivastava Arizona State University

Caml-list mailing list.  Subscription management and archives:
Beginner's list:
Bug reports:

[-- Attachment #2: Type: text/html, Size: 14911 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-07-13  9:38 [Caml-list] ACTIONS@KR18: DEADLINE EXTENSION Fabio Patrizi

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox