3773 search results - page 702 / 755 » Logical Reasoning |
137
Voted
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
124
Voted
ICLP
2004
Springer
15 years 8 months ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
136
Voted
LPAR
2004
Springer
15 years 8 months ago
2004
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
134
Voted
ICTAI
2003
IEEE
15 years 8 months ago
2003
IEEE
One of the main reasons behind unfruitful software development projects is that it is often too late to correct the problems by the time they are detected. It clearly indicates th...
135
Voted
IEEEICCI
2003
IEEE
15 years 8 months 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...