Sciweavers

2704 search results - page 76 / 541
» Agent Development with Jackal
Sort
View
AMAST
2010
Springer
15 years 1 months ago
Learning in a Changing World, an Algebraic Modal Logical Approach
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
Prakash Panangaden, Mehrnoosh Sadrzadeh
MSS
2011
IEEE
178views Hardware» more  MSS 2011»
15 years 1 months ago
Framing contingencies in contracts
The paper develops a contracting model where the principal frames the contract when the agent is unaware of some contingencies, yet is aware that she may be unaware. We call the c...
Xiaojian Zhao
AOSD
2007
ACM
15 years 10 months ago
A distributed dynamic aspect machine for scientific software development
This position paper proposes the use of an event-based dynamic AOP machine as an infrastructure for interactive development of high performance scientific software. Advice codes i...
Chanwit Kaewkasi, John R. Gurd
IAT
2010
IEEE
15 years 4 months ago
Location-Based Semantic Matchmaking in Ubiquitous Computing
Ever increasing efforts are spent in developing techniques and tools for a full exploitation of semantics in mobile environments, able to overcome volatility and resource limitati...
Michele Ruta, Floriano Scioscia, Eugenio Di Sciasc...
AAAI
2012
13 years 8 months ago
Width and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent Planning
It has been shown recently that the complexity of belief tracking in deterministic conformant and contingent planning is exponential in a width parameter that is often bounded and...
Blai Bonet, Hector Geffner