307 search results - page 52 / 62 » On Hierarchical Reasoning in Combinations of Theories |
145
click to vote
ECSQARU
2005
Springer
15 years 7 months ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
115
click to vote
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...
121
click to vote
SAS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
117
click to vote
ACMDIS
2010
ACM
15 years 2 months ago
2010
ACM
Artifacts can be used to inspire, guide, and create new designs. As approaches to design can range from focusing on inspiration to formalized reasoning, we seek to create and stud...
118
click to vote
FUIN
2006
15 years 1 months ago
2006
Traditional Machine Learning approaches based on single inference mechanisms have reached their limits. This causes the need for a framework that integrates approaches based on aba...