3385 search results - page 519 / 677 » Language, Logic, and the Brain |
215
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset ...
185
click to vote
RULEML
2010
Springer
15 years 4 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...
175
click to vote
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
162
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
189
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Schaefer's theorem is a complexity classification result for so-called Boolean constraint satisfaction problems: it states that every Boolean constraint satisfaction problem ...