Výsledky vyhľadávania - Constraint and logic programming Theorem proving

Proof Procedures of Answer Set Semantics for Logic Programming (Special Issue : 'New Technologies in Automated Reasoning and Theorem Proving') / 論理プログラムの解集合意味論に関する証明系(<特集>「定理証明, 推論関係の新技術」)

Autori: Ken SATOH Noboru IWAYAMA 佐藤 健 a ďalší

Zdroj: 人工知能 / Journal of the Japanese Society for Artificial Intelligence. 2001, 16(5):655

Automated Deduction – CADE 29

Prispievatelia: Pientka, Brigitte Tinelli, Cesare

Predmety: artificial intelligence, automata theory, Boolean functions, formal languages, formal logic, model checking, software engineering, automated theorem proving, software verification, logic programming, automated reasoning, automated deduction, propositional satisfiability, constraint solving, computer algebra, satisfiability modulo theories

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/76245

Proving Theorems by Program Transformation.

Autori: Fioravanti, Fabio Pettorossi, Alberto Proietti, Maurizio a ďalší

Zdroj: Fundamenta Informaticae; 2013, Vol. 127 Issue 1-4, p115-134, 20p

Predmety: PROGRAM transformation, PROOF theory, METALANGUAGE, LOGIC programming, AUTOMATIC theorem proving, SEMANTICS

Component assembly and theorem proving in constraint handling rules

Autori: Mário Oliveira Rodrigues, Cleyton

Thesis Advisors: Pierre Louis Robin, Jacques

Zdroj: Repositório Institucional da UFPEUniversidade Federal de PernambucoUFPE.

Predmety: Constraint Logic Programming, Component-Based Developing, Knowledge Representation, Theorem Prover

Dostupnosť: https://repositorio.ufpe.br/handle/123456789/1821

Proceedings 38th International Conference on Logic Programming

Autori: Lierler, Yuliya Morales, Jose F. Dodaro, Carmine a ďalší

Témy: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2208.02685

Proceedings 37th International Conference on Logic Programming (Technical Communications)

Autori: Formisano, Andrea Liu, Yanhong Annie Bogaerts, Bart a ďalší

Témy: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2109.07914

Proceedings 36th International Conference on Logic Programming (Technical Communications)

Autori: Ricca, Francesco Russo, Alessandra Greco, Sergio a ďalší

Témy: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/2009.09158

Computational Origami Construction as Constraint Solving and Rewriting

Autori: Ida, Tetsuo Marin, Mircea Takahashi, Hidekazu a ďalší

Zdroj: ENTCS: Electronic Notes in Theoretical Computer Science. Jul2008, Vol. 216, p31-44. 14p.

Predmety: Origami, Axioms, Logic programming, Computer programming, Rewriting systems (Computer science)

The analysis and partial synthesis of truss structures via theorem proving.

Autori: Lakmazaheri, Sivand Rasdorf, William

Zdroj: Engineering with Computers; Dec1990, Vol. 6 Issue 1, p31-45, 15p

Proving Theorems by Program Transformation

Autori: Fioravanti, F. Pettorossi, A. Proietti, M. a ďalší

Zdroj: Annales Societatis Mathematicae Polonae. Series 4: Fundamenta Informaticae.

Predmety: automated theorem proving, constraint logic programming, program specialization, program transformation, quantifier elimination, temporal logics

Prístupová URL adresa: http://yadda.icm.edu.pl/baztech/element/bwmeta1.element.baztech-5a4a1bb8-3321-4741-a81e-13815ced78a5

Goal driven theorem proving using conceptual graphs and Peirce logic

Autori: Heaton, John Edward

Predmety: 511.5, Conceptual graphs, Expert systems, Knowledge processing, Knowledge representation, Peirce logic, Predicate logic, Theorem proving

Prístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.417019

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Autori: Bogaerts, Bart Erdem, Esra Fodor, Paul a ďalší

Témy: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/1909.07646

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Autori: Christoph Benzmüller Marijn J.H. Heule Renate A. Schmidt

Typ zdroja: eBook.

Predmet: Automatic theorem proving--Congresses, Computer logic--Congresses, Artificial intelligence

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Logic Programming and Constraint Logic Programming.

Autori: Cohen, Jacques¹ jc@cs.brandeis.edu

Zdroj: ACM Computing Surveys. Mar96, Vol. 28 Issue 1, p257-259. 3p.

Predmety: *COMPUTER programming, *PROGRAMMING languages, *LOGIC programming languages, *CALCULUS, *PROLOG (Computer program language), *HORN clauses

Artificial Intelligence and Inherent Mathematical Difficulty Open Access.

Autori: Dean, Walter Naibo, Alberto

Zdroj: Philosophia Mathematica. Oct2025, Vol. 33 Issue 3, p283-329. 47p.

Predmety: *ARTIFICIAL intelligence, *MATHEMATICS, *LANGUAGE models, *RECURSION theory, *CONSTRAINT satisfaction, *MATHEMATICAL proofs, *COMPLEXITY (Philosophy), *LOGIC programming

Constraints in Computational Logics: Theory and Applications : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures

Autori: Hubert Comon Claude Marche Ralf Treinen

Typ zdroja: eBook.

Predmet: Computer systems, Software engineering, Machine theory, Artificial intelligence, Computer science, Computer programming

Kategórie: COMPUTERS / Computer Architecture, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Autori: Edmund M. Clarke Andrei Voronkov

Typ zdroja: eBook.

Predmet: Logic programming--Congresses, Artificial intelligence--Congresses, Automatic theorem proving--Congresses

Kategórie: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Autori: Iliano Cervesato Helmut Veith Andrei Voronkov

Typ zdroja: eBook.

Predmet: Logic programming--Congresses, Artificial intelligence--Congresses, Automatic theorem proving--Congresses

Kategórie: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Automated theorem proving.

Autori: Plaisted, David A.

Zdroj: WIREs: Cognitive Science; Mar2014, Vol. 5 Issue 2, p115-128, 14p

Predmety: AUTOMATIC theorem proving, COMPUTER systems, COMPUTER input-output equipment, COMPUTER software, NATURAL language processing, PROPOSITION (Logic)

Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Autori: Brigitte Pientka Cesare Tinelli

Typ zdroja: eBook.

Predmet: Automatic theorem proving--Congresses, Logic, Symbolic and mathematical--Congresses

Kategórie: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General