1269 search results - page 174 / 254 » Pi-Calculus in Logical Form |
101
Voted
COLING
1992
15 years 4 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...
122
Voted
CONSTRAINTS
2008
15 years 3 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...
109
click to vote
CORR
2010
Springer
15 years 3 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...
147
click to vote
AMAI
2006
Springer
15 years 3 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...
117
click to vote
CORR
2006
Springer
15 years 3 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...