Výsledky vyhľadávania - deduction and theorem proving—(logic OR login) programming

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

Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols.

Autori: Janičić, Predrag

Zdroj: Journal of Automated Reasoning; Dec2025, Vol. 69 Issue 4, p1-37, 37p

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

Automated Deduction – CADE 28

Prispievatelia: Platzer, André Sutcliffe, Geoff

Predmety: Artificial Intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Software Engineering, Formal Languages and Automata Theory, Computer Science Logic and Foundations of Programming, automata theory, boolean functions, computer programming, first order logic, formal languages, formal logic, logic programming, model checking, program verification, semantics, software architecture, software design, software quality, software verification, theorem provers, theorem proving, Mathematical theory of computation, Computer programming / software engineering, Computer architecture & logic design, Artificial intelligence

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/50048

Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

Autori: André Platzer Geoff Sutcliffe

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

A Comprehensive Formalization of Propositional Logic in Coq: Deduction Systems, Meta-Theorems, and Automation Tactics.

Autori: Guo, Dakai Yu, Wensheng

Zdroj: Mathematics (2227-7390); Jun2023, Vol. 11 Issue 11, p2504, 28p

Predmety: PROPOSITION (Logic), LOGIC, COMPLETENESS theorem, SOFTWARE verification, MATHEMATICAL proofs, DIGITAL electronics

一种基于子句稳定度的多元动态演绎算法及应用. (Chinese)

Alternate Title: A Multi-clause Dynamic Deduction Algorithm Based on Clause Stability and Its Application. (English)

Autori: 曹 锋 王家帆 易见兵 a ďalší

Zdroj: Journal of Guangxi Normal University - Natural Science Edition; Nov2024, Vol. 42 Issue 6, p164-176, 13p

Predmety: FIRST-order logic, ARTIFICIAL intelligence, INTERNATIONAL competition, HEURISTIC, ALGORITHMS

The CADE-29 Automated Theorem Proving System Competition – CASC-29.

Autori: Sutcliffe, Geoff Desharnais, Martin

Zdroj: AI Communications; 2024, Vol. 37 Issue 4, p485-503, 19p

Predmety: DESIGN competitions, WORLD championships, CONTESTS, LOGIC

Runtime Verification Tool for the Calculus of Context-Aware Ambients.

Autori: Siewe, François

Zdroj: Mathematics (2227-7390); Nov2025, Vol. 13 Issue 22, p3606, 40p

Predmety: CONTEXT-aware computing, SOFTWARE validation, LOGIC, TELEMETRY

Logic programming revisited: logic programs as inductive definitions

Autori: Marc Denecker Maurice Bruynooghe Victor Marek a ďalší

Prispievatelia: Marc Denecker Maurice Bruynooghe Victor Marek a ďalší

Zdroj: http://www.cs.uky.edu/~marek/papers.dir/02.dir/indDefs.pdf.

