4513 search results - page 56 / 903 » Logic programming with satisfiability |
112
Voted
IJCAI
2007
15 years 2 months ago
2007
In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been propo...
142
click to vote
LPNMR
2001
Springer
15 years 6 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
113
click to vote
AML
2010
15 years 1 months ago
2010
In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this proce...
IAT
2008
IEEE
15 years 8 months ago
2008
IEEE
ICLP
2001
Springer
15 years 6 months ago
2001
Springer