481 search results - page 48 / 97 » Validity of First-Order Knowledge Bases |
CORR
2000
Springer
13 years 7 months ago
2000
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
SEMWEB
2001
Springer
14 years 2 days ago
2001
Springer
Metadata are widely used in order to fully exploit information resources available on corporate intranets or the Internet. The Resource Description Framework (RDF) aims at facilit...
BMCBI
2006
13 years 7 months ago
2006
Background: Signal transduction pathways are usually modelled using classical quantitative methods, which are based on ordinary differential equations (ODEs). However, some diffic...
WWW
2002
ACM
14 years 8 months ago
2002
ACM
Table is a commonly used presentation scheme, especially for describing relational information. However, table understanding remains an open problem. In this paper, we consider th...
EWSPT
2001
Springer
14 years 4 days ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...