Reasoning about Concurrent Interaction

@article{Karlsson1999ReasoningAC,
  title={Reasoning about Concurrent Interaction},
  author={Lars Karlsson and Joakim Gustafsson},
  journal={J. Log. Comput.},
  year={1999},
  volume={9},
  pages={623-650}
}
In this paper we present tal-c, a logic of action and change for worlds with action concurrency. tal-c has a first-order semantics and proof theory. It builds on an existing logic tal, which includes the use of dependency laws for dealing with ramification. It is demonstrated how tal-c can represent a number of phenomena related to action concurrency: action duration, how the effects of one action interferes with or enables another action, synergistic effects of concurrent actions, conflicting… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
16 Citations
41 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 41 references

Temporal reasoning and planning

  • J. F. Allen
  • In Reasoning About Plans, J.F. Allen et al., eds…
  • 1991
Highly Influential
5 Excerpts

Actions, processes, and causality

  • M. P. Georgeff
  • In Reasoning about Actions and Plans: Proceedings…
  • 1987
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…