3005 search results - page 118 / 601 » Logical Information Systems: from Taxonomies to Logics |
163
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...
168
click to vote
ICLP
2004
Springer
15 years 11 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
188
click to vote
AAAI
2000
15 years 7 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
177
click to vote
KI
2002
Springer
15 years 6 months ago
2002
Springer
The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description Logics are often named as one of the tools that can support th...
134
click to vote
BSL
2010
15 years 3 months ago
2010
This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses ...