5198 search results - page 341 / 1040 » A Logic of Agent Programs |
283
click to vote
Book
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...
175
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper explores Gesture-Based Programming as a paradigm for programming robotic agents. Gesture-Based Programming is a form of programming by human demonstration that focuses ...
203
click to vote
TASE
2007
IEEE
16 years 28 days ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
204
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
The paper describes the design and the Java implementation of a coordination architecture for mobile agents, based on an object-oriented Linda-like tuple space model, compliant wi...
184
Voted
JANCL
2008
15 years 6 months ago
2008
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...