4617 search results - page 562 / 924 » Automation of Diagrammatic Reasoning |
176
click to vote
TIME
2003
IEEE
16 years 26 days ago
2003
IEEE
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...
179
click to vote
TPHOL
2003
IEEE
16 years 26 days ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
219
click to vote
ASP
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
186
click to vote
CSL
2003
Springer
16 years 25 days ago
2003
Springer
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...
213
click to vote
ICCBR
2003
Springer
16 years 24 days ago
2003
Springer
Abstract. There have been some Artificial Intelligence applications developed for electronic circuits diagnosis, but much remains to be done in this field, above all in the analo...