507 search results - page 55 / 102 » Automating first-order relational logic |
116
Voted
DLOG
2011
14 years 4 months ago
2011
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While ...
124
click to vote
FPGA
2005
ACM
15 years 6 months ago
2005
ACM
Creating a new FPGA is a challenging undertaking because of the significant effort that must be spent on circuit design, layout and verification. It currently takes approximately ...
105
click to vote
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
86
Voted
LOPSTR
1998
Springer
15 years 4 months ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...
110
click to vote
ECSQARU
2005
Springer
15 years 6 months ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...