3776 search results - page 352 / 756 » Partition-Based Logical Reasoning |
192
click to vote
FROCOS
2009
Springer
15 years 11 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
134
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
We define regular expressions for unranked trees (actually, ordered sequences of unranked trees, called forests). These are compared to existing regular expressions for trees. On ...
132
click to vote
TARK
2007
Springer
15 years 11 months ago
2007
Springer
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
173
click to vote
AUSAI
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the firs...
157
click to vote
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...