605 search results - page 96 / 121 » Dealing with logical omniscience |
CIA
2004
Springer
14 years 2 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
DEXA
2004
Springer
14 years 2 months ago
2004
Springer
Data cleaning deals with the detection and removal of errors and inconsistencies in data, gathered from distributed sources. This process is essential for drawing correct conclusio...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
PPDP
2004
Springer
14 years 2 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Robust and resilient interconnected structures rely on decision procedures, both under uncertainty and multicriteria. In decision under uncertainty, we aim at finding a scoring p...