Search Sciweavers | Sciweavers

31

IJCAI
1997

135views Artificial Intelligence» more IJCAI 1997»

Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus

13 years 9 months ago

As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...

Giuseppe De Giacomo, Yves Lespérance, Hecto...

claim paper

Read More »

22

click to vote

ESOP
2007
Springer

119views Programming Languages» more ESOP 2007»

Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts

14 years 1 months ago

Download www.kb.ecei.tohoku.ac.jp

The goal of our research project is to establish a type-based method for veriﬁcation of certain critical properties (such as deadlockand race-freedom) of operating system kernels...

Kohei Suenaga, Naoki Kobayashi

claim paper

Read More »

24

click to vote

AAAI
1992

119views Intelligent Agents» more AAAI 1992»

Concurrent Actions in the Situation Calculus

13 years 8 months ago

Download www.aaai.org

We propose a representation of concurrent actions; rather than invent a new formalism, we model them within the standard situation calculus by introducing the notions of global ac...

Fangzhen Lin, Yoav Shoham

claim paper

Read More »

24

click to vote

WRLA
2010

105views Logical Reasoning» more WRLA 2010»

Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding

13 years 6 months ago

Download antares.sip.ucm.es

Abstract. We revise multiset rewriting with name binding, by combining the two main existing approaches to the study of concurrency by means of multiset rewriting, multiset rewriti...

Fernando Rosa Velardo

claim paper

Read More »

25

click to vote

ESOP
2007
Springer

147views Programming Languages» more ESOP 2007»

A Concurrent Calculus with Atomic Transactions

14 years 1 months ago