2022 search results - page 50 / 405 » Complexity of Non-Monotonic Logics |
IJCAI
2001
15 years 2 months ago
2001
In the last decade, there has been several studies on the computational complexity of planning. These studies normally assume that the goal of planning is to make a certain fluent...
114
Voted
ADBIS
2006
Springer
15 years 6 months ago
2006
Springer
XML is suitable for structuring complex data coming from different sources and supported by heterogeneous formats. It allows a flexible formalism capable to represent and store d...
106
Voted
CSREAESA
2004
15 years 2 months ago
2004
- The model of a simple perceptron using phase-encoded inputs and complex-valued weights is presented. Multilayer two-input and three-input complex-valued neurons (CVNs) are implem...
100
click to vote
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the ...
124
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...