2585 search results - page 106 / 517 » Automating Coherent Logic |
LOPSTR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
EASSS
2001
Springer
14 years 2 months ago
2001
Springer
This paper presents some of the key techniques for reaching agreements in multi-agent environments. It discusses game-theory and economics based techniques: strategic negotiation, ...
SWAP
2008
13 years 11 months ago
2008
Abstract. Core Competence evaluation is crucial for strategical choices in knowledge intensive companies. Such a process is usually manually performed by the management on the basi...
CADE
2010
Springer
13 years 11 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
