3793 search results - page 255 / 759 » Expressive Description Logics |
147
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
We introduce a simple logic that allows to quantify over the subobjects of a categorical object. We subsequently show that, for the category of graphs, this logic is equally expres...
148
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
164
click to vote
JOLLI
2006
15 years 6 months ago
2006
We propose a novel interpretation of natural-language questions using a modal predicate logic of knowledge. Our approach brings standard model-theoretic and proof-theoretic techniq...
165
click to vote
JCT
2007
15 years 6 months ago
2007
We prove that one can express the vertex-minor relation on finite undirected graphs by formulas of monadic second-order logic (with no edge set quantification) extended with a p...
233
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...