59 search results - page 6 / 12 » Algebraic and logical study of constructive processes in kno... |
193
click to vote
FORTE
2009
15 years 2 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
207
click to vote
CIDR
2009
15 years 6 months ago
2009
Recent excitement in the database community surrounding new applications--analytic, scientific, graph, geospatial, etc.--has led to an explosion in research on database storage sy...
138
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
163
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Emergent processes are non-routine, collaborative business processes whose execution is guided by the knowledge that emerges during a process instance. In so far as the process go...
222
Voted
KR
2004
Springer
15 years 10 months ago
2004
Springer
We discuss the representation of knowledge and of belief from the viewpoint of decision theory. While the Bayesian approach enjoys general-purpose applicability and axiomatic foun...