Sciweavers

41 search results - page 2 / 9

» cl 2000

18

CL
2000
Springer

82views Automated Reasoning» more CL 2000»

Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams

13 years 6 months ago

Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams

Download www.stoerr.net

Steffen Hölldobler, Hans-Peter Störr

claim paper

Read More »

14

CL
2000
Springer

106views Automated Reasoning» more CL 2000»

AVAL: An Enumerative Method for SAT

13 years 10 months ago

AVAL: An Enumerative Method for SAT

Download www.cril.univ-artois.fr

Gilles Audemard, Belaid Benhamou, Pierre Siegel

claim paper

Read More »

15

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

13 years 10 months ago

Partial Models of Extended Generalized Logic Programs

Download centria.di.fct.unl.pt

José Júlio Alferes, Heinrich Herre, ...

claim paper

Read More »

15

CL
2000
Springer

114views Automated Reasoning» more CL 2000»

Reasoning about Duplicate Elimination with Description Logic

13 years 10 months ago

Reasoning about Duplicate Elimination with Description Logic

Download www.inf.unibz.it

Vitaliy L. Khizder, David Toman, Grant E. Weddell

claim paper

Read More »

11

CL
2000
Springer

97views Automated Reasoning» more CL 2000»

Databases and Higher Types

13 years 10 months ago

Databases and Higher Types

Download comet.lehman.cuny.edu

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

claim paper

Read More »

« Prev « First page 2 / 9 Last » Next »