Sciweavers

350 search results - page 50 / 70
» Reasoning About Indefinite Actions
Sort
View
RULEML
2005
Springer
14 years 2 months ago
Active Rules in the Semantic Web: Dealing with Language Heterogeneity
In the same way as the “static” Semantic Web deals with data model and language heterogeneity and semantics that lead to RDF and OWL, there is language heterogeneity and the ne...
Wolfgang May, José Júlio Alferes, Ri...
AGENTS
1999
Springer
14 years 27 days ago
Top-Down Search for Coordinating the Hierarchical Plans of Multiple Agents
Uncertain and complex environments demand that an agent be able to anticipate the actions of others in order to avoid resource conflicts with them and to realize its goals. Confli...
Bradley J. Clement, Edmund H. Durfee
OPODIS
2004
13 years 10 months ago
A Constraint-Based Formalism for Consistency in Replicated Systems
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
Marc Shapiro, Karthikeyan Bhargavan, Nishith Krish...
AAAI
2000
13 years 10 months ago
A Logic for Planning under Partial Observability
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
Andreas Herzig, Jérôme Lang, Dominiqu...
AAAI
2000
13 years 10 months ago
A Method for Clustering the Experiences of a Mobile Robot that Accords with Human Judgments
If robotic agents are to act autonomously they must have the ability to construct and reason about models of their physical environment. For example, planning to achieve goals req...
Tim Oates, Matthew D. Schmill, Paul R. Cohen