Predmety: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, F.3.2 [Logics And Meanings Of Programs, Semantics of Programming Languages—Algebraic approaches to semantics, F.4.1 [Mathematical Logic And Formal Languages, Mathematical Logic— Computational logic, Logic and constraint programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic programming, Nonmonotonic reasoning and belief revision, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods General Terms, Languages, Theory

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.7036; http://www.cs.uky.edu/~marek/papers.dir/02.dir/indDefs.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.7036
http://www.cs.uky.edu/~marek/papers.dir/02.dir/indDefs.pdf

Controlling Generalization and Polyvariance in Partial Deduction of Normal Logic Programs

Autori: Michael Leuschel Bern Martens Danny De Schreye a ďalší

Prispievatelia: Michael Leuschel Bern Martens Danny De Schreye a ďalší

Zdroj: http://www.cs.kuleuven.ac.be/~dtai/publications/files/2632.ps.gz.

Predmety: Categories and Subject Descriptors, D.1.2 [Programming Techniques, Automatic Programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving---logic programming, D.1.6 [Programming Techniques, Logic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic---logic programming, I.2.2 [Artificial Intelligence, Automatic Programming General Terms, Algorithms, Performance, Theory Additional Key Words and Phrases, Flow analysis, partial deduction, partial evaluation, program transformation, supercompilation

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.6858; http://www.cs.kuleuven.ac.be/~dtai/publications/files/2632.ps.gz

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.6858
http://www.cs.kuleuven.ac.be/~dtai/publications/files/2632.ps.gz

Logic and Semantic Networks.

Autori: Deliyanni, Amaryllis Kowalski, Robert A. Montgomery, C.

Zdroj: Communications of the ACM. Mar1979, Vol. 22 Issue 3, p184-192. 9p. 12 Diagrams.

Predmety: *Semantic networks (Information theory), *Computer logic, *Logic programming, *Artificial intelligence, *Abstract data types (Computer science), *Data structures, *Programming languages

An Extended Transformation Approach to Inductive Logic Programming

Autori: Nada Lavrac Peter A. Flach The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Nada Lavrac Peter A. Flach The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.bris.ac.uk/home/flach/papers/lavrac-flach-tocl01.pdf.

Predmety: Categories and Subject Descriptors, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic programming, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Predicate logic, I.2.6 [Artificial Intelligence, Learning—Concept learning, Induction General Terms, Algorithms, Experimentation Additional Key Words and Phrases, Data mining, inductive logic programming, machine learning, relational databases

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.5708

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.5708
http://www.cs.bris.ac.uk/home/flach/papers/lavrac-flach-tocl01.pdf

Open Answer Set Programming with Guarded Programs

Autori: Stijn Heymans Davy Van Nieuwenborgh Dirk Vermeir a ďalší

Prispievatelia: Stijn Heymans Davy Van Nieuwenborgh Dirk Vermeir a ďalší

Zdroj: http://arxiv.org/pdf/cs/0603025v2.pdf.

Predmety: Categories and Subject Descriptors, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic Programming, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods General Terms, Theory Additional Key Words and Phrases, Answer Set Programming, Open Domains, Fixed Point Logic

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4314; http://arxiv.org/pdf/cs/0603025v2.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4314
http://arxiv.org/pdf/cs/0603025v2.pdf

Formal Verification of Autonomous Vehicle Group Control Systems via Specification Translation of Multitask Hybrid Observational Transition Systems.

Autori: Wang, Yifan Nakamura, Masaki Takano, Ryo a ďalší

Zdroj: Electronics (2079-9292); Apr2025, Vol. 14 Issue 7, p1483, 31p

Predmety: HYBRID systems, MATHEMATICS theorems, CHECKS, CONTROL groups

Open answer set programming with guarded programs

Autori: Stijn Heymans Davy Van Nieuwenborgh Dirk Vermeir a ďalší

Prispievatelia: Stijn Heymans Davy Van Nieuwenborgh Dirk Vermeir a ďalší

Zdroj: http://arxiv.org/pdf/cs/0603025v1.pdf.

Predmety: Categories and Subject Descriptors, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic Programming, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods General Terms, Theory Additional Key Words and Phrases, Answer Set Programming, Open Domains, Fixed Point Logic

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.2280; http://arxiv.org/pdf/cs/0603025v1.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.2280
http://arxiv.org/pdf/cs/0603025v1.pdf

Theorem Proving and Algebra

Autori: Goguen, Joseph A.

Témy: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Computer Science - Symbolic Computation, 68Q65, 03B70 (Primary), F.3.1, F.3.2, F.4.1, F.1.1, I.1.3, text

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

Termination of Simply Moded Logic Programs with Dynamic Scheduling

Autori: Annalisa Bossi Sandro Etalle Cwi Amsterdam a ďalší

Prispievatelia: Annalisa Bossi Sandro Etalle Cwi Amsterdam a ďalší

Zdroj: http://www.dsi.unive.it/%7Esrossi/Papers/tocl_input.ps.gz.

Predmety: Deduction and Theorem Proving|Logic programming, I.2.2 [Articial Intelligence, Automatic Programming|Program verication General Terms, Languages, Verication, Termination Additional Key Words and Phrases, Logic programs, dynamic scheduling, simply moded, termination

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.8239; http://www.dsi.unive.it/%7Esrossi/Papers/tocl_input.ps.gz

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.8239
http://www.dsi.unive.it/%7Esrossi/Papers/tocl_input.ps.gz

Logic and Logic Programming.

Autori: Robinson, J. A.

Zdroj: Communications of the ACM; Mar1992, Vol. 35 Issue 3, p40-65, 22p

Predmety: LOGIC programming, PARALLEL programming, LOGICAL positivism, PREDICATE calculus, MATHEMATICAL logic, COMPUTATIONAL intelligence

Super Logic Programs

Autori: Stefan Brass Jürgen Dix Teodor C. Przymusinski a ďalší

Prispievatelia: Stefan Brass Jürgen Dix Teodor C. Przymusinski a ďalší

Zdroj: http://www.uni-koblenz.de/~dix/Papers/01_TOCL_super.ps.gz.

Predmety: Mathematical Logic---Logic and constraint programming, Modal logic, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving---Logic Programming, Nonmonotonic reasoning and belief revision, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods---Modal logic General Terms, Non-Monotonic Reasoning, Logics of Knowledge and Beliefs, Semantics of Logic Programs and Deductive Databases Additional Key Words and Phrases, Disjunctive logic programming, negation, static semantics, well-founded semantics

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.5338

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.5338
http://www.uni-koblenz.de/~dix/Papers/01_TOCL_super.ps.gz