×

Found 5 Documents (Results 1–5)

On anti-subsumptive knowledge enforcement. (English) Zbl 1471.68271

Davis, Martin (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24–28, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9450, 48-62 (2015).
MSC:  68T27 68T20
PDFBibTeX XMLCite
Full Text: DOI

Automatic extraction of functional dependencies. (English) Zbl 1122.68597

Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 122-132 (2005).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Using failed local search for SAT as an oracle for tackling harder A. I. problems more efficiently. (English) Zbl 1020.68512

Scott, Donia (ed.), Artificial intelligence: methodology, systems, and applications. 10th international conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2443, 51-60 (2002).
MSC:  68T20 68Q17
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software