Sciweavers

41 search results - page 2 / 9
» cl 2000
Sort
View
108
Voted
CL
2000
Springer
15 years 3 months ago
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams
Steffen Hölldobler, Hans-Peter Störr
CL
2000
Springer
15 years 8 months ago
AVAL: An Enumerative Method for SAT
Gilles Audemard, Belaid Benhamou, Pierre Siegel
CL
2000
Springer
15 years 8 months ago
Partial Models of Extended Generalized Logic Programs
José Júlio Alferes, Heinrich Herre, ...
92
Voted
CL
2000
Springer
15 years 8 months ago
Reasoning about Duplicate Elimination with Description Logic
Vitaliy L. Khizder, David Toman, Grant E. Weddell
86
Voted
CL
2000
Springer
15 years 8 months ago
Databases and Higher Types
Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be ...
Melvin Fitting