Sciweavers

41 search results - page 2 / 9
» cl 2000
Sort
View
168
Voted
CL
2000
Springer
15 years 7 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 11 months ago
AVAL: An Enumerative Method for SAT
Gilles Audemard, Belaid Benhamou, Pierre Siegel
153
Voted
CL
2000
Springer
15 years 11 months ago
Partial Models of Extended Generalized Logic Programs
José Júlio Alferes, Heinrich Herre, ...
144
Voted
CL
2000
Springer
15 years 11 months ago
Reasoning about Duplicate Elimination with Description Logic
Vitaliy L. Khizder, David Toman, Grant E. Weddell
155
Voted
CL
2000
Springer
15 years 11 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