×

Found 97 Documents (Results 1–97)

Newest Citations Relevance
Peltier, Nicolas

Automated model building: From finite to infinite models. (English) Zbl 1166.68352

Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 155-169 (2008).
MSC:  68T15 68Q45
Cite Review PDF
Full Text: DOI
Near, Joseph P.; Byrd, William E.; Friedman, Daniel P.

\(\alpha\)leanTAP: a declarative theorem prover for first-order classical logic. (English) Zbl 1183.68561

Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 238-252 (2008).
MSC:  68T15 03B10
Cite Review PDF
Full Text: DOI
Pelzer, Björn; Wernhard, Christoph

System description: E-KRHyper. (English) Zbl 1213.68574

Pfenning, Frank (ed.), Automated deduction – CADE-21. 21st international conference on automated deduction, Bremen, Germany, July 17–20, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73594-6/pbk). Lecture Notes in Computer Science 4603. Lecture Notes in Artificial Intelligence, 508-513 (2007).
MSC:  68T15
Cite Review PDF
Full Text: DOI
Baumgartner, Peter; Schmidt, Renate A.

Blocking and other enhancements for bottom-up model generation methods. (English) Zbl 1222.68357

Furbach, Ulrich (ed.) et al., Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37187-8/pbk). Lecture Notes in Computer Science 4130. Lecture Notes in Artificial Intelligence, 125-139 (2006).
MSC:  68T15 03B35
Cite Review PDF
Full Text: DOI arXiv
Bezem, Marc; Coquand, Thierry

Automating coherent logic. (English) Zbl 1143.03332

Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 246-260 (2005).
MSC:  03B35 68T15
Cite Review PDF
Full Text: DOI
Miller, Swaha; Plaisted, David A.

The space efficiency of OSHL. (English) Zbl 1142.03330

Beckert, Bernhard (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2005, Koblenz, Germany, September 14–17, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28931-3/pbk). Lecture Notes in Computer Science 3702. Lecture Notes in Artificial Intelligence, 217-230 (2005).
MSC:  03B35 68T15
Cite Review PDF
Full Text: DOI
Hustadt, Ullrich; Motik, Boris; Sattler, Ulrike

A decomposition rule for decision procedures by resolution-based calculi. (English) Zbl 1109.03009

Baader, Franz (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25236-3/pbk). Lecture Notes in Computer Science 3452. Lecture Notes in Artificial Intelligence, 21-35 (2005).
MSC:  03B35
Cite Review PDF
Full Text: DOI
Siekmann, Jörg; Benzmüller, Christoph

\(\Omega\)MEGA: Computer supported mathematics. (English) Zbl 1132.68682

Biundo, Susanne (ed.) et al., KI 2004: Advances in artificial intelligence. 27th annual German conference in AI, KI 2004, Ulm, Germany, September 20–24, 2004, Proceedings. Berlin: Springer (ISBN 978-3-540-23166-0/pbk). Lecture Notes in Computer Science 3238. Lecture Notes in Artificial Intelligence, 3-28 (2004).
MSC:  68T15
Cite Review PDF
Full Text: DOI
Peltier, Nicolas

A resolution-based model building algorithm for a fragment of \(\mathcal{OCC}1\mathcal{N}_{=}\) (extended abstract). (English) Zbl 1261.68105

Dahn, Ingo (ed.) et al., FTP’2003: 4th international workshop on first-order theorem proving. Proceedings of the workshop (in connection with RDP’03, federated conference on rewriting, deduction and programming), Valencia, Spain, June 12–14, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 86, No. 1, 91-104 (2003).
MSC:  68T15 03B35
Cite Review PDF
Full Text: DOI
Hasegawa, Ryuzo; Inoue, Katsumi; Ohta, Yoshihiko; Koshimura, Miyuki

Non-Horn magic sets to incorporate top-down inference into bottom-up theorem proving. (English) Zbl 1430.68410

McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 176-190 (1997).
MSC:  68V15 03B35
Cite Review PDF
Full Text: DOI
Abdennadher, Slim; Schütz, Heribert

Model generation and existentially quantified variables and constraints. (English) Zbl 0889.03010

Hanus, Michael (ed.) et al., Algebraic and logic programming. 6th international joint conference, ALP ’97 - HOA ’97, Southampton, GB, September 3–5, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1298, 256-272 (1997).
Reviewer: J.Šajda (Bratislava)
MSC:  03B35 68T15 68P15 68N17
Cite Review PDF

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software