507 search results - page 9 / 102 » Automating first-order relational logic |
107
click to vote
FROCOS
2000
Springer
15 years 3 months ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We study tree languages that can be defined in 2. These are tree languages definable by a first-order formula whose quantifier prefix is , and simultaneously by a first-order for...
153
click to vote
LPNMR
2011
Springer
14 years 2 months ago
2011
Springer
We present an approach to integrating rules and ontologies on the basis of the first-order stable model semantics defined by Ferraris, Lee and Lifschitz. We show that a few exist...
EGOV
2010
Springer
15 years 23 days ago
2010
Springer
Within a framework for enriched on-line discussion forums for e-government policy-making, pro and con statements for positions are input, structurally related, then logically repre...
113
click to vote
FORTE
2009
14 years 9 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...