170
Voted
JELIA
15 years 8 months ago
2004 Springer 
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
157
Voted
JELIA
15 years 8 months ago
2004 Springer 
Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive Description Logics (DLs) whereas existing knowledge bases are written in very e...
143
Voted
JELIA
15 years 8 months ago
2004 Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
133
Voted
JELIA
15 years 8 months ago
2004 Springer
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
133
Voted
JELIA
15 years 8 months ago
2004 Springer 
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
|
Artificial Intelligence