Výsledky vyhledávání - Deduction and Theorem Proving- logic programming
-
1
Přispěvatelé:
Témata: 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 souboru: application/pdf
Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/76245
-
2
Přispěvatelé:
Témata: 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 souboru: application/pdf
Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/50048
-
3
Autoři:
Resource Type: eBook.
Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General
Plný text ve formátu PDF Plný text ve formátu ePub -
4
Autoři:
Resource Type: eBook.
Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General
Plný text ve formátu PDF Plný text ve formátu ePub -
5
Autoři: a další
Přispěvatelé: a další
Témata: 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 souboru: 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
-
6
Autoři: a další
Přispěvatelé: a další
Témata: 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 souboru: 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
-
7
Autoři:
Přispěvatelé:
Témata: 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 souboru: application/pdf
-
8
Autoři:
Zdroj: Communications of the ACM. Mar1979, Vol. 22 Issue 3, p184-192. 9p. 12 Diagrams.
-
9
Autoři: a další
Přispěvatelé: a další
Témata: 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 souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4314; http://arxiv.org/pdf/cs/0603025v2.pdf
-
10
Autoři: a další
Přispěvatelé: a další
Témata: 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 souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.2280; http://arxiv.org/pdf/cs/0603025v1.pdf
-
11
Autoři: a další
Přispěvatelé: a další
Témata: 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 souboru: 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
-
12
Autoři: a další
Přispěvatelé: a další
Témata: 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 souboru: application/postscript
-
13
Autoři: Robinson, J. A.
Zdroj: Communications of the ACM; Mar1992, Vol. 35 Issue 3, p40-65, 22p
-
14
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.2.2 [Software Engineering, Tools and Techniques, D.2.4 [Software Engineering, Program Verification, D.3.1 [Programming Languages, Formal Definitions and Theory- semantics, F.3.2 [Logic and Meaning of Programs, Semantics of Programming Languages, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving- logic programming. Keywords, Abstract interpretation, logic programming, program analysis
Popis souboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.2486; http://profs.sci.univr.it/~giaco/download/toplas15.ps.gz
-
15
-
16
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Denitions and Theory | semantics, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic | logic programming, model theory, I.2.3 [Articial Intelligence, Deduction and Theorem Proving | logic programming, nonmonotonic reasoning and belief revision General Terms, Languages, Theory Additional Key Words and Phrases, negation as failure, well-founded models, xpoints, unfounded sets, stable models, three-valued logic
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.646.8051; http://users.soe.ucsc.edu/~avg/Papers/wf.pdf
-
17
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory--- semantics, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic--- logic programming, model theory, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving--- logic programming, nonmonotonic reasoning and belief revision General Terms, Languages, Theory Additional Key Words and Phrases, negation as failure, well-founded models, fixpoints, unfounded sets, stable models, three-valued
Popis souboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.2340; http://www.cs.columbia.edu/~kar/pubsk/wfjacm.ps
-
18
Autoři: a další
Přispěvatelé: a další
Témata: 1.2.3 [Artificial Intelligence, Deduction and Theorem Proving-logic programming General Terms, Algorithms, Theory Additional Key Words and Phrases, Equivalence, knowledge database, linear and nonlinear recursive rules, logic database
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.9295; http://www.cs.utsa.edu/~wzhang/mypapers/tods90.pdf
-
19
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, F.2.0 [Analysis of Algorithms and Problem Complexity, General, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Computational 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—Temporal logic General Terms, Theory Additional Key Words and Phrases, Answer-set semantics, computational complexity, knowledgebase evolution, logic-program updates, nonmonotonic knowledge bases, program equivalence, temporal reasoning
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.331.2678; http://haendel.kr.tuwien.ac.at/staff/michael/research/tocl05.pdf
-
20
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search—Plan generation, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic programming, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Representation languages General Terms, Planning, Control Knowledge, Answer Set Planning Additional Key Words and Phrases, Reasoning about actions, Procedural knowledge
Popis souboru: application/pdf
Full Text Finder 
Nájsť tento článok vo Web of Science