Výsledky vyhledávání - "Deduction and Theorem Proving-Logic Programming General Terms"
-
1
Autoři: a další
Přispěvatelé: a další
Témata: Deduction and Theorem Proving—Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
Popis souboru: 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
-
2
Autoři: a další
Přispěvatelé: a další
Témata: Deduction and Theorem Proving|Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
Popis souboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.9238; http://www.dis.uniroma1.it/~degiacom/ftp/01/DeLS01tocl.ps.gz
-
3
Autoři: a další
Přispěvatelé: a další
Témata: Deduction and Theorem Proving|Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
Popis souboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.4158; http://www.cs.toronto.edu/~hector/Papers/tocl.ps.gz
-
4
Autoři:
Přispěvatelé:
Zdroj: ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/superfiniteness.ps.Z
Témata: 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
Popis souboru: application/postscript
-
5
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: 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
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
-
7
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: 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
-
8
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.3 [Software, Programming Languages, D.3.4 [Programming Languages, Processors − compilers, optimization, I.2 [Computing Methodologies, Artificial Intelli- gence, 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
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.1296; http://www.cs.arizona.edu/~debray/Publications/modedep.pdf
-
9
Autoři:
Přispěvatelé:
Zdroj: http://www.phys-campus.uni-altai.ru/files/1049873461/1117434990/ParsingAndCompilingUsingProlog.pdf.
Témata: 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
Popis souboru: application/pdf
-
10
Autoři: a další
Přispěvatelé: a další
Témata: Deduction and Theorem Proving—Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.6958; http://www.cs.toronto.edu/~ssardina/papers/tocl01.pdf
-
11
Autoři: a další
Přispěvatelé: a další
Témata: Deduction and Theorem Proving—Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.8626; http://www.cs.toronto.edu/cogrobo/Papers/execgat.pdf
-
12
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, I.2.8 [Articial Intelligence, Problem Solving, Control Methods, and Search|Plan execution, formation, and generation, I.2.3 [Articial Intelligence, Deduction and Theorem Proving|Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.590.1316; http://goanna.cs.rmit.edu.au/~ssardina/papers/tocl01.pdf
-
13
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.314.4333; http://arxiv.org/pdf/0803.0014v2.pdf
-
14
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.314.4244; http://arxiv.org/pdf/0803.0014v1.pdf
-
15
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
16
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
17
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. General Terms Algorithms, Design, Reliability, Experimentation, Human Factors. Keywords inductive logic programming
Popis souboru: application/pdf
Nájsť tento článok vo Web of Science