1737 search results - page 97 / 348 » On Interpolation in Existence Logics |
184
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
187
click to vote
SP
2000
IEEE
15 years 10 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...
158
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
In order for parallel logic programming systems to become popular, they should serve the broadest range of applications. To achieve this goal, designers of parallel logic programm...
147
click to vote
KR
1994
Springer
15 years 10 months ago
1994
Springer
A key problem in case-based reasoning is the representation, organization and maintenance of case libraries. While current approaches rely on heuristic and psychologically inspire...
163
click to vote
DLOG
2007
15 years 8 months ago
2007
In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or re...