2067 search results - page 302 / 414 » Logics of propositional control |
161
click to vote
ILP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...
180
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
174
click to vote
RSP
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
169
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
168
click to vote
PACT
2001
Springer
15 years 10 months ago
2001
Springer
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...