1588 search results - page 14 / 318 » On the Logic of Constitutive Rules |
HT
1998
ACM
15 years 3 months ago
1998
ACM
Reuse is increasingly strategic for reducing cost and improving quality of hypermedia design and development. In this paper, based on the design and development of a real hypermed...
LPNMR
1999
Springer
15 years 4 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
117
click to vote
ASP
2001
Springer
15 years 3 months ago
2001
Springer
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
This paper introduces a nested sequent system for predicate logic. The system features a structural universal quantifier and a universally closed existential rule. One nice conseq...
153
click to vote
HIS
2009
14 years 9 months ago
2009
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...