8228 search results - page 180 / 1646 » Structural Logical Relations |
149
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the eponymous modality...
148
click to vote
IJIS
2011
14 years 8 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...
133
click to vote
SARA
2009
Springer
15 years 11 months ago
2009
Springer
Real-world automated reasoning systems must contend with inconsistencies and the vast amount of information stored in relational databases. In this paper, we introduce compilation...
154
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
We present SHIRI-Annot an automatic ontology-driven and unsupervised approach for the semantic annotation of documents which contain well structured parts and not well structured o...
142
click to vote
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
The paper describes the folding method of logic functions to reduce the size of memories for keeping the functions. The folding is based on the relation of fractions of logic func...