3891 search results - page 600 / 779 » A logic for strategic reasoning |
LANMR
2004
13 years 10 months ago
2004
We recently proposed a definition of a language for nonmonotonic reasoning based on intuitionistic logic. Our main idea is a generalization of the notion of answer sets for arbitr...
FMOODS
2003
13 years 10 months ago
2003
A way to write proof scores showing that distributed systems have invariant properties in algebraic specification languages is described, which has been devised through several ca...
ECIS
2000
13 years 10 months ago
2000
Abstract eCommerce of the Business-to-Business (B2B) type requires comprehensivecontractnegotiationsdependingentirelyonacontract schema, which must be developed in advance. Contrac...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
SAC
2006
ACM
13 years 9 months ago
2006
ACM
The paper presents an ontology-based approach to service discovery, apt to support flexible and efficient matchmaking between service descriptions. We propose a hybrid approach th...