Sciweavers

5243 search results - page 266 / 1049
» Reasoning About Strategies
Sort
View
168
Voted
ITNG
2007
IEEE
16 years 1 months ago
Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach
In this paper, we propose a new model for securing agent-based systems in which agents are equipped with reasoning capabilities allowing them to interact with each other. The agen...
Jamal Bentahar, John-Jules Ch. Meyer, Bernard Moul...
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
16 years 6 days ago
Proof Tool Support for Explicit Strictness
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
Marko C. J. D. van Eekelen, Maarten de Mol
RSFDGRC
2005
Springer
127views Data Mining» more  RSFDGRC 2005»
16 years 6 days ago
Hierarchical Information Maps
We discuss the problems of spatio-temporal reasoning in the context of hierarchical information maps and approximate reasoning networks (AR networks). Hierarchical information maps...
Andrzej Skowron, Piotr Synak
PRICAI
2004
Springer
16 years 2 days ago
On the Intended Interpretations of Actions
Abstract. In this paper we address the problem of commonsense reasoning about action by appealing to Occam’s razor—we should accept the simplest hypothesis explaining the obser...
Victor Jauregui, Maurice Pagnucco, Norman Y. Foo
CL
2000
Springer
15 years 11 months ago
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
Marcelo Arenas, Leopoldo E. Bertossi, Michael Kife...