Výsledky vyhledávání - "Logic Programming General Terms"

Policy expressivity in the Anzere personal cloud

Autoři: Oriana Riva Qin Yin Dejan Juric a další

Přispěvatelé: Oriana Riva Qin Yin Dejan Juric a další

Zdroj: http://people.inf.ethz.ch/troscoe/pubs/socc11-anzere.pdf.

Témata: 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 souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.1872

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.1872
http://people.inf.ethz.ch/troscoe/pubs/socc11-anzere.pdf

Strictly declarative specification of sophisticated points-to analyses

Autoři: Martin Bravenboer Yannis Smaragdakis The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Martin Bravenboer Yannis Smaragdakis The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.washington.edu/education/courses/cse503/10wi/readings/p243-bravenboer.pdf.

Témata: 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 souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.358.7667

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.358.7667
http://www.cs.washington.edu/education/courses/cse503/10wi/readings/p243-bravenboer.pdf

OpenRuleBench: An analysis of the performance of rule engines

Autoři: Senlin Liang Paul Fodor Hui Wan a další

Přispěvatelé: Senlin Liang Paul Fodor Hui Wan a další

Zdroj: http://www.cs.sunysb.edu/~kifer/TechReports/OpenRuleBench09.pdf.

Témata: 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 souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.3093
http://www.cs.sunysb.edu/~kifer/TechReports/OpenRuleBench09.pdf

Practical declarative network management

Autoři: Timothy Hinrichs John Mitchell Natasha Gude a další

Přispěvatelé: Timothy Hinrichs John Mitchell Natasha Gude a další

Zdroj: http://www.stanford.edu/~jcm/papers/sepl-wren-09.pdf.

Témata: 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 souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.6888

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.6888
http://www.stanford.edu/~jcm/papers/sepl-wren-09.pdf

A uniform approach to constraint-solving for lists, multisets, compact lists, and sets

Autoři: Agostino Dovier Carla Piazza Gianfranco Rossi a další

Přispěvatelé: Agostino Dovier Carla Piazza Gianfranco Rossi a další

Zdroj: http://www.math.unipr.it/~gianfr/PAPERS/Combining.ToCL07.pdf.

Témata: 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 souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.8246
http://www.math.unipr.it/~gianfr/PAPERS/Combining.ToCL07.pdf

A Sequent Calculus and a Theorem Prover for Standard Conditional Logics

Autoři: Gian Luca Pozzato Camilla B. Schwind The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Gian Luca Pozzato Camilla B. Schwind The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.di.unito.it/~argo/papers/2005_OPS_TOCL.pdf.

Témata: 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 souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.530
http://www.di.unito.it/~argo/papers/2005_OPS_TOCL.pdf

A Sequent Calculus and a Theorem Prover for Standard Conditional Logics

Autoři: Nicola Olivetti Gian Luca Pozzato Camilla B. Schwind a další

Přispěvatelé: Nicola Olivetti Gian Luca Pozzato Camilla B. Schwind a další

Zdroj: http://www.di.unito.it/~argo/papers/RT_8104.pdf.

Témata: 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 souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.6636
http://www.di.unito.it/~argo/papers/RT_8104.pdf

The design and implementation of a declarative sensor network system

Autoři: David Chu Lucian Popa Arsalan Tavakoli a další

Přispěvatelé: David Chu Lucian Popa Arsalan Tavakoli a další

Zdroj: http://www.cs.berkeley.edu/~istoica/papers/2007/dsn-sensys07.pdf.

Témata: 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 souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.7281

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.7281
http://www.cs.berkeley.edu/~istoica/papers/2007/dsn-sensys07.pdf

Foundational Certified Code in a Metalogical

Autoři: Framework Karl Crary Karl Crary Susmit Sarkar a další

Přispěvatelé: Framework Karl Crary Karl Crary Susmit Sarkar a další

Zdroj: http://www.cs.cmu.edu/~crary/papers/2005/mafcc.pdf.

Témata: 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 souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.2239
http://www.cs.cmu.edu/~crary/papers/2005/mafcc.pdf

Università “G. D’Annunzio ” di Chieti-Pescara

