2576 search results - page 192 / 516 » The Complexity of Zero Knowledge |
182
click to vote
AI
2007
Springer
16 years 22 days ago
2007
Springer
DEC-POMDPs provide formal models of many cooperative multiagent problems, but their complexity is NEXP-complete in general. We investigate a sub-class of DEC-POMDPs termed multiage...
165
click to vote
CCIA
2007
Springer
16 years 21 days ago
2007
Springer
Medical ontologies are developed to solve problems such as the demand for reusing, sharing and transmitting data. The unambiguous communication of complex and detailed medical conc...
179
click to vote
ICAIL
2005
ACM
16 years 3 days ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
184
click to vote
TABLEAUX
2005
Springer
16 years 9 hour ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
176
click to vote
KES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Ontology-based modelling is becoming increasingly important in the design of complex knowledge management applications. However, many problems related to large-scale onto...