×

Found 120 Documents (Results 1–100)

Constraint tableaux for two-dimensional fuzzy logics. (English) Zbl 07532507

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 20-37 (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Description logics with concrete domains and general concept inclusions revisited. (English) Zbl 07614526

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 413-431 (2020).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Consistency for 0-1 programming. (English) Zbl 1525.90268

Rousseau, Louis-Martin (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 16th international conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11494, 225-240 (2019).
MSC:  90C09 90C10
PDFBibTeX XMLCite
Full Text: DOI arXiv

MACE4 and SEM: a comparison of finite model generators. (English) Zbl 1383.68083

Bonacina, Maria Paola (ed.) et al., Automated reasoning and mathematics. Essays in memory of William W. McCune. Berlin: Springer (ISBN 978-3-642-36674-1/pbk). Lecture Notes in Computer Science 7788. Lecture Notes in Artificial Intelligence, 101-130 (2013).
MSC:  68T15 03B35
PDFBibTeX XMLCite
Full Text: DOI

ASP modulo CSP: the clingcon system. (English) Zbl 1281.68202

Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 458-463, electronic only (2012).
MSC:  68T15 68N17
PDFBibTeX XMLCite
Full Text: DOI

Answer set solving with lazy nogood generation. (English) Zbl 1281.68178

Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 188-200, electronic only (2012).
MSC:  68T05 68T15 68T27 68N17
PDFBibTeX XMLCite
Full Text: DOI

Submodular function maximization via the multilinear relaxation and contention resolution schemes. (English) Zbl 1288.90081

Proceedings of the 43rd annual ACM symposium on theory of computing, STOC ’11. San Jose, CA, USA, June 6–8, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0691-1). 783-792 (2011).
PDFBibTeX XMLCite
Full Text: DOI Link

The tccp interpreter. (English) Zbl 1294.68047

Lucio, Paqui (ed.) et al., Proceedings of the 9th Spanish conference on programming and computer languages (PROLE 2009), San Sebastián, Spain, September 9–11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 258, No. 1, 63-77 (2009).
MSC:  68N20 68N15 68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic. (English) Zbl 1250.68184

Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 294-305 (2009).
MSC:  68Q60 68N30 68T15
PDFBibTeX XMLCite
Full Text: DOI Link

Computational origami construction as constraint solving and rewriting. (English) Zbl 1283.68184

Echahed, Rachid (ed.), Proceedings of the 16th international workshop on functional and (constraint) logic programming (WFLP 2007), Paris, France, June 25, 2007. Selected papers. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 216, 31-44 (2008).
MSC:  68Q42 68N17 68N18 68T15
PDFBibTeX XMLCite
Full Text: DOI

Expander2: program verification between interaction and automation. (English) Zbl 1279.68293

López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 35-57 (2007).
MSC:  68T15 03B70 68N30 68Q65 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Constructing a tetrahedron with prescribed heights and widths. (English) Zbl 1195.51024

Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 203-211 (2007).
MSC:  51M20 51K05 68T15 68U05
PDFBibTeX XMLCite
Full Text: DOI

Planar generalized Stewart platforms and their direct kinematics. (English) Zbl 1159.68560

Hong, Hoon (ed.) et al., Automated deduction in geometry. 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16–18, 2004. Revised papers. Berlin: Springer (ISBN 3-540-31332-X/pbk). Lecture Notes in Computer Science 3763. Lecture Notes in Artificial Intelligence, 198-211 (2006).
MSC:  68T15 68U05
PDFBibTeX XMLCite
Full Text: DOI

Certified memory usage analysis. (English) Zbl 1120.68385

Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 91-106 (2005).
MSC:  68N30 68T15 68T20
PDFBibTeX XMLCite
Full Text: DOI

Efficient SAT engines for concise logics: accelerating proof search for zero-one linear constraint systems. (English) Zbl 1273.68319

Vardi, Moshe Y. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20101-7/pbk). Lect. Notes Comput. Sci. 2850, 302-316 (2003).
MSC:  68T15
PDFBibTeX XMLCite

Automatic video interpretation: A recognition algorithm for temporal scenarios based on pre-compiled scenario models. (English) Zbl 1030.68883

Crowley, James L. (ed.) et al., Computer vision systems. Third international conference, ICVS 2003, Graz, Austria, April 1-3, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2626, 523-533 (2003).
MSC:  68U99 68T45
PDFBibTeX XMLCite
Full Text: Link

Computer assisted proof of optimal approximability results. (English) Zbl 1093.68640

Proceedings of the thirteenth annual ACM-SIAM symposium on discrete algorithms, San Francisco, CA, USA, January 6–8, 2002. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 0-89871-513-X/pbk). 496-505 (2002).
MSC:  68T15
PDFBibTeX XMLCite

Continuous first-order constraint satisfaction. (English) Zbl 1072.68607

Calmet, Jacques (ed.) et al., Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1–5, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43865-3). Lect. Notes Comput. Sci. 2385, 181-195 (2002).
MSC:  68T20 68T15
PDFBibTeX XMLCite
Full Text: Link

Employing external reasoners in proof planning. (English) Zbl 0958.68152

Armando, Alessandro (ed.) et al., Calculemus 99. Systems for integrated computation and deduction, Trento, Italy, July 11-12, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 23,3, 11 p., electronic only (1999).
MSC:  68T15
PDFBibTeX XMLCite

SATO: an efficient propositional prover. (English) Zbl 1430.68427

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, 272-275 (1997).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Tableaux for functional dependencies and independencies. (English) Zbl 1412.68056

Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 358-372 (1997).
MSC:  68P15 03B35 03B70 68T15
PDFBibTeX XMLCite
Full Text: DOI

Simplifying and generalizing formulae in tableaux. Pruning the search space and building models. (English) Zbl 1412.68253

Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 313-327 (1997).
MSC:  68T15 03B35
PDFBibTeX XMLCite
Full Text: DOI

MGTP: a model generation theorem prover. Its advanced features and applications. (English) Zbl 1412.68232

Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 1-15 (1997).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

A general stochastic approach to solving problems with hard and soft constraints. (English) Zbl 0891.68100

Du, Dingzhu (ed.) et al., Satisfiability problem: theory and applications. DIMACS workshop, Piscataway, NJ, USA, March 11-13, 1996. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 35, 573-586 (1997).
MSC:  68T20 90B18 90C09 68R05 68R10 68T15
PDFBibTeX XMLCite

Yet another application for Toupie: Verification of mutual exclusion algorithms. (English) Zbl 0793.68029

Voronkov, Andrei (ed.), Logic programming and automated reasoning. 4th international conference, LPAR ’93, St. Petersburg, Russia, July 13-20, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 698, 86-97 (1993).
MSC:  68N17 68T15 68Q85
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software