1814 search results - page 67 / 363 » Extended First-Order Logic |
120
click to vote
JSS
2010
14 years 7 months ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
91
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
We extend graded modal logic (GML) to a logic that captures the concept of majority. We provide an axiomatization for majority logic, MJL, and sketch soundness and completeness pr...
110
Voted
AIIA
1999
Springer
15 years 5 months ago
1999
Springer
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular...
84
Voted
SLP
1990
15 years 2 months ago
1990
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
124
click to vote
RULEML
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In this paper we present the well founded variants of ambiguity blocking and ambiguity propagating defeasible logics. We also show how to extend SPINdle, a state of the a...