3319 search results - page 209 / 664 » Subshifts, Languages and Logic |
188
click to vote
LPNMR
2005
Springer
16 years 3 days ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
189
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
160
click to vote
JIIS
2006
15 years 6 months ago
2006
It is well-known that knowledgebases may contain inconsistencies. We provide a measure to quantify the inconsistency of a knowledgebase, thereby allowing for the comparison of the...
207
click to vote
AIIA
2005
Springer
16 years 5 days ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
198
click to vote
ICFCA
2004
Springer
15 years 12 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...