3515 search results - page 75 / 703 » On the semantics of Strategy Logic |
181
Voted
AAAI
1990
15 years 8 months ago
1990
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
221
Voted
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
RDF(S) and OWL 2 currently support only static ontologies. In practice, however, the truth of statements often changes with time, and Semantic Web applications often need to repres...
199
Voted
KR
2004
Springer
16 years 12 days ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
263
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...
181
click to vote
JELIA
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....