3440 search results - page 523 / 688 » Logics For Context-Free Languages |
167
click to vote
COOPIS
2002
IEEE
16 years 21 hour ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
208
click to vote
ICPPW
2002
IEEE
16 years 6 hour ago
2002
IEEE
Distributed Shared Memory (DSM) systems provide a logically shared memory over physically distributed memory to enable parallel computation on Networks of Workstations (NOWs). In ...
220
click to vote
LICS
2002
IEEE
15 years 12 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
179
click to vote
KR
2010
Springer
15 years 12 months ago
2010
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
177
Voted
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...