1269 search results - page 174 / 254 » Pi-Calculus in Logical Form |
COLING
1992
13 years 10 months ago
1992
Communication among agents collaborating on a task often involves complex utterances about multiple actions. In this paper, we analyze two particular multiaction constructions, ut...
CONSTRAINTS
2008
13 years 9 months ago
2008
We present a novel approach to automatically reformulating constraints defined as tables of allowed assignments to variables. Constraints of this form are common in a variety of se...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Deterministic graph grammars generate regular graphs, that form a structural extension of configuration graphs of pushdown systems. In this paper, we study a probabilistic extensio...
AMAI
2006
Springer
13 years 9 months ago
2006
Springer
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
This paper presents a new type analysis for logic programs. The analysis is performed with a priori type definitions; and type expressions are formed from a fixed alphabet of type...