Výsledky vyhľadávania - "Logic Programming General Terms"
-
1
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors C.2.4 [Computer-Communication Networks, Dis- tributed Systems, D.1.6 [Software, Programming Tech- niques—Logic Programming General Terms Algorithms, Design, Experimentation Keywords Replication systems, overlay networks, cloud computing, mobile
Popis súboru: application/pdf
-
2
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program Analysis, D.1.6 [Programming Techniques, Logic Programming General Terms Algorithms, Languages, Performance
Popis súboru: application/pdf
-
3
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors H.3.4 [Information Storage and Retrieval, Performance Evaluation, H.2.4 [Database Management, Rule-Based Databases, D.1.6 [Logic Programming] General Terms Experimentation, Performance, Languages Keywords OpenRuleBench, Semantic Web, Rule Systems, Benchmark
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.3093; http://www.cs.sunysb.edu/~kifer/TechReports/OpenRuleBench09.pdf
-
4
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: D.4.6 [Software, Security and Privacy Protection, D.1.6 [Programming Techniques, Logic Programming General Terms Design, Evaluation Keywords Network, Policy, Security, Performance
Popis súboru: application/pdf
-
5
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, D.3.2 [Programming Languages, Constraint and Logic Languages, D.3.3 [Programming Languages, Language Constructs and Features, F.4 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and Constraint Programming, Set Theory, I.2.3 [Deduction and Theorem Proving, Logic Programming General Terms, Theory, Algorithms Additional Key Words and Phrases, Membership and Equality Constraints, Lists, Multisets, Compact Lists, Sets
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.8246; http://www.math.unipr.it/~gianfr/PAPERS/Combining.ToCL07.pdf
-
6
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Computational Logic, Logic and Constraint Programming, Proof Theory, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Deduction, Logic Programming General Terms, Languages, Logic, Theory Additional Key Words and Phrases, Analytic Sequent Calculi, Automated Deduction, Conditional Logics, Labelled Deductive Systems
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.530; http://www.di.unito.it/~argo/papers/2005_OPS_TOCL.pdf
-
7
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Computational Logic, Logic and Constraint Programming, Proof Theory, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Deduction, Logic Programming General Terms, Languages, Logic, Theory Additional Key Words and Phrases, Analytic Sequent Calculi, Automated Deduction, Conditional Logics, Labelled Deductive Systems
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.6636; http://www.di.unito.it/~argo/papers/RT_8104.pdf
-
8
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Computational logic, logic and constraint programming, proof theory, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—Deduction, logic programming General Terms, Languages, Theory Additional Key Words and Phrases, Analytic sequent calculi, automated deduction, conditional logics, labeled deductive systems, proof theory ACM Reference Format
-
9
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors H.2.4 [Database management, Systems, D.1.6 [Programming Techniques, Logic Programming General Terms Languages, Design, Performance Keywords Sensor Networks, Declarative Programming
Popis súboru: application/pdf
-
10
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors H.2.4 [Database management, Systems, D.1.6 [Programming Techniques, Logic Programming General Terms Languages, Design, Performance Keywords Sensor Networks, Declarative Programming
Popis súboru: application/pdf
-
11
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors H.2.4 [Database management, Systems, D.1.6 [Programming Techniques, Logic Programming General Terms Languages, Design, Performance Keywords Sensor Networks, Declarative Programming
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.255; http://www.cs.rutgers.edu/~uli/cs671/papers/ChuSenSys07.pdf
-
12
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, F.3.1 [Specifying and Verifying programs, Mechanical Verification, F.4.1 [Mathematical Logic, Logic programming General Terms, Languages, Verification Additional Key Words and Phrases, foundational certified code, meta–logic, logic programming
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.2239; http://www.cs.cmu.edu/~crary/papers/2005/mafcc.pdf
-
13
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors, F.3.2 [Logic and Meanings of Programs, Semantics of Programming Languages—Program analysis, Denotational semantics, D.1.6 [Programming Techniques, Logic Programming General Terms, Algorithms, Design, Performance, Theory Additional Key Words and Phrases, Abstract interpretation, existentially quantified substitutions, logic programming
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4633; http://arxiv.org/pdf/cs/0503055v1.pdf
-
14
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.1.2 [Programming Techniques, Automatic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—logic programming General Terms, Languages, Theory Additional Key Words and Phrases, Termination analysis, dynamic characterization, Prolog
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.1556; http://arxiv.org/pdf/cs/0204031v1.pdf
-
15
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.1.2 [Programming Techniques, Automatic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic|logic programming General Terms, Languages, Theory Additional Key Words and Phrases, Termination analysis, dynamic characterization, Prolog
Popis súboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.7330; http://web.cs.ualberta.ca/~you/papers/ACMCL.ps
-
16
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Deduction and Theorem Proving—Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
Popis súboru: 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
-
17
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Deduction and Theorem Proving|Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
Popis súboru: 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
-
18
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Deduction and Theorem Proving|Logic Programming General Terms, Theory, Languages Additional Key Words and Phrases, Reasoning about actions, situation calculus, agent behavior
Popis súboru: 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
-
19
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, D.1.2 [Programming Techniques, Automatic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—logic programming General Terms, Languages, Theory Additional Key Words and Phrases, Prolog, tabling, SLG-resolution
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.8927; http://www.cs.kuleuven.be/~dtai/publications/files/35050.pdf
-
20
Autori:
Prispievatelia:
Zdroj: ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/superfiniteness.ps.Z
Predmety: 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 súboru: application/postscript
Nájsť tento článok vo Web of Science