1864 search results - page 55 / 373 » Formal topology and domains |
INFORMATICALT
2010
13 years 9 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriļ...
DLOG
2009
13 years 9 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
GEOINFORMATICA
2008
13 years 11 months ago
2008
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...
SMC
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract ā We formalize the concept of domain representation in artiļ¬cial intelligence, and propose a framework for evaluating representation and comparing alternative represen...
LPKR
1997
Springer
14 years 3 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...