1174 search results - page 72 / 235 » A Logical Approach to Abstract Algebra |
MLG
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
AGP
1994
IEEE
14 years 1 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper presents a new Abductive Logic Programming (ALP) approach for assisting clinicians in the selection of antiretroviral drugs for patients infected with Human Im...
DLOG
2007
14 years 10 days ago
2007
Abstract. In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve thi...
LFCS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We address the problem of quantitative comparison of classical and intuitionistic logics within the language of the full propositional system. We apply two different app...