149
Voted
FOIKS
15 years 7 months 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...
128
Voted
FOIKS
15 years 7 months 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...
152
Voted
FOIKS
15 years 7 months 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...
132
Voted
FOIKS
15 years 7 months 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...
152
click to vote
FOIKS
15 years 7 months 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