540 search results - page 42 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
122
Voted
WS
2008
ACM
15 years 10 days ago
2008
ACM
Ontologies play a crucial role in the development of the Semantic Web as a means for defining shared terms in web resources. They are formulated in web ontology languages, which a...
89
Voted
PERCOM
2006
ACM
16 years 1 days ago
2006
ACM
In this paper we present an integrated view for modeling and reasoning for context applications using OWL DL. In our case study, we describe a task driven approach to model typica...
98
Voted
TABLEAUX
2007
Springer
15 years 6 months ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
60
Voted
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
108
Voted
CADE
2008
Springer
16 years 23 days ago
2008
Springer
Axiom pinpointing has been introduced in description logics (DL) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base th...