2501 search results - page 214 / 501 » Logics with Rank Operators |
140
Voted
ISMVL
1998
IEEE
15 years 9 months ago
1998
IEEE
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider issues regarding the efficient implementation of a...
122
click to vote
QCQC
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We briefly review the development and theory of an experiment to investigate quantum computation with trapped calcium ions. The ion trap, laser and ion requirements are d...
166
Voted
RSCTC
2000
Springer
15 years 8 months ago
2000
Springer
The perception-based theory of probabilistic reasoning which is outlined in this paper is not in the traditional spirit. Its principal aim is to lay the groundwork for a radical e...
157
Voted
AAAI
2008
15 years 7 months ago
2008
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...
125
click to vote
DLOG
2008
15 years 7 months ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...