1743 search results - page 137 / 349 » Generalized Modal Satisfiability |
124
Voted
AAAI
2000
15 years 4 months ago
2000
We analyze the complexity of propositional kernel resolution (del Val 1999), a general method for obtaining logical consequences in restricted target languages. Different choices ...
122
click to vote
ICONIP
1998
15 years 4 months ago
1998
YANNS (Yet Another Neural Network Simulator) is a new object-oriented neural network simulator for feedforward networks as well as general recurrent networks. The goal of this pro...
122
click to vote
IJCAI
1997
15 years 4 months ago
1997
Aiming at explicit description of temporal meaning of causal relations generated by qualitative reasoning systems, this article proposes a causal time ontology which defines a se...
119
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Solving stochastic optimization problems under partial observability, where one needs to adaptively make decisions with uncertain outcomes, is a fundamental but notoriously diffic...
112
Voted
COMBINATORICS
2006
15 years 3 months ago
2006
A differential poset is a partially ordered set with raising and lowering operators U and D which satisfy the commutation relation DU-UD = rI for some constant r. This notion may ...