Suchergebnisse - "Deduction and Theorem Proving|Logic Programming General Terms"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Deduction and Theorem Proving—Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Deduction and Theorem Proving|Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Deduction and Theorem Proving|Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Quelle: ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/superfiniteness.ps.Z
Schlagwörter: 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
Dateibeschreibung: application/postscript
-
5
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Quelle: http://www.phys-campus.uni-altai.ru/files/1049873461/1117434990/ParsingAndCompilingUsingProlog.pdf.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
10
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Deduction and Theorem Proving—Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Deduction and Theorem Proving—Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Quelle: http://arxiv.org/pdf/0803.0014v2.pdf.
Schlagwörter: 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
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.314.4333; http://arxiv.org/pdf/0803.0014v2.pdf
-
14
Autoren:
Weitere Verfasser:
Quelle: http://arxiv.org/pdf/0803.0014v1.pdf.
Schlagwörter: 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
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.314.4244; http://arxiv.org/pdf/0803.0014v1.pdf
-
15
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
16
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
17
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
Nájsť tento článok vo Web of Science