811 search results - page 42 / 163 » Semantic Web Reasoning with Conceptual Logic Programs |
KR
2000
Springer
15 years 5 months ago
2000
Springer
Bondarenko et al. have recently proposed an extension of the argumentation-theoretic semantics of admissible and preferred arguments, originally proposed for logic programming onl...
147
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
142
click to vote
ESWS
2006
Springer
15 years 5 months ago
2006
Springer
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
108
Voted
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
134
click to vote
TLCA
2007
Springer
15 years 7 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...