FOIKS
15 years 19 days ago
2006 Springer 
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...
FOIKS
15 years 19 days ago
2006 Springer 
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
FOIKS
15 years 19 days ago
2006 Springer 
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
FOIKS
15 years 19 days ago
2006 Springer 
Abstract. In this paper, we present a syntactic method for solving firstorder equational constraints over term algebras. The presented method exploits a novel notion of quasi-solve...
101
click to vote
FOIKS
15 years 19 days ago
2006 Springer 
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
|
Information Technology