7988 search results - page 1584 / 1598 » A Useful Undecidable Theory |
ISF
2010
13 years 6 months ago
2010
Disaster management information systems for international humanitarian relief are developed in contexts involving local, national and inter-governmental organizations together with...
JACM
2010
13 years 6 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
JAIR
2010
13 years 6 months ago
2010
In the usual models of cooperative game theory, the outcome of a coalition formation process is either the grand coalition or a coalition structure that consists of disjoint coali...
JELIA
2010
Springer
13 years 6 months ago
2010
Springer
Stable belief sets were introduced by R. Stalnaker in the early ’80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated M...
JTAER
2010
13 years 6 months ago
2010
Today globally distributed software development has become the norm for many organizations and the popularity of implementing such an approach continues to increase. In these circ...