Autoři: Francesca Scozzari The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Francesca Scozzari The Pennsylvania State University CiteSeerX Archives

Zdroj: http://arxiv.org/pdf/cs/0503055v1.pdf.

Témata: 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 souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4633; http://arxiv.org/pdf/cs/0503055v1.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.4633
http://arxiv.org/pdf/cs/0503055v1.pdf

A dynamic approach to characterizing termination of general logic programs

Autoři: Yi-dong Shen Jia-huai You Li-yan Yuan a další

Přispěvatelé: Yi-dong Shen Jia-huai You Li-yan Yuan a další

Zdroj: http://arxiv.org/pdf/cs/0204031v1.pdf.

Témata: 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 souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.1556; http://arxiv.org/pdf/cs/0204031v1.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.1556
http://arxiv.org/pdf/cs/0204031v1.pdf

Incremental Execution of Guarded Theories

Autoři: Giuseppe De Giacomo Hector J. Levesque Sebastian Sardiña a další

Přispěvatelé: Giuseppe De Giacomo Hector J. Levesque Sebastian Sardiña a další

Zdroj: http://www.dis.uniroma1.it/%7Edegiacom/papers/2001/DeLS01tocl.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.3830
http://www.dis.uniroma1.it/%7Edegiacom/papers/2001/DeLS01tocl.pdf

Schreye. Termination Proofs for Logic Programs with Tabling

Autoři: Sofie Verbaeten Danny De Schreye The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Sofie Verbaeten Danny De Schreye The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.kuleuven.be/~dtai/publications/files/35050.pdf.

Témata: 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 souboru: 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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.8927
http://www.cs.kuleuven.be/~dtai/publications/files/35050.pdf

On the Decidability and Axiomatization of Query Finiteness in Deductive Databases

Autoři: Michael Kifer The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Michael Kifer The Pennsylvania State University CiteSeerX Archives

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.5950

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.5950

On Deductive Databases with Incomplete Information

Autoři: Qinzheng Kong Graham Chen The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Qinzheng Kong Graham Chen The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.citr.com.au/pdfs/96journ/96p10.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9637
http://www.citr.com.au/pdfs/96journ/96p10.pdf

Necessary and sufficient conditions to linearize doubly recursive programs in logic databases

Autoři: Weining Zhang Clement T. Yu Daniel Troy a další

Přispěvatelé: Weining Zhang Clement T. Yu Daniel Troy a další

Zdroj: http://www.cs.utsa.edu/~wzhang/mypapers/tods90.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.9295
http://www.cs.utsa.edu/~wzhang/mypapers/tods90.pdf

Static Inference of Modes and Data Dependencies in Logic Programs

Autoři: Saumya K. Debray The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Saumya K. Debray The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.arizona.edu/people/debray/papers/modedep.ps.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.1494
http://www.cs.arizona.edu/people/debray/papers/modedep.ps

Higher-Order Logic as the Basis for Logic Programming

Autoři: Higher-order Horn Clauses Gopalan Nadathur Dale Miller a další

Přispěvatelé: Higher-order Horn Clauses Gopalan Nadathur Dale Miller a další

Zdroj: ftp://ftp.cs.duke.edu/pub/dist/techreport/1989/1989-18.ps.Z

Témata: Theorem Proving--- logic programming General Terms, Languages, Theory Additional Key Words and Phrases, Higher-order logic, higher-order unification, Horn clauses, Prolog, SLD-resolution

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.2179

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.2179

Parsing and Compiling Using Prolog

Autoři: Jacques Cohen Timothy J. Hickey The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jacques Cohen Timothy J. Hickey The Pennsylvania State University CiteSeerX Archives

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.9739

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.9739
http://www.phys-campus.uni-altai.ru/files/1049873461/1117434990/ParsingAndCompilingUsingProlog.pdf

Incremental Execution of Guarded Theories

Autoři: Giuseppe De Giacomo Hector J. Levesque Sebastian Sardiña a další

Přispěvatelé: Giuseppe De Giacomo Hector J. Levesque Sebastian Sardiña a další

Zdroj: http://www.cs.toronto.edu/~ssardina/papers/tocl01.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.6958
http://www.cs.toronto.edu/~ssardina/papers/tocl01.pdf