Sciweavers

2638 search results - page 174 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
KR
1991
Springer
15 years 10 months ago
Meta-Reasoning in Executable Temporal Logic
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
Howard Barringer, Michael Fisher, Dov M. Gabbay, A...
JODS
2007
138views Data Mining» more  JODS 2007»
15 years 6 months ago
A Formal Framework for Adaptive Access Control Models
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
Stefanie Rinderle, Manfred Reichert
ESAW
2005
Springer
16 years 1 days ago
Developing Multi Agent Systems on Semantic Web Environment Using SEAGENT Platform
In this paper, we discuss the development of a multi agent system working on the Semantic Web environment by using a new framework called SEAGENT. SEAGENT is a new agent developmen...
Oguz Dikenelli, Riza Cenk Erdur, Geylani Kardas, &...
HCI
2007
15 years 8 months ago
Character Agents in E-Learning Interface Using Multimodal Real-Time Interaction
This paper describes an e-learning interface with multiple tutoring character agents. The character agents use eye movement information to facilitate empathy-relevant reasoning and...
Hua Wang, Jie Yang, Mark H. Chignell, Mitsuru Ishi...
ILP
2007
Springer
16 years 20 days ago
Learning to Assign Degrees of Belief in Relational Domains
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
Frédéric Koriche