42 search results - page 8 / 9 » Automated Assume-Guarantee Reasoning through Implicit Learni... |
IEEEICCI
2003
IEEE
14 years 19 days ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
JCDL
2006
ACM
14 years 1 months ago
2006
ACM
Citation matching, or the automatic grouping of bibliographic references that refer to the same document, is a data management problem faced by automatic digital libraries for sci...
DLOG
2007
13 years 9 months ago
2007
Clio is a joint research project between the University of Toronto and IBM Almaden Research Center started in 1999 to address both foundational and systems issues related to the ma...
BMCBI
2006
13 years 7 months ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
ICCBR
2009
Springer
14 years 1 months ago
2009
Springer
Case-based planning (CBP) systems are based on the idea of reusing past successful plans for solving new problems. Previous research has shown the ability of meta-reasoning approac...