3729 search results - page 214 / 746 » On Formal Modeling of Agent Computations |
200
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints...
159
click to vote
AAAI
2008
15 years 8 months ago
2008
We present a novel application of structured classification: identifying function entry points (FEPs, the starting byte of each function) in program binaries. Such identification ...
152
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
193
click to vote
AI
1999
Springer
15 years 6 months ago
1999
Springer
Cooperation among autonomous agents has been discussed in the DAI community for several years. Papers about cooperation 6,45 , negotiation 33 , distributed planning 5 , and coalit...
204
click to vote
DALT
2005
Springer
16 years 2 days ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...