3119 search results - page 199 / 624 » General Default Logic |
101
Voted
TARK
1998
Springer
15 years 4 months ago
1998
Springer
: Salmetintroduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction sol...
ICCD
1994
IEEE
15 years 4 months ago
1994
IEEE
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...
107
click to vote
TACS
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
141
click to vote
LANMR
2004
15 years 2 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
103
Voted
ENTCS
2006
15 years 21 days ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...