3005 search results - page 74 / 601 » Logical Information Systems: from Taxonomies to Logics |
109
click to vote
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
106
click to vote
EEE
2005
IEEE
15 years 5 months ago
2005
IEEE
Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...
MFCS
1999
Springer
15 years 4 months ago
1999
Springer
We propose so called clausal tableau systems for the common modal logics K4, KD4 and S4. Basing on these systems, we give more efficient decision procedures than those hitherto kno...
139
click to vote
CL
2000
Springer
15 years 4 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
113
click to vote
CADE
2008
Springer
15 years 1 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...