3515 search results - page 32 / 703 » On the semantics of Strategy Logic |
181
click to vote
NC
2007
15 years 6 months ago
2007
In quantum computational logic meanings of sentences are identified with quantum information quantities: systems of qubits or, more generally, mixtures of systems of qubits. We co...
198
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This research explores a new method for Semantic Web service matchmaking based on iSPARQL strategies, which enables to query the Semantic Web with techniques from traditi...
212
click to vote
EEE
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper reports on a system for automated agent negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategie...
175
click to vote
EMNLP
2008
15 years 8 months ago
2008
In recent years, with the development of Chinese semantically annotated corpus, such as Chinese Proposition Bank and Normalization Bank, the Chinese semantic role labeling (SRL) t...
185
click to vote
ICLP
1997
Springer
15 years 11 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...