3773 search results - page 343 / 755 » Logical Reasoning |
162
click to vote
JUCS
2010
15 years 5 months ago
2010
: In this paper we consider a multiagent system with multiple ontologies. The agents maintain the ontologies individually which leads to frequent changes and possible knowledge inc...
189
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...
182
click to vote
ECRA
2002
15 years 6 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
202
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
147
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we address the problem of merging qualitative constraints networks (QCNs). We propose a rational merging procedure for QCNs. It is based on translations of QCNs into ...