3658 search results - page 438 / 732 » The logic of proofs, semantically |
139
click to vote
WOLLIC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
195
click to vote
KR
2004
Springer
16 years 2 days ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
201
click to vote
DEXAW
2003
IEEE
16 years 4 hour ago
2003
IEEE
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
172
click to vote
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
201
click to vote
DLOG
2008
15 years 9 months ago
2008
The use of Description Logic as the basis for Semantic Web Languages has led to new requirements with respect to scalable and nonstandard reasoning. In this paper, we address the p...