2920 search results - page 276 / 584 » Finite information logic |
140
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
: There has been an abundance of research within the last couple of decades in the area of multilevel secure (MLS) databases. Recent work in this field deals with the processing of...
227
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
173
click to vote
AIIA
2007
Springer
16 years 28 days ago
2007
Springer
Logic Programs with Annotated Disjunctions and CP-logic are two different but related languages for expressing probabilistic information in logic programming. The paper presents a...
176
click to vote
CAISE
2007
Springer
16 years 28 days ago
2007
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
164
click to vote
MKM
2007
Springer
16 years 26 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...