3032 search results - page 272 / 607 » Description Logic Rules |
159
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
135
click to vote
CLEF
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes the participation of the University of Alicante in the new CL-SR Track at CLEF conference. In this track we introduce a set of features in the topics processi...
144
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
We investigate techniques for approximating answer sets of general logic programs of Lifschitz and Woo, whose rules have single literals as heads. We propose three different method...
129
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
102
click to vote
IGPL
1998
15 years 4 months ago
1998
A formula A is said to have the contractionproperty in a logic L i whenever A;A;? `L B (when ? is a multiset) also A;? `L B. In MLL and in MALL without the additive constants a fo...