2308 search results - page 352 / 462 » Representing Symbolic Reasoning |
157
click to vote
LPNMR
2009
Springer
16 years 27 days ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
150
click to vote
LPNMR
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
158
click to vote
SEMWEB
2009
Springer
16 years 27 days ago
2009
Springer
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...
133
click to vote
SEMWEB
2009
Springer
16 years 27 days ago
2009
Springer
The Family History Knowledge Base (FHKB) was presented at OWLED in 2008. The FHKB uses a rich object property hierarchy, including many OWL 2 features, to derive many entailments o...
183
click to vote
ASIAMS
2008
IEEE
16 years 25 days ago
2008
IEEE
Efficiency is one of the major issues in intrusion detection. Inefficiency is often attributed to high overhead and this is caused by several reasons. Among them are continuous de...