2920 search results - page 120 / 584 » Finite information logic |
101
click to vote
ISMS
2004
Springer
15 years 6 months ago
2004
Springer
Realistic tissue models require accurate representations of the properties of in vivo tissue. This study examines the potential for tactile imaging to measure tissue properties an...
113
Voted
LATIN
2010
Springer
15 years 2 months ago
2010
Springer
We study the worst case complexity of regular operations on cofinite languages (i.e., languages whose complement is finite) and provide algorithms to compute efficiently the result...
120
Voted
LPNMR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
93
Voted
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
98
Voted
CIE
2010
Springer
15 years 5 months ago
2010
Springer
This paper is an informal (and nonexhaustive) overview over some existing notions of proof nets for classical logic, and gives some hints why they might be considered to be unsatis...