3239 search results - page 134 / 648 » A Logical Process Calculus |
101
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
113
click to vote
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
94
Voted
TABLEAUX
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. We define sequent-style calculi for nominal tense logics characterized by classes of modal frames that are first-order definable by certain Π0 1 -formulae and Π0 2 -...
134
click to vote
KR
1994
Springer
15 years 4 months ago
1994
Springer
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....
115
click to vote
EUSFLAT
2007
15 years 2 months ago
2007
Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear Progr...