176
click to vote
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...
138
click to vote
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...
159
click to vote
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...
112
click to vote
JELIA
15 years 8 months ago
2004 Springer
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...
133
click to vote
JELIA
15 years 8 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