1269 search results - page 115 / 254 » Pi-Calculus in Logical Form |
100
Voted
ECML
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Over the last twenty years AI has undergone a sea change. The oncedominant paradigm of logical inference over symbolic knowledge representations has largely been supplant...
AEI
2010
15 years 26 days ago
2010
nizing multiple forms of information and knowledge processing on different levels of abstraction in a structured and principled manner. We propose knowledge processing middleware a...
85
Voted
APAL
2010
15 years 25 days ago
2010
Classical proof forests are a proof formalism for first-order classical logic based on Herbrand's Theorem and backtracking games in the style of Coquand. First described by M...
94
Voted
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
114
Voted
JANCL
2008
15 years 21 days ago
2008
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...