2573 search results - page 126 / 515 » Combinations of Modal Logics |
149
click to vote
ERCIMDL
2007
Springer
15 years 10 months ago
2007
Springer
This paper investigates the use of the logical structure in XML documents for the retrieval of XML multimedia objects. We study different logical levels and their combinations. Our...
156
click to vote
ENTCS
2000
15 years 4 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
102
click to vote
PATMOS
2004
Springer
15 years 9 months ago
2004
Springer
A full-adder implemented by combining branch-based logic and pass-gate logic is presented in this contribution. A comparison between this proposed full-adder (named BBL PT) and its...
131
click to vote
AI
2005
Springer
15 years 4 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
139
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...