2062 search results - page 368 / 413 » Derivatives of Logical Formulas |
100
click to vote
FLAIRS
2007
15 years 1 months ago
2007
The basic aim of the model proposed here is to automatically build semantic metatext structure for texts that would allow us to search and extract discourse and semantic informati...
76
Voted
FUIN
2008
14 years 11 months ago
2008
The issue addressed in this paper concerns the discovery of frequent multi-dimensional patterns from relational sequences. The great variety of applications of sequential pattern m...
104
click to vote
ENTCS
2007
14 years 11 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
98
Voted
AI
2000
Springer
14 years 10 months ago
2000
Springer
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w.r....
82
Voted
JCSS
2000
14 years 10 months ago
2000
It is a well-known result of Fagin that the complexity class NP coincides with the class of problems expressible in existential second-order logic ( 1 1), which allows sentences c...