3446 search results - page 39 / 690 » A Reasoning Algorithm for pD* |
108
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...
120
click to vote
ASUNAM
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—Community detection or cluster detection in networks is a well-studied, albeit hard, problem. Given the scale and complexity of modern day social networks, detecting “...
LATA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
113
click to vote
AAAI
1997
15 years 2 months ago
1997
CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementa...
GPEM
2010
14 years 8 months ago
2010
