2022 search results - page 180 / 405 » Complexity of Non-Monotonic Logics |
198
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Abstract. Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming i...
207
click to vote
ADC
2008
Springer
16 years 28 days ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
170
click to vote
ATVA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
144
click to vote
MSE
2005
IEEE
16 years 4 days ago
2005
IEEE
A graduate-level computer engineering course sequence at the OGI School of Science and Engineering teaches state-of-the-art digital system design practices and system-on-chip desi...
195
click to vote
ACMICEC
2005
ACM
16 years 4 days ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...