194
click to vote
JELIA
15 years 10 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...
177
Voted
JELIA
15 years 10 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...
168
click to vote
JELIA
15 years 10 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...
159
click to vote
JELIA
15 years 10 months ago
2004 Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
158
click to vote
JELIA
15 years 10 months ago
2004 Springer
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
|
Artificial Intelligence