3994 search results - page 68 / 799 » A Linear Logical Framework |
113
Voted
TARK
2009
Springer
15 years 7 months ago
2009
Springer
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
138
click to vote
FGR
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes a framework for constructing a linear subspace model of image appearance for complex articulated 3D figures such as humans and other animals. A commercial mo...
106
click to vote
IANDC
2007
15 years 13 days ago
2007
Temporal logic based on the two modalities “Since” and “Until” (TL) is the most popular logic for the specification of reactive systems. It is often called the linear tim...
150
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
80
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. As far as we know, there is no multi-agent system allowing to talk both about choices of agents or groups of agents, strategies, and about sufficiently rich actions. This...