6355 search results - page 342 / 1271 » From Logic to Games |
154
click to vote
STACS
2000
Springer
15 years 10 months ago
2000
Springer
Motivated by description logics, we investigate what happens to the complexity of modal satisfiability problems if we only allow formulas built from literals, , 3, and 2. Previous...
208
click to vote
ACL
2012
13 years 9 months ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires ā...
271
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
175
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to inļ¬nite words, to specify the behaviour of long-running sys...
159
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Reliability of logic circuits is emerging as an important concern that may limit the beneļ¬ts of continued scaling of process technology and the emergence of future technology al...