Search Results - Deduction and Theorem Proving|Logic Programming General Terms
-
1
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General
PDF Full Text ePub Full Text -
2
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General
PDF Full Text ePub Full Text -
3
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Deduction and Theorem Proving—Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.3830; http://www.dis.uniroma1.it/%7Edegiacom/papers/2001/DeLS01tocl.pdf
-
5
Authors:
Contributors:
Subject Terms: Intelligence, Deduction and Theorem Proving—logic programming General Terms—Design, Management, Theory Additional Keywords and Phrases—Deductive databases, incomplete information, Horn clause, query evaluation, Prolog Source of Publication—ACM Transactions on Information Systems, Vol
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9637; http://www.citr.com.au/pdfs/96journ/96p10.pdf
-
6
Authors:
Contributors:
Source: ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/superfiniteness.ps.Z
Subject Terms: I.2.3 [Computing Methodologies, Deduction and Theorem Proving-- logic programming. General Terms, Algorithms, languages, theory. Additional Keywords and Phrases, Query processing, finiteness constraints, finite queries, horizontal decompositions, partial constraints, computability, axiomatization
File Description: application/postscript
-
7
Authors:
Contributors:
Source: http://arxiv.org/pdf/0803.0014v2.pdf.
Subject Terms: Categories and Subject Descriptors, F.3.1 [Logic and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification, D.1.6 [Programming Techniques, Logic Programming, I.2.2 [Artificial Intelligence, Automatic Programming— Automatic analysis of algorithms, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic programming General Terms, Languages, Theory, Verification Additional Key Words and Phrases, termination analysis, term rewriting, dependency pairs
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.314.4333; http://arxiv.org/pdf/0803.0014v2.pdf
-
8
Authors:
Contributors:
Source: http://arxiv.org/pdf/0803.0014v1.pdf.
Subject Terms: Categories and Subject Descriptors, F.3.1 [Logic and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification, D.1.6 [Programming Techniques, Logic Programming, I.2.2 [Artificial Intelligence, Automatic Programming— Automatic analysis of algorithms, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic programming General Terms, Languages, Theory, Verification Additional Key Words and Phrases, termination analysis, term rewriting, dependency pairs
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.314.4244; http://arxiv.org/pdf/0803.0014v1.pdf
-
9
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, F.3.1 [Logic and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification, D.1.6 [Programming Techniques, Logic Programming, I.2.2 [Artificial Intelligence, Automatic Programming— Automatic analysis of algorithms, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Logic programming General Terms, Languages, Theory, Verification Additional Key Words and Phrases, termination analysis, term rewriting, dependency pairs
File Description: application/pdf
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.6 [Software, Programming Techniques-Logic Programming, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages-Denotational Semantics, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic-Logic and constraint programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving-Logic Programming General Terms, Design, Languages, Theory Additional Key Words and Phrases, Higher-Order Logic Programming, Denotational Semantics, Extensionality, Algebraic Lattices ACM Reference Format
File Description: application/pdf
-
11
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.3 [Software, Programming Languages, D.3.4 [Programming Languages, Processors- compilers, optimization, I.2 [Computing Methodologies, Artificial Intelligence, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving- logic programming. General Terms, Languages, algorithms Additional Keywords and Phrases, Dataflow analysis, static inference, mode, data dependency, Prolog
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.1494; http://www.cs.arizona.edu/people/debray/papers/modedep.ps
-
12
Authors: Robinson, J. A.
Source: Communications of the ACM; Mar1992, Vol. 35 Issue 3, p40-65, 22p
-
13
Authors:
Resource Type: eBook.
Subjects: Automatic theorem proving--Congresses, Computer logic--Congresses, Artificial intelligence
Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General
PDF Full Text ePub Full Text -
14
Authors: Awwad, Mohamad
Source: Future Human Image; 2018, Vol. 9, p5-19, 15p
Subject Terms: COMPUTER science, LOGIC programming, ARTIFICIAL intelligence
-
15
Authors: Kevin Knight
Source: ACM Computing Surveys. 21:93-124
Subject Terms: Artificial intelligence, Data structures, algebraic manipulation, type inference, unification, Analysis of algorithms and problem complexity, higher order logic, occur check, 0102 computer and information sciences, 02 engineering and technology, computations on discrete structures, 01 natural sciences, logic programming, theorem proving, infinite terms, 0202 electrical engineering, electronic engineering, information engineering, inheritance, natural language processing, analysis of algorithms and problem complexity, nonnumerical algorithms and problems, generalization, graphs, computational complexity, Natural language processing, resolution, parallel algorithms, artificial intelligence, prolog, pattern matching, lattices, equational theories, Theorem proving (deduction, resolution, etc.)
File Description: application/xml
Access URL: https://zbmath.org/4110162
https://doi.org/10.1145/62029.62030
http://www.cse.buffalo.edu/~rapaport/675w/p93-knight.pdf
https://core.ac.uk/display/24451474
http://portal.acm.org/citation.cfm?id=62030
https://www.isi.edu/natural-language/people/unification-knight.pdf
https://dblp.uni-trier.de/db/journals/csur/csur21.html#Knight89
https://dl.acm.org/doi/pdf/10.1145/62029.62030 -
16
Authors:
Source: Information Processing Letters. 27:159-165
Subject Terms: term reduction system, rewrite rules, unification algorithm, logic program, external functional procedures, 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, 02 engineering and technology, 0101 mathematics, 01 natural sciences, Theorem proving (deduction, resolution, etc.), Horn clause logic
File Description: application/xml
-
17
Authors:
Source: International Journal of Foundations of Computer Science; Apr2004, Vol. 15 Issue 2, p417-443, 27p
-
18
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors I.2.3 [Artificial Intelligence, Deduction and Theorem Proving – logic programming. General Terms Algorithms, Design, Reliability, Experimentation, Human Factors. Keywords inductive logic programming
File Description: application/pdf
-
19
Authors: Alan van Gelser
Source: Foundations of Deductive Databases and Logic Programming ISBN: 9780934613408
Subject Terms: Specification and verification (program logics, model checking, etc.), Logic, freedom from recursive negation, Herbrand base, iterated-fixed-point semantics, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Mechanization of proofs and logical operations, negation-as-failure rule, bounded-term-size, 0202 electrical engineering, electronic engineering, information engineering, tight tree semantics, Theorem proving (deduction, resolution, etc.), general logic program, tight derivations
File Description: application/xml
-
20
Authors:
Contributors:
Source: http://www.phys-campus.uni-altai.ru/files/1049873461/1117434990/ParsingAndCompilingUsingProlog.pdf.
Subject Terms: Categories and Subject Descriptors, D.l.O [Programming Techniques, General, D.2.m [Software Engineering, Miscellaneous--rapid prototyping, D.3.4 [Programming Languages, Processors, F.4.1. [Mathematical Logic and Formal Languages, Mathematical Logic--logic programming 1.2.3 [Artificial Intelligence, Deduction and Theorem Proving--logic programming General Terms, Algorithms, Languages, Theory, Verification Additional Key Words and Phrases, Code generation, grammar properties, optimization, parsing
File Description: application/pdf
Nájsť tento článok vo Web of Science 
Full Text Finder