2576 search results - page 192 / 516 » The Complexity of Zero Knowledge |
201
click to vote
AI
2007
Springer
16 years 1 months 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...
188
click to vote
CCIA
2007
Springer
16 years 1 months 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...
200
click to vote
ICAIL
2005
ACM
16 years 20 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...
208
click to vote
TABLEAUX
2005
Springer
16 years 17 days 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...
196
click to vote
KES
2004
Springer
16 years 14 days 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...