1941 search results - page 206 / 389 » Reasoning about Computations Using Two-Levels of Logic |
141
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
By Courcelle's Theorem we know that any property of finite structures definable in monadic second-order logic (MSO) becomes tractable over structures with bounded treewidth. T...
123
Voted
AI
2010
Springer
15 years 3 months ago
2010
Springer
Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language...
187
Voted
COLT
1994
Springer
15 years 7 months ago
1994
Springer
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
135
Voted
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
125
Voted
EUSFLAT
2001
15 years 5 months ago
2001
This work points out advantages for the application of fuzzy logic in organization analysis and control. From the presented motivations we propose both a managerial control cycle ...